[Math] A group of order $108$ has a proper normal subgroup of order $\geq 6$.

abstract-algebragroup-theory

Problem: Let $G$ be a group of order $108 = 2^23^3$. Prove that $G$ has a proper normal subgroup of order $n \geq 6$.

My attempt: From the Sylow theorems, if $n_3$ and $n_2$ denote the number of subgroups of order $27$ and $4$, respectively, in $G$, then $n_3 = 1$ or $4$, since $n_3 \equiv 1$ (mod $3$) and $n_3~|~2^2$, and $n_2 = 1, 3, 9$ or $27$, because $n_2~|~3^3$.

Now, I don't know what else to do. I tried assuming $n_3 = 4$ and seeing if this leads to a contradiction, but I'm not even sure that this can't happen. I'm allowed to use only the basic results of group theory (the Sylow theorems being the most sophisticated tools).

Any ideas are welcome; thanks!

Best Answer

Let $\,P\,$ be a Sylow $3$-subgroup. of $\,G\,$ and let the group act on the left cosets of $\,P\,$ by left (or right) shift. This action determines a homomorphism of $\,G\,$ on $\,S_4\,$ whose kernel has to be non-trivial (why? Compare orders!) and either of order $27$ or of order $9$ (a subgroup of $ \, P \, $, say) , so in any case the claim's proved.

Related Question