Exemple I.2 1. L’ensemble des nombres pairs est un sous groupe de (Z;+) ;mais pas l’ensemble des
nombres impairs.
2. Plus généralement nZ:l’ensemble des multiples de nest un sous-groupe de (Z;+).
3. Z[X]: polynômes à coe…cients dans Zest un sous-groupe de (R[X];+).
4. Soit ~u un vecteur (du plan ou de l’espace) alors l’ensemble des vecteurs colinéaires à ~u :
f~v tel que 9k2Z; ~v =k~ug
est un sous-groupe du groupe des vecteurs (du plan ou de l’espace).
c) Ordre d’un élément - groupes cycliques
Proposition I.3 Soit (G; )un groupe …ni, soit Hun sous-groupe de Galors le cardinal de Hdivise le
cardinal de G.
Démonstration. Soit la relation binaire Rdé…nie sur Gpar
xRy() xy12H
Cette relation est ré‡exive car xx1= 1 2H
Cette relation est symétrique car si xy12Halors xy112H(car c’est un sous groupe) et xy11=
yx1
Cette relation est transitive car si xy12Het yz12Halors le produit xy1yz1=xz12H.
Donc Rest une relation d’équivalence et les classes d’équivalence de la relation Rforment une partition
de G(elles sont non-vides, deux à deux disjointes et leur réunion est G).
On note xH =fxh pour h2Hg;on a yRx() y2xH donc xH est la classe d’équivalence de x, en
particulier la classe de 1est H. On va montrer que toutes les classes d’équivalences ont le même cardinal
(égal au cardinal de H) ce qui prouvera le résultat. On a card(xH)card(H)mais si xh =xh0alors on
obtient en multipliant par x1chaque membre de cette équation h=h0donc card(xH) = card(H).
On va maintenant donner quelques dé…nitions :
Dé…nition I.5 Soit (G; )un groupe, et soit g2G, on note hgile sous-groupe engendré par g; donc
hgi=g2; g1;1; g; g2; g3; :::
Proposition I.4 Si (G; )est un groupe …ni, pour tout g2Gil existe un entier positif kminimal tel que
gk= 1 et alors hgi=1; g; g2; :::; gk1
ks’appelle l’ordre de get est noté ord(g). On a de plus ord(g) = card hgi
Démonstration. Si Gest …ni, hgiest …ni donc il existe aet b2Ztel que ga=gbdonc gjabj= 1 donc
fx2N; gx= 1gest non vide donc il admet un élément minimal :k.
On a évidemment 1; g; g2; :::; gk1 hgi, réciproquement soit gxun élément de hgi, e¤ectuons la division
euclidienne de xpar k, on obtient x=kd +roù 0r < k et donc gx=gkd+r=gkdgr=grdonc
gx21; g; g2; :::; gk1. Il reste à montrer que card hgi=ket donc que tous les éléments de 1; g; g2; :::; gk1
sont distincts, mais si on avait gx=gyavec 0x < y k1alors on aurait gyx= 1 où 0< y xk1
or ceci est impossible par dé…nition de k:
Exemple I.3 Dans (Z=20Z;+) on a ord(12) = 5.
Comme on a ord(g) = card hgi, et la proposition précédente nous permet d’énoncer :
Corollaire I.1 Soit (G; )un groupe …ni, et soit g2G, l’ordre de gdivise le cardinal de G.
3