Is $D_8$ a normal subgroup of $S_4$

dihedral-groupsgroup-theoryproof-writingsolution-verificationsymmetric-groups

I am trying to show that $D_8$ is not a normal subgroup of $S_4$, I have shown that $D_8$ is Subgroup of $S_4$.Then, let $r=\langle(1234)\rangle$ and $s =\langle(14)(23)\rangle$.Then, we see that $D_8$ is a subset of $S_4$ and since it a group so $D_8$ is a subgroup of $S_4$.

Proving that $D_8$ is not a normal subgroup. In $D_8$ there are two elements of order $4$.So, we take $\sigma (1234) \sigma^{-1}$ which should be in $H$.Now conjugacy preserves the cycle structure so we choose $\sigma$ in such a way so that conjugate element does not belong to $H$.Choosing such a cycle is possible as there are $6$ 4 cycles in $S_4$ and there are only two of them in $D_8$.Since I have shown it for one element, that the conjugate is not in $D_8$.Do I need to show it for the other elements?

Best Answer

A subgroup $H$ of a group $G$ is normal if and only if for all $g\in G$ and $h\in H$, $ghg^{-1}\in H$.

Since you showed that there exists $g\in S_4$ such that $g(1234)g^{-1}\notin D_8$, it is sufficient to conclude that $D_8$ is not a normal subgroup of $S_4$.

Related Question