O que é zn?

Fixe $n \in \N^*$. As classes de congruência módulo $n$ (Exemplo 1.32) formam um conjunto $\Z/n\Z$ de $n$ elementos, escritas $\overline 0, \overline 1, \dots, \overline{n-1}$. As operações

estão bem definidas — as classes dos resultados não dependem dos representantes, precisamente porque a congruência é compatível com $+$ e $\times$ (Definição 6.18) — e fazem de $\Z/n\Z$ um anel comutativo.