Corollary 13.20

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