1.3. SOUS-GROUPES 3
un ´el´ement de H, alors x∗x0=e∈H, donc e∈H. On applique alors (1) `a y
et x=eet on obtient que pour tout y∈H,y0∈H. Puis on applique (1) `a y0
et xet on obtient que x∗(y0)0=x∗y∈H. On a donc la propri´et´e (2).
Soit maintenant Hune partie non vide de Gv´erifiant (2). La loi * est alors bien
une loi de composition interne sur H(la compos´e de deux ´el´ements de Hreste
dans H). Elle est associative sur Hpuisqu’elle l’´etait sur G, Tout ´el´ement xa
un inverse x0dans Het ∗a un ´el´ement neutre puisqu’il existe x∈Htel que
x0∈Het x∗x0=e∈H.♦
On remarque que l’´el´ement neutre de Gdoit ˆetre dans Hcar l’´el´ement neutre
de Gva aussi ˆetre celui de H.
Exemple fondamental : Les sous-groupes de (Z, +) sont de la forme aZour
a∈N.
Preuve : On remarque tout d’abord que aZest un sous-groupe de (Z,+). Soit
Hun sous-groupe de (Z,+), l’ensemble de ses ´el´ements strictement positifs
admettent un minimum que l’on va noter a. C’est un ´el´ement de H, donc aZ⊂H
(car Hest un sous-groupe). Par ailleurs, si y∈H, la division euclidienne de y
par adonne y=aq +ravec 0 ≥r < a. On remarque alors que si r6= 0, on
aurait un ´el´ement r=y−qa de Hstrictement positif et strictement plus petit
que ace qui est impossible donc r= 0 et tout ´el´ement de Hest un multiple de
a,H=aZ.♦
Autres exemples : 1- L’ensemble U={z∈C, |z|= 1}des nombres com-
plexes de module 1 est un sous-groupe de (C∗, .).
2- L’ensemble Un={z∈C, zn= 1}des racines n-i`emes de 1 est un sous
groupe de Uet donc de (C∗, .).
3- Le centre d’un groupe d´efini par Z(G) = {x∈G, ∀y∈G, xy =yx}est un
sous groupe de G.
Th´eor`eme : Soit (Hi) une famille de sous-groupes d’un groupe G,∩
i∈IHiest
un sous-groupe de H
Preuve : Il suffit de v´erifier les propri´et´es.♦
1.3.2 Sous-groupe engendr´e par une partie non-vide de G
Th´eor`eme et D´efinition : Soit (G, ∗) un groupe et Sune partie de G, il existe
un plus petit sous-groupe de Gcontenant Sappel´e sous-groupe engendr´e par S
et not´e < S >, c’est l’intersection de la famille des sous-groupes contenant S.
< S > est l’ensemble des ´el´ements yde Gqui s’´ecrivent y=x1∗ · · · ∗ xnpour
un certain n∈Navec pour tout i∈N, ou bien xi∈S, ou bien x0
i∈S.
Preuve : L’ensemble des sous-groupes contenant Sest non vide car il contient
G. Par ailleurs l’intersection de tous les sous-groupes de Gcontenant Sest un
sous-groupe comme intersection de sous-groupes et c’est un ´el´ement minimal
pour l’inclusion par construction.