(1)由b=a*a与半群的结合性,a*b=a*(a*a)=(a*a)*a=b*a
(2)因为a*b属于{a,b},故a*b=a或a*b=b,
如果a*b=a,则由b=a*a得
b*b=(a*a)*b=a*(a*b)=a*a=b
如果a*b=b,则由b=a*a得
b*b=(a*a)*b=a*(a*b)=a*b=b
无论哪种情况均有b*b=b。
证明:(1)∵(a*a)*a=a*(a*a)(结合律)
(2)因为ab=ba,而半群对运算封闭,所以ab=a或者ab=b
当ab=a时,bb=aaaa=aba=aa=b
当ab=b时,bb=aaaa=aba=ab=b