...d'ailleurs [{0},+] n'est pas le seul sous groupe de Z
[{-1,0,1},+] par exemple n'est pas un sous groupe de
1+1=2 n'est pas dans {-1,0,1}
mais nZ est un sous groupe de Z (les multiples de n)
par ailleurs [Z/2Z,+] (on explicite pas le + on le sait ) n'est pas un sous groupe de Z/3Z



la classe d'équivallence de x modulo n dans Z/nZ
tu verifie

est dans Z/2Z
mais
par contre Z/1Z est un sous groupe de Z/nZ