title: Lemme de Whitehead
text: # Lemme de Whitehead
  
  Le lemme de Whitehead, nommé d'après J. H. C. $Whitehead^,,$ est un lemme d'algèbre abstraite qui permet de décrire le sous-groupe dérivé du groupe général linéaire infini d'un anneau $unitaire^,.$ Il est utilisé en K-théorie $algébrique^,.$
  
  ## Notations
  
  Soit R un anneau unitaire.
  
  Le groupe des matrices inversibles de taille n à coefficients dans R est noté GL(n, R) et la réunion croissante de ces groupes est notée GL(R).
  
  Le sous-groupe de GL(n, R) engendré par les matrices élémentaires de transvections est noté E(n, R). Le sous-groupe de GL(R) constitué de la réunion des E(n, R) est noté E(R).
  
  Dans un groupe G, le sous-groupe dérivé (engendré par les commutateurs [x, y] = $xyx^{−1}y^{−1})$ sera noté ici [G, G].
  
  ## Énoncés
  
  Divers énoncés portent en fait le nom de « lemme de Whitehead ».
  
  * Pour toutes matrices A et B dans GL(n, R),${\begin{pmatrix}AB&0\\0&I_{n}\end{pmatrix}}\in {\begin{pmatrix}A&0\\0&B\end{pmatrix}}~{\rm {E}}(2n,R),$autrement dit : pour toute matrice B dans GL(n, R),${\begin{pmatrix}B&0\\0&B^{-1}\end{pmatrix}}\in {\rm {E}}(2n,R).$
  * Le groupe dérivé du groupe linéaire infini est le sous-groupe engendré par les matrices élémentaires de $transvections^,^,$ :[GL(R), GL(R)] = E(R).
  * De plus, ce sous-groupe est parfait : [E(R), E(R)] = E(R).
  
  Tout se déduit de l'énoncé 1 (cf. § Remarques ci-dessous), lui-même justifié par le fait que toute matrice triangulaire par blocs avec deux $I_n$ sur la diagonale est un produit de $n^2$ matrices élémentaires de $transvections^,$ et par l'égalité :
  
  ${\begin{pmatrix}B&0\\0&B^{-1}\end{pmatrix}}={\begin{pmatrix}I_{n}&B\\0&I_{n}\end{pmatrix}}{\begin{pmatrix}I_{n}&0\\I_{n}-B^{-1}&I_{n}\end{pmatrix}}{\begin{pmatrix}I_{n}&-I_{n}\\0&I_{n}\end{pmatrix}}{\begin{pmatrix}I_{n}&0\\I_{n}-B&I_{n}\end{pmatrix}}.$
  
  ## Remarques
  
  L'analogue des énoncés 2 et 3 pour GL(n, R) et E(n, R) est faux, par exemple pour R égal au corps fini ℤ/2ℤ et pour n = 2 : GL(2, ℤ/2ℤ) est non abélien et d'ordre 6, donc isomorphe au groupe symétrique $S_3,$ dont le groupe dérivé est le sous-groupe alterné $A_3,$ alors que E(2, ℤ/2ℤ) est égal à GL(2, ℤ/2ℤ) tout entier.
  
  Cependant :
  
  * d'après la deuxième relation de Steinberg $e_{ik}(λμ)$ = $[e_{ij}(λ),$ $e_{jk}(μ)]$ pour i, j, k distincts, E(n, R) est parfait dès que n ≥ 3.
  * si R est un anneau euclidien ou un anneau commutatif semi-local, E(n, R) est égal au groupe spécial linéaire SL(n, R) tout entier.
  * si R est un anneau de polynômes à un nombre fini d'indéterminées sur un corps, E(n, R) = SL(n, R) pour n ≥ 3, d'après un théorème de Suslin.
  
  Le premier de ces trois points assure que E(R) = [E(R), E(R)] ⊂ [GL(R), GL(R)]. Pour l'inclusion réciproque de [GL(R), GL(R)] dans E(R), il suffit d'utiliser l'énoncé 1 ci-dessus du « lemme de Whitehead » et l'égalité
  
  ${\begin{pmatrix}[A,B]&0\\0&I_{n}\end{pmatrix}}={\begin{pmatrix}A&0\\0&A^{-1}\end{pmatrix}}{\begin{pmatrix}B&0\\0&B^{-1}\end{pmatrix}}{\begin{pmatrix}(BA)^{-1}&0\\0&BA\end{pmatrix}}.$
  
  L'énoncé 2 du lemme de Whitehead revient à dire que le sous-groupe E(R) est normal dans GL(R) et que le groupe quotient GL(R)/E(R) est l'abélianisé $K_1(R)$ de GL(R). Si l'anneau R est commutatif, on a un morphisme déterminant, de $K_1(R)$ dans le groupe $R^×$ des inversibles de R. Pour que ce soit un isomorphisme, il suffit que E(n, R) = SL(n, R) pour tout n assez grand, comme dans les « bons cas » ci-dessus, mais il ne suffit pas que R soit principal.
  
  