问答题

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

【参考答案】