借同学帐号po
我对于9-55那题的a小题有一个定义上的小问题，解答上说（G,%)只需为semigroup，但是
我看黄子嘉的笔记,field是commutative ring with unity,所以我想说(G,%)应该是单群
而不只是半群，希望有大神帮忙解惑，感恩
https://i.imgur.com/VSIftMH.jpg
https://i.imgur.com/LQdH7ab.jpg

是semigroup没错，因为加法单位元素0不算，所以不能说它是monoid或group。你可以看9-108黄子嘉的定义“具单位元的交换环满足∀a≠0，a为一个单元，即a具有乘法反元素”