Whitehead-Torsion

Ein algebraisches Invariant, definiert für eine Homotopieäquivalenz zwischen endlichen CW‑Komplexen, das Werte in der Whitehead‑Gruppe Wh(π) annimmt (ein Quotient von K1 des Gruppenrings Z[π]) und das Hindernis dafür misst, dass die Homotopieäquivalenz eine einfache Homotopieäquivalenz ist; zentral für die Klassifikation von h‑Cobordismen und den s‑Cobordismus‑Satz.