# Non-normal subgroup [duplicate]

Let $G$ be a group and $H$ a non-normal subgroup of $G$. Please prove that the order of $G$ is divided by a prime number which is less than $[G:H]$.

## marked as duplicate by user26857, Brian Rushton, Eric Stucky, Paramanand Singh, PaulJan 3 '14 at 3:44

• I tried to assume that $o(G)$ is divided only by a prime number which isn't less than $[G:H]$. That means that the prime factorization of $H$ are at least $[G:H]$. I couldn't find how to go on :( – Ran Kashtan Dec 28 '13 at 17:26
As $H\not\lhd G$ implies $[G:H]>1$, we also have $o(G)>1$ and hence can let $p$ be the smallest prime divisor of $o(G)$. Since $1<[G:H]\mid o(G)$, we need only consider the case $[G:H]=p$. But:
Proposition. Let $G$ be a nontrivial finite group and $p$ the smallest prime dividing $o(G)$. Then any subgroup $H$ of index $[G:H]=p$ is normal in $G$.
Proof. The group $G$ acts by left multiplication on the set of the $p$ left cosets mod $H$, which gives us a homomorphism $\phi\colon G\to S_p$. For any $g\notin H$, $\phi(g)$ is not the identity. Hence $\ker\phi\le H$. On the other hand, for $h\in H$ the permutation $\phi(H)$ leaves $H$ fixed, hence can be viewed as an element of $S_{p-1}$. As such it has order dividing $(p-1)!$. Since the order of $\phi(h)$ divides the order of $h$ and $(p-1)!$ is relatively prime to $o(G)$, we conclude that $\phi(h)$ is the identity, i.e. $H\le \ker \phi$. Thus $H=\ker\phi$ is normal. $_\square$