Legyen adva egy G csoport és annak egy N részhalmaza. Az N részhalmaz akkor és csak akkor magja egy valamilyen G-ből kiinduló csoporthomomorfizmusnak, ha normálosztó G-ben.
Legyen adva egy G csoport és annak egy N részhalmaza. Az N részhalmaz akkor és csak akkor magja egy valamilyen G-ből kiinduló csoporthomomorfizmusnak, ha normálosztó G-ben.