问答题 设(G,*)是群,e是幺元,如果对于G中任意元素n,都有a*a=e,证明(G,*)是阿贝尔群。
【正确答案】[证明]设a,b是G中任意元素,由题设条件可知,a2=e,b2=e;由*运算的封闭性可知,a*b∈G,所以(a*b)3=e,于是有
   (a*b)2=a2*b2
   可知(G,*)是阿贝尔群。
【答案解析】