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