>>239
一番小中学生になじみがある代数系であろう有理整数環Zも、
>>236と同じように通常の和が定義された加法群として定義出来る。
そして通常の積が定義された半群でもある。
ぶっちゃけZは環ということであり、矛盾は生じない。