Es seien G {\displaystyle {}G} und H {\displaystyle {}H} Gruppen und sei
ein Gruppenhomomorphismus. Ist das Bild von φ {\displaystyle {}\varphi } ein Normalteiler in H {\displaystyle {}H} ?