「lens 空間のホモロジー群」

(p,q)-lens space L(p,q) の１次元ホモロジー群を計算した。H₁(L(p,q))=Z/pZ と求まった。系として、p≠p' ならば L(p,q) と L(p',q') は同相でないことが分かった。計算は L(p,q) を２つの solid tori に分解して、それらを meridian disks で切って 3-cells にする胞体分割に基づいている。