问答题
设〈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}，∪，∩〉是否同构．
问答题 设f：N→{0，1}定义如下： 证明：f为代数结构〈N，·〉到〈{0，1}，·〉的同态．它是单一同态，满同态吗？
