>>690
>まず、一般の環について「零因子を持たない」と「0以外の元に逆元が存在して、積が群になる」は同値ではありません
>整数環がいい例です　零因子はありませんが、１とー１以外の元には逆元がありません

うん
だが、零因子でなければ、逆元を追加できるよね
つまり、整数環に逆元を追加してやれば、有理数体が構成できるよね
だから、”逆元を追加できる”という条件下では、同値？

>>691
ありがと
ちらっと見た
1974か、ちょっと古いけど
Categoryも入っているね（＾＾