Why must $A_n$ be generated by the 3-cycles

We know every 3-cycle in $S_n$ is in $A_n$, because $(a\,b\,c)=(a\,c)(a\,b)$, and by definition $A_n$ consists of everything that can be written as a product of an even number of transpositions.

Thus, in particular, every product of $k$ 3-cycles is a product of $2k$ transpositions and therefore in $A_n$. So whatever the 3-cycles generate must be a subgroup of $A_n$ too.


I don't think that both resolutions given are complete.

Let $\sigma_1,\cdots, \sigma_s$ be the 3-cycles from $S_n$. From the given answers, it was shown that $\langle \sigma_1,\cdots, \sigma_s\rangle \subseteq A_n.$ It remains, then, to show that $A_n \subseteq \langle \sigma_1,\cdots, \sigma_s\rangle. $

Let $\alpha \in A_n$. We know that $\alpha$ can be written as a product of transpositions, and by the parity of $\alpha$ it must be the product of an even number of transpositions. Now note that the product of two transpositions is always a product of 3-cycles: indeed, if $\tau_1 = (a_1,a_2), \tau_2 = (b_1,b_2)$ are disjoint, then $\tau_1\tau_2 = (a_1b_1a_2)(b_1b_2a_1);$ and if they have an element in common, say $a_2=b_1$, then $\tau_1\tau_2 = (b_1b_2a_1).$ Now, we've shown that $\alpha$ has an even number of transpositions and since the product of two transposition is a 3-cycle, $\alpha$ is then a product of 3-cycles. Hence, $A_n\subseteq \langle \sigma_1,\cdots, \sigma_s\rangle$


Every 3-cycle is an even permutation, and any product of even permutations is an even purmtation. So, any product of 3-cycles is in $A_n$, which is the subgroup of all even permutations.