对任意G中的元素a和b,由(a*b)^2=a^2*b^2,即
abab=aabb,
a^-1abab b^-1= a^-1aabb b^-1
即得ba= ab
故(G,*)是可交换群