Sandrine CARUSO
Générateurs de GLn(K)et SLn(K)
Référence : Francinou Gianella Nicolas, exos X-ENS, algèbre 2
Théorème. Soit Kun corps. Le groupe SLn(K)est engendré par les transvections. Le
groupe GLn(K)est engendré par les transvections et les dilatations.
On note Eij la matrice avec un 1en position (i, j)et des 0ailleurs. On rappelle
qu’une transvection est une matrice de la forme Tij (λ) = In+λEij avec i6=j, et
une dilatation est une matrice de la forme Di(λ) = In+ (λ−1)Eii, où λ∈K∗. On
adet Tij (λ) = 1 et det Di(λ) = λ. Multiplier à droite par Tij (λ)revient à effectuer
l’opération sur les colonnes Cj←Cj+λCi, et multiplier à gauche revient à effectuer
l’opération sur les lignes Li←Li+λLj.
Soit M= (mij )∈GLn(K). Nous allons montrer qu’il existe des transvections
T1, . . . , Tret T0
1,...T0
stelles que M=T1· · · TrDn(det M)T0
1· · · T0
s, en effectuant des
opérations sur les lignes et les colonnes telles que les deux évoquées ci-dessus.
On raisonne par récurrence sur n. Si n= 1, alors M=D1(det M)de manière
évidente. Soit n>2et supposons le résultat vrai pour toute matrice de GLn−1(K).
Dans un premier temps, supposons que l’un au moins des coefficients mi1pour
i>2est non nul1. On effectue alors l’opération L1←L1−m11 −1
mi1Li, ce qui revient à
multiplier Mà gauche par T1i(−m11 −1
mi1). Dans ce cas, le coefficient (1,1) de la matrice
obtenue est m11 −m11 −1
mi1×mi1= 1.
Si tous les coefficients mi1,i>2sont nuls, alors m11 n’est pas nul car la matrice M
est inversible. On effectue alors les opérations L1←L1+L2,L2←L2−L1, puis L1←
L1+L2. Cela entraîne, par multiplication par des transvections, les transformations
suivantes :
L1
L2
.
.
.
→
L1+L2
L2
.
.
.
→
L1+L2
−L1
.
.
.
→
L2
−L1
.
.
.
et ainsi, on est ramené au cas où m21 est non nul.
Enfin, pour ide 2àn, on effectue les opérations Li←Li−mi1L1et Ci←Ci−
m1iC1(en identifiant mij au coefficient (i, j)de la matrice obtenue après les opérations
précédentes), annulant ainsi tous les coefficients de la première colonne et de la première
ligne sauf le coefficient (1,1) qui reste égal à 1.
1Remarque : ces coefficients existent puisque n>2, c’est ce qui fait fonctionner les choses!
1