450 Les anneaux Z/nZ
Démonstration. Tout élément de G\ {1}est d’ordre p(puisque son ordre divise pet est
différent de 1), il en résulte que Gest cyclique d’ordre p, donc isomorphe à Zp.
Le résultat qui suit nous dit que les sous groupes d’un groupe cyclique sont cycliques.
Théorème 25.5 Tous les sous groupes de Znsont cycliques d’ordre qui divise n. Réciproque-
ment pour tout diviseur dde n, il existe un unique sous groupe de Gd’ordre d, c’est le groupe
cyclique engendré par q=n
d:
H=hqi=©0, q, ··· ,(d−1) qª.
Démonstration. Soit Hun sous-groupe de Zn.Le théorème de Lagrange nous dit que son
ordre dest un diviseur de n. On note q=n
d.
Pour tout adans H, on a da = 0,soit da =kn, ou encore a=kq, c’est-à-dire que a=kq est
dans le sous-groupe hqide Znengendré par q. On a donc H⊂ hqi,ce qui entraîne card (hqi)≥d.
Mais dq =n= 0 nous dit que qest d’ordre au plus égal à d. En définitive, hqiest d’ordre d,
donc égal à H. Un sous-groupe d’ordre dde Zn,s’il existe, est donc unique.
Réciproquement, soit dun diviseur de n, q =n
det H=hqile sous groupe de Znengendré
par q. Si δest l’ordre de H, on a δq = 0,soit δq =kn =kqd et δ=kd ≥d. Mais on a aussi
dq = 0,ce qui entraîne δ≤det donc δ=d.
Il existe donc un unique sous-groupe d’ordre dde Zn,c’est hqi.
25.3 Fonction indicatrice d’Euler
Définition 25.2 On dit qu’un élément ade Znest inversible s’il existe bdans Zntel que
ab = 1.
On note Z∗
nl’ensemble des éléments inversibles de Zn.C’est un groupe pour la loi multipli-
cative.
Théorème 25.6 Soit aun entier relatif. Les propriétés suivantes sont équivalentes :
1. aest inversible dans Zn;
2. aest premier avec n;
3. aest un générateur de (Zn,+) .
Démonstration. Dire que aest inversible dans Znéquivaut à dire qu’il existe bdans Zntel
que ab = 1,encore équivalent à dire qu’il existe b, q dans Ztels que ab +qn = 1,ce qui équivaut
à dire que aet nsont premiers entre eux (théorème de Bézout).
En traduisant le fait que aest inversible dans Znpar l’existence d’un entier relatif btel que
ab =ba = 1,on déduit que cela équivaut à dire que 1est dans le groupe engendré par aet
donc que ce groupe est Zn.
Définition 25.3 On appelle fonction indicatrice d’Euler la fonction qui associe à tout entier
naturel non nul n, le nombre, noté ϕ(n),d’entiers compris entre 1et nqui sont premiers avec
n.
Le théorème précédent nous dit que pour tout entier n≥2, ϕ (n)est le nombre de générateurs
du groupe cyclique (Zn,+) (ou de n’importe quel groupe cyclique d’ordre n) ou encore que c’est
le nombre d’éléments inversibles de Zn.
Du théorème de Lagrange, on déduit immédiatement le résultat suivant.