计算题 如果在半群G中还有一个“一元运算”（即G到G的一个映射：a→a′），且满足a′（ab）=（ba）a′，∀a，b∈G，证明此半群必为群．

证明若有限半群G满足消去律，即 ax=ay⇒x=y；xa=ya⇒x=y，则G为群． 此结论对无限半群成立吗？ 点击查看答案

在S={x∣x∈R，X≠-1}中定义运算“*”为a*b=a+b+试证S对*是一个群，并求方程2*x*3=7的解． 点击查看答案