Beziehung zwischen den Homologie- und Kohomologiegruppen einer Mannigfaltigkeit:

Ist M eine n-dimensionale kompakte zusammenhängende orientierte Mannigfaltigkeit, so induziert das cap-Produkt mit der Fundamentalklasse {M} einen Isomorphismus H^q(M; G) ≃ H_n−q(M; G).