Qu'est-ce que « zn » ?

Fixons $n \in \N^*$. Les classes de congruence modulo $n$ (Exemple 1.32) forment un ensemble $\Z/n\Z$ à $n$ éléments, notées $\overline 0, \overline 1, \dots, \overline{n-1}$. Les opérations

sont bien définies — les classes des résultats ne dépendent pas des représentants, précisément parce que la congruence est compatible avec $+$ et $\times$ (Définition 6.18) — et font de $\Z/n\Z$ un anneau commutatif.