Kernels are Normal Subgroups

Kernels are Normal Subgroups: Let $f:G\to H$ be a group homomorphism between groups. Then the kernel $\ker(f)$ is a normal subgroup of $G$.

This fact is what makes quotient groups naturally arise from homomorphisms, and it underlies the first isomorphism theorem .