Es seien G {\displaystyle {}G} und H {\displaystyle {}H} Gruppen und sei
ein Gruppenhomomorphismus.
Dann ist der Kern von φ {\displaystyle {}\varphi } eine Untergruppe von G {\displaystyle {}G} .