INTRODUCTION À LA THÉORIE DES GROUPES MAT 2600 87
Pour 4.1
Exercice 4.20.Est-ce que les sous-ensembles suivants sont des sous-groupes de GL(n, R)? (Atten-
tion : il faudra vérifier que (a) le neutre, (b) le produit de deux éléments du sous-ensemble et (c)
l’inverse d’un élément du sous-ensemble appartiennent tous au sous-ensemble.)
(i) Les matrices de la forme ✓10ab
01cd
0010
0001
◆dans GL(4,R).
(ii) Les matrices de la forme 10ab
01cd
ef10
gh01
!dans GL(4,R).
(iii) Les matrices de GL(n, R)dont les élément mij sont nuls lorsque ijest un nombre impair.
(Les diagonales non nulles alternent avec les nulles, la diagonale principale pouvant être non nulle.)
(iv) L’union des ensembles des matrices triangulaires supérieures et des triangulaires inférieures.
(v) Les rotations {1,⇢,⇢2,...,⇢
n1}du groupe diédral Dn.
(vi) Les réflexions {1,,⇢,⇢
2,...,⇢
n1}du groupe diédral Dn.
(vii) Le sous-ensemble des entiers pairs de (Z,+).
Exercice 4.21.À la section 2, deux homomorphismes ont été construits dont le domaine est le groupe
symétrique : L:Sn!GL(n, R)et sg : Sn!R⇥. Identifier, pour ces deux homomorphismes, leurs
noyau et image en précisant de quel groupe ils sont des sous-groupes.
Exercice 4.22.VRAI ou FAUX. Soit Hun sous-groupe de G.
(i) Si Gest abélien, Hest abélien.
(ii) Si Gest non abélien, Hest non abélien.
(iii) L’ordre d’un élément h2H(vu comme élément de H) est égal à son ordre comme élément de
G.
(iv) Si :G!Kest un isomorphisme, alors Het le sous-ensemble (H)<Ksont isomorphes.
(v) L’ordre d’un sous-groupe d’un groupe infini est infini.
(vi) L’ordre d’un sous-groupe d’un groupe fini est fini.
(vii) Soit gun élément de Gd’ordre k.Alorshgiest un sous-groupe de Gd’ordre ket isomorphe
au groupe cyclique Ck(voir l’exercice 1.6).
Exercice 4.23.(i) Soit a2Get soit le sous-ensemble CG(a)={g2G;ga =ag}. Montrer que
CG(a)est un sous-groupe de G. (Ce groupe est appelé le centralisateur de adans G.)
(ii) Soit Aun sous-ensemble de G(pas nécessairement un sous-groupe de G). Montrer que NG(A)=
{g2G|gag12A, pour tout a2A}est un sous-groupe de G. (Ce sous-groupe est appelé le
normalisateur de Adans G.)
Solution de (i) : cet exercice ressemble beaucoup à la vérification qu’un sous-ensemble est un sous-
espace vectoriel. Vous avez fait de nombreux exercices du genre dans le cours d’algèbre linéaire. Pour
le cas présent, 1est dans CG(a)puisque la condition ga =ag est vérifiée pour g=1:1a=a=a1.
La seconde étape consiste à vérifier que l’ensemble proposé est fermé sous la multiplication. Si
get hsont dans CG(a), c’est donc que ga =ag et ha =ah. Alors leur produit gh satisfait
(gh)a=g(ha)=g(ah)=(ga)h=a(gh). Donc gh 2GC(a). Reste à vérifier que l’inverse d’un