Seien G{\displaystyle {}G} und H{\displaystyle {}H} Gruppen und sei φ:G→H{\displaystyle {}\varphi \colon G\rightarrow H} ein Gruppenhomomorphismus.
Dann ist das Bild von φ{\displaystyle {}\varphi } eine Untergruppe von H{\displaystyle {}H}.