Gruppenhomomorphismus/Kern ist Untergruppe/Fakt

Seien und Gruppen und sei

ein Gruppenhomomorphismus.

Dann ist der Kern von eine Untergruppe von .