associativityもOKです。逆元はどうでしょう?2に対する逆元はありません。これは、2と4が互いに素ではないためです。b)となるようなxは存在しないのでしょうか?これは、目盛りがb個ついている時計を考えれば分かります。b)単位でしか針はまわらないのは明らかです。b)となるようなxは存在しません。*は環ですが、体ではありません。*からなる系は、pが素数なら体になる。pが素数でなければ、環だが、体ではない。