证明:
将元素1,a,a^(-1),b,b^(-1),..依次排列,
假如不存在a,使得a=a^(-1),那么这个群必是奇阶群
(因为,(bi,bi^(-1))构成二元组,再加上1,是奇阶群)所以存在a=a^(-1),
所以存在a,a^(2)=1;
证明:
将元素1,a,a^(-1),b,b^(-1),..依次排列,
假如不存在a,使得a=a^(-1),那么这个群必是奇阶群
(因为,(bi,bi^(-1))构成二元组,再加上1,是奇阶群)所以存在a=a^(-1),
所以存在a,a^(2)=1;