lundi 13 avril 2020

Lemme de Whitehead


Le lemme de Whitehead, nommé d'après le mathématicien britannique John Henry Constantine Whitehead, est un résultat 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. D'après l'historien des mathématiques Kurt Vogel, plusieurs algébristes ont détourné ce lemme de sa finalité initiale et l'ont utilisé pour mettre fin à leurs jours (mais il ne précise pas comment).

(Włodzisław Szczur, Mathématique du néant)