The Symmetric Group is a Semi-Direct Product of the Alternating Group and a Subgroup $\langle(1,2) \rangle$

Group Theory Problems and Solutions in Mathematics

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)$.
 
LoadingAdd to solve later

Sponsored Links


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.

  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}.\]


LoadingAdd to solve later

Sponsored Links

More from my site

  • Isomorphism Criterion of Semidirect Product of GroupsIsomorphism 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 GroupsBasic 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 SetNontrivial 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.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 GroupOrder 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 ElementsThe 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$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 GroupsSurjective 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...

Leave a Reply

Your email address will not be published. Required fields are marked *

This site uses Akismet to reduce spam. Learn how your comment data is processed.

More in Group Theory
Group Theory Problems and Solutions in Mathematics
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