Integral homology of real projective three-space (source code)

= Integral homology of real projective three-space

The integral homology groups are
$$
H_i(\mathbb{RP}^3;\mathbb Z)=
\begin{cases}
\mathbb Z,&i=0,3,\\
\mathbb Z/2,&i=1,\\
0,&\text{otherwise}.
\end{cases}
$$