https://i.imgur.com/kVWfO3s.jpg
想请问(b)小题他定义的两个运算符号到底有什么差...？而且为什么这样定义会是对的？
我知道要找一个函数能够一个homomorphic image就是要找到可以分割的四块（？）
还是我只要找到一组陪集然后随便定义就好了...
虽然听过正课但觉得第九章开始题目怎么想都想不通是正常的吗....

不太懂你说分割什么四块 我猜你指的是他定义运算那边写的homomorphic image指的是一个homomorphism的image 这部分只是刚好他找的是这样 你只要能找出其他homomorphism并且把它定义出来都算 然后我觉得 群环这些应该算在abstract algebra的统筹之内了 不负责认为可看可不看

他就只是把canonical的homomorphism写出来而已差就差在这是对(a+H)这样的一个元素的运算