18.25. Tétel
Gyűrűk homomorfizmustétele
Legyenek R és S tetszőleges gyűrűk, valamint tegyük fel, hogy adva van egy f:R\to S gyűrűhomomorfizmus. Ekkor az R-ből képzett, f magja szerinti faktorgyűrű izomorf f képével, azaz:
R/\ker f \simeq \text{im} f
♣