设（A *)是一个半群 而且对于A中的元素a和b 如果a≠b必有a*b≠b*a 试证明：
元素
已帮助 人
设(A，*)是一个半群，而且对于A中的元素a和b，如果a≠b必有a*b≠b*a，试证明：
-
由题意可知，若a*b=b*a，则必有a=b．
因为(a*a)*a=a*(a*a)，所以a*a=a．$因为a*(a*b*a)=(a*a)*b*a=a*b*(a*a)=(a*b*a)*a，所以a*b*c=a$因为(a*c)*(a*b*c)=(a*c*a)*(b*c)
=a*(b*c)=(a*b)*(c*a*c)
=(a*b*c)*(a*c)，所以a*b*c=a*c