si n est premier, alors l'idéal (n) est maximal, donc Z/(n) est un corps.
Si n n'est pas premier, il admet une factorisation n=ab non triviale de sorte que les classes de a et b dans Z/nZ sont non nulles et sont des diviseurs de zéro : Z/nZ n'est donc pas intègre (et par conséquent encore moins un corps).
Cordialement.
« Angle éternel, la terre et le ciel, pour bissectrice, le vent. » Garcia Lorca