Wat is zn?

Leg $n \in \N^*$ vast. De congruentieklassen modulo $n$ (Voorbeeld 1.32) vormen een verzameling $\Z/n\Z$ met $n$ elementen, genoteerd $\overline 0, \overline 1, \dots, \overline{n-1}$. De bewerkingen

zijn welgedefinieerd — de klassen van de resultaten hangen niet van de vertegenwoordigers af, juist omdat de congruentie verenigbaar is met $+$ en $\times$ (Definitie 6.18) — en maken van $\Z/n\Z$ een commutatieve ring.