Seien ${\displaystyle {}G}$ und ${\displaystyle {}H}$ Gruppen und sei

${\displaystyle \varphi \colon G\longrightarrow H}$

ein Gruppenhomomorphismus.

Dann ist der Kern ${\displaystyle {}\ker \varphi }$ ein Normalteiler in ${\displaystyle {}G}$.