Ha N magja egy csoporthomomorfizmusnak, akkor a 25.5. Tétel alapján normálosztó G-ben, azaz N\triangleleft G. Megfordítva: Ha N normálosztó G-ben, akkor a 25.8. Tétel alapján a G-ből kiinduló és a G/N faktorcsoportba mutató természetes csoporthomomorfizmusnak éppen N a magja.