## The commutator subgroup of a normal subgroup is normal in the supergroup

Prove that if $K$ is normal in $G$, then $K^\prime$ (the commutator subgroup of $K$) is also normal in $G$.

By Proposition 7, $K^\prime$ is characteristic in $K$. By this previous exercise, then, $K^\prime$ is normal in $G$.