>>848
演算*での逆元の存在は、別にあるとはなにもいってないよ？
いま問題にしてるのは単位元が1になるのかだけ
なにかほかに条件がいる？はずなんだけど・・・
わからん