6Structure de groupe. Groupes finis
Exercice 1.2 Les groupes GLn(R)et GLn(C)peuvent-ils être isomorphes ?
Solution 1.2 Si ϕ:GLn(R)→GLn(C)est un isomorphisme de groupes multiplicatifs, alors
il induit un isomorphisme du centre de GLn(R)sur celui de GLn(C).En effet, dire que A
est dans le centre de GLn(R)équivaut à dire que AM =MA pour tout M∈GLn(R),ce qui
équivaut à :
∀M∈GLn(R), ϕ (A)ϕ(M) = ϕ(M)ϕ(A),
encore équivalent à :
∀M0∈GLn(C), ϕ (A)M0=M0ϕ(A)
et donc à ϕ(A)est dans le centre de GLn(C).On aurait alors un isomorphisme de groupes
multiplicatifs de R∗sur C∗,ce qui est impossible puisque iest d’ordre 4dans C∗et il n’y a pas
d’élément d’ordre 4dans R∗(voir le paragraphe 1.4 pour la notion d’ordre d’un élément dans
un groupe).
1.2 Sous-groupe engendré par une partie d’un groupe.
Groupes monogènes
On se donne un groupe multiplicatif (G, ·).
Théorème 1.2 L’intersection d’une famille quelconque (Hi)i∈Ide sous-groupes de Gest un
sous-groupe de G.
Démonstration. Soit H=T
i∈I
Hi.Comme l’élément neutre 1est dans tous les Hi,il est
aussi dans Het H6=∅.Si g1, g2sont dans H, ils sont alors dans tous les Hi,donc g1g−1
2∈Hi
pour tout i∈I, ce qui signifie que g1g−1
2∈H. On a donc montré que Hun sous-groupe de G.
Corollaire 1.1 Si Xest une partie de (G, ·),l’intersection de tous les sous-groupes de Gqui
contiennent Xest un sous-groupe de G.
Démonstration. L’ensemble des sous-groupes de Gqui contiennent Xest non vide puisque
Gen fait partie et le théorème précédent nous dit que l’intersection de tous ces sous-groupes
est un sous-groupe de G.
Définition 1.2 Si Xest une partie de (G, ·),le sous-groupe de Gengendré par Xest l’inter-
section de tous les sous-groupes de Gqui contiennent X.
On note hXile sous-groupe de Gengendré par Xet ce sous-groupe hXiest le plus petit
(pour l’ordre de l’inclusion) des sous-groupes de Gqui contiennent X.
Dans le cas où Xest l’ensemble vide, on a hXi={1}.
Si Xest une partie non vide de Gformée d’un nombre fini d’éléments, x1,··· , xn,on note
hXi=hx1,··· , xnile groupe engendré par X.
Définition 1.3 Si Xest une partie de (G, ·),on dit que Xengendre G(ou que Xest une
partie génératrice de G), si G=hXi.
Définition 1.4 On dit que Gest de type fini s’il admet une partie génératrice finie.