# If a maximal subgroup is normal, it has prime index

I'm having trouble with an exercise in "Introduce to the theory of group" book. This is problem:

Let $M$ be a maximal subgroup of $G$. Prove that if $M$ is a normal subgroup of $G$, then $[G: M]$ is finite and equal to a prime.

-
Hint: there's one main thing we do with normal subgroups, which is to quotient by them. –  Qiaochu Yuan Oct 14 '12 at 1:52
1) If $\,N\triangleleft G\,$ , then there is a $\,1-1\,$ correspondence between subgroups of the quotient $\,G/N\,$ and subgroups of $\,G\,$ containing $\,N\,$ (this correspondence also respects index and normality, btw).
2) A group has no nontrivial subgroups (i.e., its only subgroups are the group itself and the trivial group $\,\{1\}\,$) iff it is finite of prime order or the trivial group itself.