Poincaré duality
using the cap product of the fundamental class and the formula_15 -cohomology group . This isomorphism gives Poincaré duality: