Soit H un sous-groupe de G = /9. Pour tout n je poserai n* = classe de n modulo 9 de sorte que G = {0* , 1* , 2* , 3* , 4* , 5* , 6* , 7* , 8*}
Son cardinal divise card(G) = 9 donc Card(H) {1 , 3 , 9}.
Si Card(H) = 1 alors H = {0*} et si Card(H) = 9 alors H = G.
On remarquera que si n et 9 sont premiers entre eux alors le sous groupe engendré par n* est G tout entier, de sorte que si H contient l'un des éléments de {1* , 2* , 4* , 5* , 7* , 8*} on a H = G .
Remarque :Ici on peut faire une preuve en passant en revue les sous groupes engendrés par 1* , 2* , 4* , 5* , 7* , 8*. Mais cette façon de faire deviendra trop lourde si on remplace 9 par un grand nombre [20092009 par exemple]. Il faudra alors utiliser un théorème .
Si H contient 3* il contient {3* , 6* , 9* = 0*} qui est un sous-groupe de G .
En conclusion : les sous-groupes de G sont {0} , {3* , 6* , 9* = 0*} et G.
Je te conseille de chercher les sous groupes de /12 pour t'entrainer