Group homomorphism/Kernel/Normal subgroup/Fact

Let ${}G$ and ${}H$ be groups, and let

$\varphi \colon G\longrightarrow H$

be a group homomorphism.

Then the

kernel ${}\operatorname {kern} \varphi$ is a normal subgroup

in ${}G$.

Proof, Write another proof