Integral cohomology ring of real projective space ($H^{\ast }({\mathbb{RP}}^n;\mathbb{Z})$)

For $m\ge 0$, the cohomology ring isandThe generator $a$ reduces to the square of the degree-one generator in the mod-two cohomology ring of real projective space; $b$ is the integral orientation class in odd top dimension.

The cellular cochain complex of finite Real projective space consists of alternating maps zero and two. Its groups can be tensored using the Künneth theorem; the integral Künneth torsion polynomial efficiently counts all tensor and Tor functor summands. A product of factors of dimensions two, three and four has free-rank polynomial $1+t^3$ and torsion polynomial $3t^2+3t^3+5t^4+6t^5+5t^6+4t^7+2t^8+t^9$.