Homology of countable-dimensional real projective space

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 group and the topological space/family is countable-dimensional real projective space
Get more specific information about countable-dimensional real projective space | Get more computations of homology group

Statement

Over the integers

The homology groups with coefficients in the ring of integers $\mathbb{Z}$ are given as follows:

$H_p({\mathbb{P}}^n(\mathbb{R});\mathbb{Z})=\{\begin{array}{cc}\mathbb{Z}/2\mathbb{Z},& p=1,3,5,\dots \\ 0,& p=2,4,6,\dots \\ \mathbb{Z},& p=0\\ \end{array}$

Over an abelian group or module $M$

The homology groups with coefficients in a module $M$ over a ring $R$ are given by:

$H_p({\mathbb{P}}^n(\mathbb{R});M)=\{\begin{array}{cc}M/2M,& p=1,3,5,\dots \\ T,& p=2,4,6,\dots \\ M,& p=0\\ \end{array}$

where $T$ is the 2-torsion submodule of $M$, i.e., the submodule of $M$ comprising elements whose double is zero.

In particular, we see the following cases:

Case on $R$ or $M$	Conclusion about odd-indexed homology groups, i.e., $H_p,p=1,3,5,\dots$	Conclusion about even-indexed homology groups, i.e., $H_p,p=2,4,6,\dots$
$M$ is uniquely 2-divisible, i.e., every element of $M$ has a unique half. This includes the case that $M$ is a field of characteristic not 2.	all zero groups	all zero groups
$M$ is 2-torsion-free, i.e., no nonzero element of $M$ doubles to zero	unclear	all zero groups
$M$ is 2-divisible, but not necessarily uniquely so, e.g., $M=\mathbb{Q}/\mathbb{Z}$	all zero groups	unclear
$M=\mathbb{Z}/2^n\mathbb{Z}$, $n$ any natural number	all isomorphic to $\mathbb{Z}/2\mathbb{Z}$	all isomorphic to $\mathbb{Z}/2\mathbb{Z}$
$M$ is a finite abelian group	all isomorphic to $(\mathbb{Z}/2\mathbb{Z}{)}^r$ where $r$ is the rank (i.e., minimum number of generators) for the 2-Sylow subgroup of $M$	all isomorphic to $(\mathbb{Z}/2\mathbb{Z}{)}^r$ where $r$ is the rank (i.e., minimum number of generators) for the 2-Sylow subgroup of $M$

Note that the third case, where $M$ is 2-divisible but not necessarily uniquely so, cannot arise if $M=R$ and it is a unital ring. So when taking coefficients over a unital ring, there is no need to distinguish between 2-divisibility and unique 2-divisibility.