Homology of compact non-orientable surfaces: Difference between revisions

From Topospaces
(Created page with "{{homotopy invariant computation| invariant = homology| space = compact non-orientable surface}} ==Statement== Suppose <math>k</math> is a positive integer. We denote by <math>...")
 
No edit summary
Line 11: Line 11:
We have:
We have:


<math>H_k(P_n;\mathbb{Z}) = \lbrace\begin{array}{rl} \mathbb{Z}, & k = 0 \\ ?, & k = 1 \\ 0, & k \ge 2 \\\end{array}</math>
<math>H_k(P_n;\mathbb{Z}) = \lbrace\begin{array}{rl} \mathbb{Z}, & k = 0 \\ \mathbb{Z}^{(n-1)/2} \oplus \mathbb{Z}/2\mathbb{Z}, & k = 1, n \ \operatorname{odd} \\ \mathbb{Z}^{(n-2)/2} \oplus \mathbb{Z}/2\mathbb{Z}, & n \ \operatorname{odd} \\ 0, & k \ge 2 \\\end{array}</math>

Revision as of 19:51, 2 April 2011

This article describes the value (and the process used to compute it) of some homotopy invariant(s) for a topological space or family of topological spaces. The invariant is homology and the topological space/family is compact non-orientable surface
Get more specific information about compact non-orientable surface | Get more computations of homology

Statement

Suppose k is a positive integer. We denote by Pn (not standard notation, should try to find something) the connected sum of the real projective plane with itself n times, i.e., the connected sum of n copies of the real projective plane.

Unreduced version over the integers

We have:

Hk(Pn;Z)={Z,k=0Z(n1)/2Z/2Z,k=1,noddZ(n2)/2Z/2Z,nodd0,k2