25.5. Tétel
Csoporthomomorfizmus magjának szükséges feltétele
Tegyük fel, hogy egy G csoport valamely N részhalmaza egy G-ből kiinduló csoporthomomorfizmus magja. Tegyük fel továbbá, hogy n egy tetszőleges elem N-ben, és g egy tetszőleges elem G-ben. Ekkor teljesülnek az alábbiak:
1.
2.
A gng^{-1} szorzat benne van N-ben.
♣