问答题 假设G是有限集，证明：（G，·）是一个群当且仅当“·”适合消去律。

问答题 设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中都有解