 Solution

With rightmost-first composition, a permutation cycle satisfiesTracing each $a_j$ verifies the equality, and every other letter is fixed. Thus every cycle is a product of transpositions; decomposing a permutation into disjoint permutation cycles proves that every element of $S_n$ is such a product. The identity is the empty product.

To establish that parity is well defined, use the permutation matrix $P_{\sigma }$ defined by $P_{\sigma }{e}_i=e_{\sigma (i)}$. Its determinant is $\pm 1$, and $P_{\sigma \tau }=P_{\sigma }{P}_{\tau }$. A transposition swaps two columns of the identity matrix and has determinant $-1$. Therefore if $\sigma$ is expressed as a product of $r$ transpositions,The left side depends only on $\sigma$, so any two decompositions have the same parity. DefineMultiplicativity of the determinant makes this the sign homomorphism. Its kernel of a group homomorphism is the alternating groupIt is a normal subgroup consisting of the even permutations. For $n\ge 2$ the sign map is surjective because a transposition has sign $-1$, so $[S_n:A_n]=2$. For $n=1$ both groups are trivial.