Es seien G und H Gruppen und sei
ein Gruppenhomomorphismus.
Dann ist der Kern kernφ ein Normalteiler in G.