Poincaré duality
are group isomorphisms for all formula_16. These isomorphisms are the isomorphisms of Poincaré duality.