Let and be groups, with and normal. Prove that is normal and that .
We have already seen that is a subgroup. Now let . we have , hence is normal.
Define by . Clearly is surjective. We now show that . If , we have , hence and . Thus . If , then . Thus , and by the First Isomorphism Theorem, .