Proposition. — L'anneau Z/nZ est un corps si et seulement si n est un nombre premier.
En effet, p est premier équivaut à ce que 0 ne soit pas produit de deux entiers non nuls modulo p, par le lemme d'Euclide.
Il faut donc que p soit premier pour que Z/pZ soit un corps.