问答题
给定代数结构〈S，*〉，其中S中元为实数有序对，*定义为〈a，b〉*〈c，d〉=〈a+c，b+d+2bd〉，试证：〈S，*〉是可交换独异点。
问答题 给定代数结构U=〈S，*〉，其中S={a，b，c，d}，*的运算表为： 试证U是循环独异点。
问答题 给定交换半群〈S，*〉，试证：若a，b是〈S，*〉的等幂元，则a*b也是其等幂元。
问答题 给定半群〈G，*〉，且a∈G，定义映射f如下： 试证f是〈G，*〉到其自身的同构映射。
