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)$.

Definition (Semi-Direct Product).

Internal Semi-Direct-Product

Recall that a group $G$ is said to be an (internal) semi-direct product of subgroup $H$ and $K$ if the following conditions hold.

1. $H$ is a normal subgroup of $G$.
2. $H\cap K=\{e\}$, where $e$ is the identity element in $G$.
3. $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}.$

More from my site

• Isomorphism Criterion of Semidirect Product of Groups Let $A$, $B$ be groups. Let $\phi:B \to \Aut(A)$ be a group homomorphism. The semidirect product $A \rtimes_{\phi} B$ with respect to $\phi$ is a group whose underlying set is $A \times B$ with group operation $(a_1, b_1)\cdot (a_2, b_2)=(a_1\phi(b_1)(a_2), b_1b_2),$ where $a_i […] • Basic Properties of Characteristic Groups Definition (automorphism). An isomorphism from a group$G$to itself is called an automorphism of$G$. The set of all automorphism is denoted by$\Aut(G)$. Definition (characteristic subgroup). A subgroup$H$of a group$G$is called characteristic in$G$if for any$\phi […]
• Nontrivial Action of a Simple Group on a Finite Set Let $G$ be a simple group and let $X$ be a finite set. Suppose $G$ acts nontrivially on $X$. That is, there exist $g\in G$ and $x \in X$ such that $g\cdot x \neq x$. Then show that $G$ is a finite group and the order of $G$ divides $|X|!$. Proof. Since $G$ acts on $X$, it […]
• Equivalent Definitions of Characteristic Subgroups. Center is Characteristic. Let $H$ be a subgroup of a group $G$. We call $H$ characteristic in $G$ if for any automorphism $\sigma\in \Aut(G)$ of $G$, we have $\sigma(H)=H$. (a) Prove that if $\sigma(H) \subset H$ for all $\sigma \in \Aut(G)$, then $H$ is characteristic in $G$. (b) Prove that the center […]
• Order of Product of Two Elements in a Group Let $G$ be a group. Let $a$ and $b$ be elements of $G$. If the order of $a, b$ are $m, n$ respectively, then is it true that the order of the product $ab$ divides $mn$? If so give a proof. If not, give a counterexample.   Proof. We claim that it is not true. As a […]
• The Existence of an Element in an Abelian Group of Order the Least Common Multiple of Two Elements Let $G$ be an abelian group. Let $a$ and $b$ be elements in $G$ of order $m$ and $n$, respectively. Prove that there exists an element $c$ in $G$ such that the order of $c$ is the least common multiple of $m$ and $n$. Also determine whether the statement is true if $G$ is a […]
• The Center of the Symmetric group is Trivial if $n>2$ Show that the center $Z(S_n)$ of the symmetric group with $n \geq 3$ is trivial. Steps/Hint Assume $Z(S_n)$ has a non-identity element $\sigma$. Then there exist numbers $i$ and $j$, $i\neq j$, such that $\sigma(i)=j$ Since $n\geq 3$ there exists another […]
• Surjective Group Homomorphism to $\Z$ and Direct Product of Abelian Groups Let $G$ be an abelian group and let $f: G\to \Z$ be a surjective group homomorphism. Prove that we have an isomorphism of groups: $G \cong \ker(f)\times \Z.$   Proof. Since $f:G\to \Z$ is surjective, there exists an element $a\in G$ such […]

You may also like...

Every Sylow 11-Subgroup of a Group of Order 231 is Contained in the Center $Z(G)$

Let $G$ be a finite group of order $231=3\cdot 7 \cdot 11$. Prove that every Sylow $11$-subgroup of $G$ is...

Close