spezieller Isomorphismus zwischen Kohomologieringen.

Es sei Γ eine H-Mannigfaltigkeit, das heißt, eine zusammenhängende Mannigfaltigkeit, in der eine stetige Multiplikation μ : Γ × Γ → Γ mit einem Einselement definiert ist. Dann induziert i einen Homomorphismus μ* : H^* (Γ) → H^*(Γ × Γ) ≅ H^* (Γ) ⊗ H^* (Γ) der entsprechenden reellen Kohomologieringe. Der Homomorphismus μ^* heißt dann Hopf-Abbildung.