计算题

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

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

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

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

设f：N→{0，1}定义如下： 证明：f为代数结构〈N，·〉到〈{0，1}，·〉的同态．它是单一同态，满同态吗...

问答题

设f：N→{0，1}定义如下：
证明：f为代数结构〈N，·〉到〈{0，1}，·〉的同态．它是单一同态，满同态吗？