= Integral cohomology of a product of finite real projective spaces
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$.
Back to article page
