>>842
「nZ に通常の和と積を入れたものは、可換環の公理のうち
単位元の存在以外はすべて満たす。」
ということは知っているよね。