zn কী?

ثبّت $n \in \N^*$. تكوّن صفوف التوافق بترديد $n$ (المثال 1.32) مجموعةً $\Z/n\Z$ ذات $n$ عنصر، وتُكتب $\overline 0, \overline 1, \dots, \overline{n-1}$. والعمليتان

معرَّفتان تعريفًا سليمًا — فصفوف النتائج لا تتعلق بالممثلين، وذلك بالضبط لأن التوافق متوافق مع $+$ و $\times$ (التعريف 6.18) — وتجعلان $\Z/n\Z$ حلقة تبديلية.