我觉得这是近世代数才对假设X,Y是任意的属于G的两个子群，要证明G是交换群，就要证明XY=YX(XY)(YX)=XYYX=XeX=XX=e而(XY)(XY)=e，就是说两个都等于单位元，那么对比两式，得，YX=XY我当时学的是北京大学出版社的 有问题hi我
