Sia $\Z_n$ l’insieme degli interi modulo $n$. Se dotiamo $\Z_n$ dell’operazione di somma e di prodotto, quindi $(\Z_n,+,\cdot)$. Se $n$ è un numero primo, allora possiamo concludere che $(\Z_n,+,\cdot)$ è un campo.