问答题 设〈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，*〉的子半群．

问答题 设A={a，b，c}，问代数系统，〈{，A}，∪，∩〉和〈{{a，b}，A}，∪，∩〉是否同构．