定理: 当 n ⩽ 3 n\leqslant3 n⩽3 时,全体长为 3 3 3 的轮换形成 A n A_n An 的一个生成元系
证明: 设 σ ≠ 1 \sigma\ne1 σ=1 时偶置换,则 σ \sigma σ 时偶数个对换之积.从而只需证任意两个对换之积可用长为 3 3 3 的轮换表示即可.
对于 τ = ( i j ) ( r s ) ( i ≠ j , r ≠ s ) . \tau=(ij)(rs)(i\ne j,r\ne s). τ=(ij)(rs)(i=j,r=s).
- 如果 ( i j ) = ( r s ) (ij)=(rs) (ij)=(rs), 则 τ = 1. \tau=1. τ=1.
- 如果 j = r , i ≠ s j=r,i\ne s j=r,i=s,则 τ = ( j s i ) \tau=(jsi) τ=(jsi)
- 如果 i , j , r , s i,j,r,s i,j,r,s 两两不等,则 τ = ( r i s ) ( i j r ) \tau=(ris)(ijr) τ=(ris)(ijr)
证毕