Every Group of Order 24 Has a Normal Subgroup of Order 4 or 8 Problem 568

Prove that every group of order $24$ has a normal subgroup of order $4$ or $8$. Add to solve later

Proof.

Let $G$ be a group of order $24$.
Note that $24=2^3\cdot 3$.
Let $P$ be a Sylow $2$-subgroup of $G$. Then $|P|=8$.

Consider the action of the group $G$ on the left cosets $G/P$ by left multiplication.
This induces a permutation representation homomorphism
$\phi: G\to S_{G/P},$ where $S_{G/P}$ is a group of bijective maps (permutations) on $G/P$.

This homomorphism is defined by
$\phi(g)(aP)=gaP$ for $g\in G$ and $aP\in G/P$.

Then by the first isomorphism theorem, we see that
$G/\ker(\phi) \cong \im(\phi) < S_{G/P}.$ This implies that the order of $G/\ker(\phi)$ divides the order of $S_{G/P}$. Note that as $|G/P|=3$, we have $|S_{G/P}|=|S_3|=6$. Thus, we must have $4\mid |\ker{\phi}|$.

Also note that $\ker(\phi) < P$. To see this let $x\in \ker(\phi)$. Then we have $xP=\phi(x)(P)=\id(P)=P.$ Here $\id$ is the identity map from $G/P$ to itself. Hence $x\in P$. It follows that $|\ker(\phi)|$ divides $|P|=8$.

Combining these restrictions, we see that $|\ker(\phi)|=4, 8$.
Being the kernel of a homomorphism, $\ker(\phi)$ is a normal subgroup of $G$.
Hence the group $G$ of order $24$ has a normal subgroup of order $4$ or $8$. Add to solve later

More from my site

You may also like...

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

More in Group Theory Every Group of Order 12 Has a Normal Subgroup of Order 3 or 4

Let $G$ be a group of order $12$. Prove that $G$ has a normal subgroup of order $3$ or $4$....

Close