抽象代数证明:设(G,*)是一个群,如果 对所有的a属于G总有a^2=e,则G必是交换群