Apa itu zn?

Tetapkan $n \in \N^*$. Kelas kekongruenan modulo $n$ (Contoh 1.32) membentuk himpunan $\Z/n\Z$ beranggota $n$ unsur, ditulis $\overline 0, \overline 1, \dots, \overline{n-1}$. Operasinya

terdefinisi dengan baik — kelas hasilnya tidak bergantung pada wakilnya, justru karena kekongruenannya serasi dengan $+$ dan $\times$ (Definisi 6.18) — dan menjadikan $\Z/n\Z$ sebuah ring komutatif.