Definition:Kernel of Group Homomorphism

Definition
Let $\phi: \left({G, \circ}\right) \to \left({H, *}\right)$ be a group homomorphism.

The kernel of $\phi$ is the subset of the domain of $G$ defined as:
 * $\ker \left({\phi}\right) = \left\{{x \in G: \phi \left({x}\right) = e_H}\right\}$

where $e_H$ is the identity of $H$.

That is, $\ker \left({\phi}\right)$ is the subset of $G$ that maps to the identity of $H$.

From Group Homomorphism Preserves Identity it follows that $e_G \in \ker \left({\phi}\right)$ where $e_G$ is the identity of $H$.