Prove $S_4$ has only 1 subgroup of order 12

The subgroup in $S_4$ that I know has order 12 is the subgroup of all even permutations, otherwise known as the alternating group $A_4$. However, I know this from a fact and not because I am able to show a subgroup of order 12 exists in $S_4$ in the first place. If I had not been told there existed a subgroup of order 12 in $S_4$, I would not have known there was one. So I guess this is actually a two-parter for me: 1) How do I go about showing that a subgroup of order 12 does indeed exist in $S_4$? I know by Lagrange that if there exists a subgroup, then the order of that subgroup must divide the order of the group. However, this doesn't say anything about the existence of the subgroup. And Sylow only verifies subgroups of a prime to some power order, which 12 is not. I also know that there might be a cyclic subgroup of order 12, but without manually multiplying every possible permutation in $S_4$, I don't know any other way to check the existence of this or if this subgroup is isomorphic to $A_4$ because I don't know how to write these permutations as functions in order to check if there is a homomorphism (I know that a permutation is bijective by definition). And 2) How do I show that this group of order 12 is the only group of order 12 in $S_4$?

Solution 1:

Let $H\leq S_n$ be a subgroup of order 12. Then $S_4/H$ is a group of order 2, hence $S_4/H \cong C_2$, which is abelian. Therefore, $\left[S_4,S_4\right] \leq H$, where $\left[S_4,S_4\right]$ denotes the commutator subgroup (smallest normal subgroup of $S_n$ with abelian quotient).

Now if we can show that $[S_4,S_4] = A_4$, we have $A_4 \leq H$, $\left|A_4\right| = \left|H\right|$ and therefore $A_4 = H$. Firstly, $S_4/A_4 \cong C_2$ as above, so $[S_4,S_4]\leq A_4$. For any 3-cycle $(i,j,k) \in S_4$:

\begin{align*}(i,j,k) = (i,k,j)^2 = ((i,k)(i,j))^2 &= (i,k)(i,j)(i,k)(i,j)\\ &= (i,k)(i,j)(i,k)^{-1}(i,j)^{-1} = \left[(i,j),(i,k)\right] \in \left[S_4,S_4\right].\end{align*}

The set of all 3-cycles in $S_4$ generate $A_4$, so $A_4 \leq \left[S_4,S_4\right]$ and the result follows.

If you want to show that $A_4$ really is a subgroup of index 2, define $\delta : S_n \rightarrow C_2$ by $$\delta(\sigma) = \begin{cases} 1, &\sigma\; \text{even}\\ -1, &\sigma\; \text{odd}\end{cases}$$ and show it's an epimorphism.

Solution 2:

Here is a link which will help you with the question and the comment of Derek: $A_n$ is the only subgroup of $S_n$ of index $2$. .

Solution 3:

You need following steps to see the answer.

$1.)$ Define even and odd permutation.

$2)$ Show that for any $\sigma\in S_n$ if it can be written as odd number of cycles then it can't be written as even number of cycles.(this shows that above defination is welldefined)

$3)$ define $\phi: S_n\to Z_2$ by $\phi(\sigma)=0$ if $\sigma$ is even and $1$ otherwise.

$4)$Show that above function is epimorphism and conclude that $Ker(\phi)$ is a subgroup of $S_n$ with index $2$ and is set of all even permutation of $S_n$.

$5)$To show that $A_n$ is the uniqe group with index $2$.Let Assume that $H$ be another subgroup of $S_n$ with index $2$.

Then we must have $HA_n=S_n\implies \frac{|H||A_n|}{|A_n\cap H|}=|S_n|\implies R=A_n\cap H$ is subgroup of $A_n$ with index $2$.So,$R$ is normal in $A_n$.

Since $A_n$ is simple for $5\leq n$ we must assume that $n<5$.

Since $A_3$ has order $3$ only possible value is $4$. We need show that $A_4$ has no subgroup of order $6$.I is very clasic problem you can see the solution

http://www.math.uconn.edu/~kconrad/blurbs/grouptheory/A4noindex2.pdf

And you can find first $4$ part in almost any basic abstract algebra book.