>>51
ていねいにありがとうございます。

書いていただいたことは理解できました。助かります。

言い忘れたのですが、・が白丸でした。。
ただの二項演算を示してるってことですよね。
この場合、乗法と加法両方において成り立ちますよね。
片方だけ成り立っても準同型写像ですか？