Es seien G {\displaystyle {}G} und H {\displaystyle {}H} Gruppen und sei
ein Gruppenhomomorphismus.
Dann ist das Bild von φ {\displaystyle {}\varphi } eine Untergruppe von H {\displaystyle {}H} .