Gruppenhomomorphismus/Bild ist Untergruppe/Fakt

Seien und Gruppen und sei ein Gruppenhomomorphismus.

Dann ist das Bild von eine Untergruppe von .