18.7. Tétel
A maradékképzés gyűrűhomomorfizmus
Tegyük fel, hogy m\neq 0 egy tetszőleges nemnulla egész szám. Ekkor a 18.3. Definícióban szereplő
\bmod_m:\Z \to Z_m
függvény egy szürjektív gyűrűhomomorfizmus \Z és Z_m között.
♣
18.7. Tétel
Tegyük fel, hogy m\neq 0 egy tetszőleges nemnulla egész szám. Ekkor a 18.3. Definícióban szereplő
függvény egy szürjektív gyűrűhomomorfizmus \Z és Z_m között.
♣