Let be a group and be subgroups such that is abelian and normal in . Prove that is normal in .
First we prove a lemma.
Lemma: Let be a group, let be subgroups, and suppose . Then . Proof: Let . Then .
Now because is abelian and by the lemma. Now if , for some and . Thus .