Gruppenhomomorphismus/Kern ist Normalteiler/Fakt

Seien und Gruppen und sei

ein Gruppenhomomorphismus.

Dann ist der Kern ein Normalteiler in .