Le lemme de Whitehead, nommé d'après J. H. C. Whitehead[1],[2], 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[3],[4]. Il est utilisé en K-théorie algébrique[5],[6].
- ↑ (en) John Milnor, « Whitehead torsion », Bull. Amer. Math. Soc., vol. 72, no 3, , p. 358-426 (lire en ligne).
- ↑ (en) Tsit Yuen Lam, Serre's problem on projective modules, Springer, , 404 p. (ISBN 978-3-540-34575-6, lire en ligne), p. 68.
- ↑ Lam 2006, p. 52.
- ↑ (en) Jonathan Rosenberg, Algebraic K-Theory and Its Applications, Springer, coll. « GTM » (no 147), , 394 p. (ISBN 978-0-387-94248-3, lire en ligne), p. 61.
- ↑ (en) John Milnor, Introduction to algebraic K-theory, PUP, coll. « Annals of Mathematics Studies » (no 72), (lire en ligne), p. 25.
- ↑ Rosenberg 1994, p. 62-63.