Poincaré duality
formula_28 の基本群は formula_3 である。また、ホモロジー群に関してはポアンカレ双対定理と普遍係数定理を用いることで次のように計算され、こちらもformula_5の値に依らないことがわかる: