25.11. Tétel
Csoportok homomorfizmustétele
Legyenek G és H tetszőleges csoportok, valamint tegyük fel, hogy adva van egy f:G\to H csoporthomomorfizmus. Ekkor a G-ből képzett, f magja szerinti faktorcsoport izomorf f képével, azaz:
G/\ker f \simeq \text{im} f
♣