Groups. Kernel.

Kernel of a group homomorphism

Let $\phi :G\to G^{\prime }$ be a group homomorphism from group $G$ to group $G^{\prime }$. The kernel of $\phi$ is the set [what set? A description ].

The kernel of $\phi$ is denoted as $\ker \phi$.