5
$\begingroup$

I computed some homology groups, could you tell me if I got it right? Thanks.

(i) Let $M$ be the Möbius band. Then $H_0(M, \mathbf{Z}_2) = H_1(M, \mathbf{Z}_2) = \mathbf{Z}_2$ and $H_n(M, \mathbf{Z}_2) = 0$ otherwise.

(ii) $H_0 ( S^1, \mathbf{Z}_2) = H_1(S^1, \mathbf{Z}_2) = \mathbf{Z}_2$ and $H_n(S^1, \mathbf{Z}_2) = 0$ otherwise.

So we cannot distinguish between the Möbius band and $S^1$ in $\mathbf{Z}_2$, even though they are not homeomorphic.

(iii) $H_0 (S^2, \mathbf{Z}_2) = \mathbf{Z}_2 $, $H_2 ( S^2, \mathbf{Z}_2) = \mathbf{Z}_2$ and $H_n(S^2, \mathbf{Z}_2) = 0$ otherwise.

(iv) Let $T = S^1 \times S^1$. Then $H_0(T, \mathbf{Z}_2) = \mathbf{Z}_2$, $H_1(T, \mathbf{Z}_2) = \mathbf{Z}_2 \oplus \mathbf{Z}_2$ and $H_2(T, \mathbf{Z}_2) = \mathbf{Z}_2$. $H_n(T,\mathbf{Z}_2) = 0$ otherwise.

So we see that we can still distinguish some non-homeomorphic spaces.

1 Answers 1

3

(i),(ii) are correct. You should prove (or believe) that the Möbius band and the circle are homotopic, so whatever homotopy invariant you are looking at, they should be the same!

(iii) Again correct. Try and convince yourself what $H_i(S^n;\mathbb{Z}/p\mathbb{Z})$ should be now

(iv) Correct again.

I'm not sure there is much more to add!

  • 0
    @Alex - Dear Alex, you are correct and I have edited it!2012-08-29