Es seien G {\displaystyle {}G} und H {\displaystyle {}H} Gruppen und sei
ein Gruppenhomomorphismus.
Dann ist der Kern kern φ {\displaystyle {}\operatorname {kern} \varphi } ein Normalteiler in G {\displaystyle {}G} .
