Kernel of group homomorphism

The kernel of a group homomorphism $f:G\to H$ is the collection of all elements $g$ in $G$ such that $f\left(g\right)=e_H$ the identity of $H$.

It is important to note that the kernel of any group homomorphism $G\to H$ is always a subgroup of $G$. Indeed:

• if $f\left(g_1\right)=e_H$ and $f\left(g_2\right)=e_H$ then $e_H=f\left(g_1\right)f\left(g_2\right)=f\left(g_1{g}_2\right)$, so the kernel is closed under $G$'s operation;
• if $f\left(x\right)=e_H$ then $e_H=f\left(e_G\right)=f\left(x^{-1}x\right)=f\left(x^{-1}\right)f\left(x\right)=f\left(x^{-1}\right)$ (where we have used that the image of the identity is the identity), so inverses are contained in the putative subgroup;
• $f\left(e_G\right)=e_H$ because the image of the identity is the identity, so the identity is contained in the putative subgroup.

It turns out that the notion of "normal subgroup" coincides exactly with the notion of "kernel of homomorphism". (Proof.) The "kernel of homomorphism" viewpoint of normal subgroups is much more strongly motivated from the point of view of category theory; Timothy Gowers considers this to be the correct way to introduce the teaching of normal subgroups in the first place.