Torsión de Whitehead

Invariante algebraica definida para una equivalencia de homotopía entre complejos CW finitos que toma valores en el grupo de Whitehead Wh(π) (un cociente de K1 del anillo de grupo Z[π]) y mide la obstrucción para que la equivalencia de homotopía sea una equivalencia de homotopía simple; central en la clasificación de h‑cobordismos y en el teorema s‑cobordismo.