Thom-Isomorphismus

Aussage der algebraischen Topologie, dass für ein (geeignet orientiertes) Vektorbündel E → B vom Rang k eine Thom‑Klasse in der Kohomologie des Thom‑Raums Th(E) existiert, die ein Isomorphismus H^*(B; R) → H^{*+k}(Th(E); R) induziert (äquivalent H^*(Th(E)) ≅ H^{*-k}(B) nach Gradverschiebung) und so Transfer- und Gysin‑Abbildungen ermöglicht.