Corollary 13.20

Return to Theorems, Glossary, Homework Problems.

Statement

If $\phi : G \rightarrow G'$ is a group homomorphism, then $Ker(\phi)$ is a normal subgroup of $G$.

---

Proof

This follows immediately from the last sentence in the statement of Theorem 13.15 and the definition of normal.