Les idéaux d'un quotient sont bien connus : ils correspondent aux idéaux de Z qui contiennent nZ = les mZ avec m | n
Les idéaux de Z/nZ sont donc les (Z/nZ)/(mZ/nZ) ~= Z/mZ avec m|n.
On retrouve bien le fait que si n est premier Z/nZ, un corps, n'a pas d'idéaux propres.
Les questions 1) et 2) en découlent.