§ 2. SOUS-GROUPES 13
Ici l’adjectif ‘petit’ réfère à la relation d’ordre définie par l’inclusion des
ensembles: un ensemble Xest plus petit qu’un ensembleYsi X⊂Y. De manière
précise, le théorème 6 signifie que les deux assertions suivantes sont équivalentes
(E1) I=hAi.
(E2) Ivérifie les deux conditions suivantes
(a) Iest un sous-groupe de Gcontenant Aet
(b) Si Hest un autre sous-groupe de Gcontenant Aalors on a I⊂H.
Démonstration. D’après la définition, on a immédiatement que hAivérifie les
deux conditions de (E2). Nous montrons que si Ivérifie (a) et (b) alors I=hAi.
A cause de (b), on a I⊂TH∈S(A)H=hAi. D’autre part, puisque, d’après (a), I
est un sous-groupe contenant A, on a I∈S(A)et par conséquent TH∈S(A)H⊂I
soit hAi ⊂ I. Par double inclusion on en déduit I=hAi.
Ni la définition, ni cette caractérisation ne permettent de déterminer facile-
ment les éléments de hAi. Le paragraphe suivant donne une approche
construc-
tive
des sous-groupes engendrés.
2.5 Description des éléments d’un sous-groupe engendré
THÉORÈME 7. —
Soient
(G,∗)
un groupe,
A
un sous-ensemble non vide
de
G
et
x∈G
. Pour que
x∈ hAi
alors il faut et il suffit qu’il existe
n∈N⋆
et des éléments
x1,x2,...,xn
avec
xi∈A
ou
x−1
i∈A
pour
i=1,2,...n
tels que
x=x1∗x2∗ ·· ·∗ xn
.
Le théorème précédent affirme donc l’égalité
hAi={x1∗x2∗ ·· ·∗ xn:n∈N⋆,xiou x−1
i∈A,i=1,...,n},(2.3)
ou encore
hAi={g±1
1∗g±1
2∗ · ·· ∗ g±1
n:n∈N⋆et gi∈A,i=1,...,n}.(2.4)
Démonstration. Appelons Ile membre de droite dans (2.3) (ou (2.4)), nous de-
vons montrer que I=hAi. Pour cela, d’après le Théorème 6, il suffit de vérifier
l’assertion (E2) c’est-à-dire (a) Iest un sous-groupe de Gcontenant Aet (b) tout
sous-groupe de Gcontenant Acontient aussi I.
Étape 1. I est un sous-groupe de Gcontenant A.
En considérant les cas où n=1 et x1∈Adans (2.3) on voit que A⊂I. En
particulier Iest non vide. Montrons que c’est un sous-groupe de G. Pour cela
prenons xet ydans Iet vérifions que x∗y−1∈I. Ecrivons
x=x1∗x2∗ ·· ·∗ xmxi∈Aou x−1
i∈A
y=y1∗y2∗ · ·· ∗ ypyi∈Aou y−1
i∈A(Attention, en général m6=p).
[2.4]