问答题
设a是群中的无限阶元素，证明：当m≠n时，am≠an
问答题 证明：若对任意a，b∈G有（a*b）2=a2*b2，则G为阿贝尔群．
问答题 证明：若对任意a∈G有a2=e，则G为阿贝尔群．
问答题 设〈S，*〉满足交换律的有限独异点，且S可约，即对任意a，b，c∈S，a*b=a*c蕴涵b=c，证明〈S，*〉为一个阿贝尔群。
