環準同型ってあるじゃないですか？
φ(1)=1
が条件に入ってる奴と無い奴があるんですけど。
掛け算に関しては群になってないから必要っていう意見があるらしいんですけど。
この条件って実際必要なんですか？必要じゃないなら
なぜ書いて無い奴があるんですか？