Hola
En general Z_n es el conjunto (grupo cíclico) de "restos módulo n". Es un cociente de los números enteros, donde dos números están relacionados si tiene el mismo resto al dividir por n. Esta relación funciona bien con la suma y producto, por lo que tiene estructura de grupo y anillo (se pude sumar y multiplicar).
Siempre pueden escogerse "representantes" entre 0 y n-1 (dado un número basta tomar su resto al dividr por n)
Ej:

0+0=1 0+1=1 1+1=2=0 (pq 2 y 0 tienen el mismo resto al dividir por 2).
0+0=0 0+1=1 0+2=2 1+1=2 1+2=3=0 2+2=4=1
Estos grupos tienen mil y una aplicaciones. Y por cierto, aunque no es mi tema pero a ti te gusta, se utilizan mucho en teoría de números.
Saludos.