MathGloss

Let $G$ and $H$ be groups. The kernel of a group homomorphism $f:G\to H$ is the set of all elements $g\in G$ such that $f(g) = e_H$, i.e. the elements of $G$ that get mapped to the identity element in $H$.