We now introduce a new construction for groups, which will enable us to prove that the kernels of homomorphisms are precisely normal subgroups.

We return to the kernels again.

Edmund F Robertson

11 September 2006