The Symmetric Group is a Semi-Direct Product of the Alternating Group and a Subgroup $\langle(1,2) \rangle$
Problem 465
Prove that the symmetric group $S_n$, $n\geq 3$ is a semi-direct product of the alternating group $A_n$ and the subgroup $\langle(1,2) \rangle$ generated by the element $(1,2)$.
Add to solve later
Sponsored Links
Contents
Definition (Semi-Direct Product).
Internal Semi-Direct-Product
Recall that a group $G$ is said to be an (internal) semi-direct product of subgroups $H$ and $K$ if the following conditions hold.
- $H$ is a normal subgroup of $G$.
- $H\cap K=\{e\}$, where $e$ is the identity element in $G$.
- $G=HK$.
In this case, we denote the group by $G=H\rtimes K$.
External Semi-Direct Product
If $G$ is an internal semi-direct product of $H$ and $K$, it is an external semi-direct product defined by the homomorphism $\phi:K \to \Aut(H)$ given by mapping $k\in K$ to the automorphism of left conjugation by $k$ on $H$.
That is, $G \cong H \rtimes_{\phi} K$.
Proof.
Recall that each element of the symmetric group $S_n$ can be written as a product of transpositions (permutations which exchanges only two elements).
This defines a group homomorphism $\operatorname{sgn}:S_n\to \{\pm1\}$ that maps each element of $S_n$ that is a product of even number of transpositions to $1$, and maps each element of $S_n$ that is a product of odd number of transpositions to $-1$.
The alternating group $A_n$ is defined to be the kernel of the homomorphism $\operatorname{sgn}:S_n \to \{\pm1\}$:
\[A_n:=\ker(\operatorname{sgn}).\]
As it is the kernel, the alternating group $A_n$ is a normal subgroup of $S_n$.
Also by first isomorphism theorem, we have
\[S_n/A_n\cong \{\pm1\},\]
and it yields that
\[|A_n|=\frac{|S_n|}{|\{\pm1\}|}=\frac{n!}{2}.\]
Since $\operatorname{sgn}\left(\,(1,2) \,\right)=-1$, the intersection of $A_n$ and $\langle(1,2)\rangle$ is trivial:
\[A_n \cap \langle(1,2) \rangle=\{e\}.\]
Let $H=A_n$ and $K=\langle(1,2) \rangle$.
Then we have
\begin{align*}
|HK|=\frac{|H|\cdot |K|}{|H\cap K|}=|H|\cdot | K|=\frac{n!}{2}\cdot 2=n!.
\end{align*}
Since $HK < S_n$ and both groups have order $n!$, we have $S_n=HK$.
In summary we have observed that $H=A_n$ and $K=\langle(1,2) \rangle$ satisfies the conditions for a semi-direct product of $G=S_n$.
Hence
\[S_n=A_n\rtimes \langle(1,2) \rangle.\]
As an external semi-direct product, it is given by
\[S_n \cong A_n\rtimes_{\phi} \langle(1,2) \rangle,\]
where $\phi: \langle(1,2) \rangle \to \Aut(A_n)$ is given by
\[\phi\left(\, (1,2) \,\right)(x)=(1,2)x(1,2)^{-1}.\]
Add to solve later
Sponsored Links