$S_4$ does not have a normal subgroup of order $8$

Solution 1:

You approach is OK, but here is a simpler one. Since $S_4/H \cong C_3$ is abelian, it follows that $[S_4,S_4]=A_4 \subseteq H$. Can you see this leads to a contradiction?

Solution 2:

Yet another approach: Normal subgroups are comprised of entire conjugacy classes, one of which must be the identity's conjugacy class, but the class equation for $S_4$ is $$24=1+3+6+6+8,$$ and there is no way to obtain $8$ as a sum of terms from the right hand side including $1$.

Solution 3:

If you have the Sylow theorems available, then you can argue as follows. The dihedral group $D_4$ (symmetries of a square) has order $8$ and can be viewed as a subgroup of $S_4$ by regarding a symmetry of the square as a permutation of the four vertices. The permutation $p$ that interchanges two adjacent vertices of the square while fixing the other two vertices is in $S_4$ but not in $D_4$. Since it has order $2$, this $p$ must be in a $2$-Sylow subgroup. So you have at least two distinct $2$-Sylow subgroups of $S_4$, namely $D_4$ and one containing $p$. But all the $2$-Sylow subgroups are conjugate to each other, so, as soon as there's more than one of them, none of them can be normal.

Solution 4:

Another approach : Two elements in $S_n$ are conjugate to each other iff they have the same cycle decomposition. Hence, all the transpositions must be in $H$ if one of them is (because $H$ is normal).

This leaves one non-identity element, which must have order 2 (since all the transpositions are their own inverses). That element must be a product of transpositions. Such a thing would be conjugate to something else, which is not in $H$.

If you assume that $H$ does not contain any transpositions, it still contains an element of order 2 ...

Solution 5:

I know this question is old, but there is an approach that uses one of the other problems in the same section as this one in "Abstract Algebra" by Dummit and Foote. However, it appears a little later . I thought I would just add it.

If $N$ is a normal subgroup of a finite group $G$ and $GCD(|N|, |G : N|) = 1$, then $N$ is the unique subgroup of $G$ of order $|N|$.

Using this result, assume $S_4$ has a normal subgroup, $N$, of order $8$. $GCD(8, 24/8) = 1$, thus it must be the only subgroup of order $8$. $S_4$ also has a subgroup, $K$, isomorphic to $D_8$ (dihedral group of order 8/symmetries of a square), by associating $1,2,3,4$ with vertices of square. Thus $K=N$ by the result above.

However we can show $K$ is in fact not normal. Let's say our labeling of the vertices is such that $(1,2,3,4) \in K, (1,2, 3) \notin K$ , then $(2,1,3)(1,2,3,4)(1,2,3) = (1,2,4,3) \notin K$. Thus a contradiction.

Or simply note that $S_4$ has more than one subgroup of order $8$ leading to a contradiction as well.