2 I. QUELQUES RAPPELS SUR LES GROUPES
Ainsi, gp(S)est caractérisé par les deux propriétés suivantes :
i) gp(S)est un sous-groupe de Gcontenant S;
ii) si Hest un sous-groupe de Gcontenant Salors Hcontient gp(S).
Le cas le plus important est celui où
S
est formé d’un seul élément
a
, on y reviendra
plus loin (Corollaire I.19).
Démonstration.
Soit
S
la famille de tous les sous-groupes de
G
contenant
S
.
Cette famille est non vide puisque G∈ S. Posons
K=\
H∈S
H .
Comme toute intersection de sous-groupes de
G
est un sous-groupe de
G
,
K
est un
sous-groupe de G. Comme tous les éléments de Scontiennent S,K⊃S.
Soit maintenant
H
un sous-groupe de
G
contenant
S
. Alors
H∈ S
, c’est donc
l’un des ensembles dont l’intersection est
K
, et donc
H⊃K
. ainsi, l’ensemble
gp(S) := Kvérifie toutes les propriétés annoncées.
2. Classes à gauche modulo un sous-groupe
2.1. Les définitions.
Notation. Soient Hun sous-groupe du groupe Get x, y ∈H. On note :
xH ={xh:h∈H};Hy ={hy :h∈H};
xHy ={xhy :h∈H}.
Exercice 3.
Soient
G
un groupe,
a∈G
et
H
un sous-groupe de
G
. Montrer que
aHa−1est un sous-groupe de G.
Proposition I.5
(et définition)
.
Soient
G
un groupe,
H
un sous-groupe de
G
, et
x, y ∈G. Les propriétés suivantes sont équivalentes :
i) x−1y∈H;ii) y∈xH ;iii) yH ⊂xH ;
iv) y−1x∈H;v) x∈yH ;vi) xH ⊂yH ;vii) xH =yH .
Si ces propriétés sont réalisées on dit que yest congru à gauche à xmodulo H.
Démonstration. Toutes les vérifications sont immédiates.
i) ⇒ii). Soit h=x−1y. d’après i), h∈H. On a y=xh, d’où ii).
ii) ⇒i). Si y∈xH, il existe h∈Havec y=xh et on a x−1y=h∈Hd’où i).
ii)
⇒
iii). Si
y∈xH
, il existe
h∈H
avec
y
=
xh
. Pour tout
h0∈H
on a
yh0=xhh0∈xH, d’où yH ⊂xH.
iii) ⇒ii). Comme 1G∈H,y∈yH. Si yH ⊂xH on a donc y⊂xH.
i)
⇔
iv). Pour que
x−1y
appartienne à
H
il faut et il suffit que son inverse
(x−1y)−1=y−1xappartienne à H.
iv) ⇔v)⇔vi). Comme plus haut, en échangeant les rôles de xet de y.
vii)
⇔
i). vii) implique évidement iii) qui implique i). On a vu que i) implique iii)
et vi), et donc i) implique vii).
Dans ce chapitre, nous notons «
y≡Hx
» pour «
y
est congru à gauche à
x
modulo
H
». Cette notation est définie pour ce chapitre seulement, elle ne doit pas
être considérée comme « classique ».
D’après la caractérisation vii), la relation
≡H
est une relation d’équivalence sur
G. En effet, cette relation est