https://i.imgur.com/kVWfO3s.jpg
想請問(b)小題他定義的兩個運算符號到底有什麼差...？而且為什麼這樣定義會是對的？
我知道要找一個函數能夠一個homomorphic image就是要找到可以分割的四塊（？）
還是我只要找到一組陪集然後隨便定義就好了...
雖然聽過正課但覺得第九章開始題目怎麼想都想不通是正常的嗎....

不太懂你說分割什麼四塊 我猜你指的是他定義運算那邊寫的homomorphic image指的是一個homomorphism的image 這部分只是剛好他找的是這樣 你只要能找出其他homomorphism並且把它定義出來都算 然後我覺得 群環這些應該算在abstract algebra的統籌之內了 不負責認為可看可不看

他就只是把canonical的homomorphism寫出來而已差就差在這是對(a+H)這樣的一個元素的運算