问答题 设ab=ba，证明ord（ab）|gcd（m，n）mn；举例说明不一定有ord（ab）gcd（m，n）mn。

问答题 证明：（G，·）是一个群当且仅当对于任意的a，b∈G，方程a·x=b和y·a=b在G中都有解

问答题 设G是一个群，证明：G是交换群的充要条件是（ab）2=a2b2，a，b∈G。