ポアンカレ双対
For an orientable, closed, and connected -manifold, this corollary coupled with Poincaré duality gives that .