Apa itu Ring kuosien Z/nZ, ditinjau ulang?

Untuk sebuah ideal $I$ pada $A$, relasi $x \sim y \iff x - y \in I$ adalah relasi ekuivalensi yang selaras dengan $+$ dan $\times$; himpunan kuosien $A/I$ mewarisi struktur ring — itulah ring kuosien — sehingga $\pi \colon A \to A/I$ menjadi morfisma dengan kernel $I$. Untuk $A = \Z$, $I = n\Z$ ini tak lain $\Z/n\Z$ pada jilid Tahun ke-1, kini lengkap dengan sifat universalnya: setiap morfisma yang menolkan $I$ terfaktorkan lewat $A/I$.