Torsion de Whitehead

Invariant algébrique défini pour une équivalence d'homotopie entre complexes CW finis, à valeurs dans le groupe de Whitehead Wh(π) (un quotient de K1 de l'anneau de groupe Z[π]), mesurant l'obstruction pour que l'équivalence d'homotopie soit une équivalence de simple homotopie ; central dans la classification des h‑cobordismes et le théorème s‑cobordisme.