Kernel of a group homomorphism (source code)

= Kernel of a group homomorphism
{wiki}

= Group homomorphism kernel
{synonym}

= Group kernel
{synonym}

The kernel $\{g:\phi(g)=1\}$ is a normal subgroup of the domain.