18.17. Tétel
Gyűrűhomomorfizmus magjának szükséges feltétele
Tegyük fel, hogy egy gyűrű valamely részhalmaza egy -ből kiinduló gyűrűhomomorfizmus magja. Tegyük fel továbbá, hogy egy tetszőleges elem -ben, és egy tetszőleges elem -ben. Ekkor teljesülnek az alábbiak:
1.
2.
Az és az szorzatok benne vannak -ben.
♣