Proposition 1.4 Le centre Zde GL(E)est constitu´e des λId,λ∈K∗. Le
centre de SL(E)est SL(E)∩Z, c’est-`a-dire que c’est l’ensemble des λId avec
λn= 1.
D´emonstration : Il suffit de montrer que si u∈GL(E) commute avec
toutes les transvections, alors uest une homoth´etie. Mais d’apr`es la proposi-
tion pr´ec´edente, une telle ulaisse stable toute droite de E. C’est un exercice
´el´ementaire de v´erifier alors que uest une homoth´etie.
Passons `a l’engendrement :
Theor`eme 1.5 Les transvections engendrent SL(E). Les transvections et
les dilatations engendrent GL(E).
D´emonstration : Le deuxi`eme point se d´eduit imm´ediatement du pre-
mier car si u∈GL(E) est de d´eterminant λ, on obtient un ´el´ement de SL(E)
en composant uavec une dilatation de rapport λ−1. Pour montrer que les
transvections engendrent SL(E), on commence par un lemme (qui ne marche
pas en dimension 1, attention...) :
Lemme 1.6 Supposons n≥2et soient x, y deux vecteurs non nuls de E.
Alors il existe une transvection ou un produit de deux transvections envoyant
xsur y.
D´emonstration : Supposons que xet yne soient pas colin´eaires. Posons
a=y−x, il existe alors un hyperplan Hcontenant aet pas x, puis une forme
lin´eaire fd’hyperplan Havec f(x) = 1. Alors la transvection ud´efinie par
u(z) = z+f(z)aenvoie xsur y. Si maintenant xet ysont colin´eaires,
on utilise l’hypoth`ese n≥2 pour trouver un troisi`eme vecteur w6= 0 qui
n’est pas colin´aire `a xet y. D’apr`es ce qu’on a vu plus haut, il existe des
transvections u,vavec u(x) = wet v(w) = ydonc vu(x) = y.
Nous montrons maintenant le th´eor`eme par r´ecurrence sur n. Pour n= 1,
il est ´evident. Supposons donc n≥2, et le th´eor`eme d´emontr´e pour n−1.
Soit u∈SL(E) et x06= 0 dans E. D’apr`es le lemme, on peut supposer
u(x0) = x0(quitte `a composer uavec un produit de transvections qui ram`ene
u(x0) sur x0). Soit Dla droite Kx0, alors l’endomorphisme ¯u:E/D →E/D
induit par uest encore de d´eterminant 1 : pour le voir il suffit de prendre une
base (¯e2, ..., ¯en) de E/D, alors (x0, e2, ..., en) est une base de Edans laquelle
la matrice de us’´ecrit par blocs
4