计算题

设〈{a，b}，*〉为一个半群，且a*a=b.证明：
（1）a*b=b*a
（2）b*b=b

设〈S，*〉为一个半群，a，b，c为S中的给定元素．证明：若a，b，c满足 a*c=c*a，b*c=c*b 那么（a*b）*c=c*（a*b）． 点击查看答案

证明：含幺半群的可逆元素集合构成一个子半群，即〈inv（S），*〉为半群〈S，*〉的子半群． 点击查看答案