近世代数课后习题作业 1

(Z,+)，整数集上的加法运算，有一个单位元素0

模n同余等价类，符合题意，单位元是[0]

注意半群中满足的结合律的性质！！！半群就是代数系加上结合律！！！
a。b。x这么写的话不知道运算顺序！！！得加上括号才行！！！
思路：（b。x） = （b。y）的时候x=y是成立的，所以在外面套上一个a也是成立的a。（b。x） = a。（b。y）
所以包括号换一下位置（a。b）。x = （a。b）。y
又因为此时x=y，所以题意成立

下面的证明也是这个意思