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}.