[Math] The alternating group is generated by three-cycles

abstract-algebragroup-theoryproof-verification

Prove that, for $n \geq 3$, the three-cycles generate the alternation group $A_n$

Proof: We multiply on the left by 3-cycles to "reduce" an even permutation $p$ to the identity, using induction on the number of indices fixed by a permutation. How the indices are numbered is irrelevant. If $p$ contains a $k$-cycle with $k \geq 3$, we may assume that it has the form $p=(123\dots k)\dots$ Multiplying on the left by $(321)$ gives $$p'= (321)(123 \dots k)\dots=(1)(2)(3\dots k)\dots$$ More fixed indices.

What do you think ?

Best Answer

A permutation is an element of $A_n$ if and only if it is a product of an even number of transpositions.

We first note that the three cycles do not generate more than $A_n$ since for distinct $i,j,$ and $k$, we have $(ij)(ik)=(ijk)$.

For the other inclusion, we note that $(ijk)=(ij)(ik)$ for distinct $i,j,$ and $k$. And for distinct $i,j,k,$ and $l$, we have that $(ij)(kl)=(ijk)(jkl)$. Thus the three cycles generate all products of an even number of transpositions.