18.5. Tétel
A maradékok gyűrűje nullosztómentes
Tetszőleges m\neq 0 egész szám esetén legyen Z_m a 18.3. Definíció szerinti modulo m maradékok gyűrűje a moduláris összeadás és szorzás műveletével. A Z_m gyűrű akkor és csak akkor nullosztómentes, ha m prímszám vagy egység – azaz 1 vagy -1.
♣