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} .