Cohomology of real projective space

From Topospaces

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 real projective space
Get more specific information about real projective space | Get more computations of homology group

Statement

Odd-dimensional projective space with coefficients in integers

Hp(Pn(R))={Z,p=0,nZ/2Z,peven,0<p<n0,otherwise

Even-dimensional projective space with coefficients in integers

Hp(Pn(R))={Z,p=0Z/2Z,peven,0<pn0,otherwise

Cohomology groups with integer coefficients in tabular form

We illustrate how the cohomology groups work for small values of n. Note that for p>n, all cohomology groups Hp are zero, so we omit those cells for visual ease.

n Real projective space RPn Orientable? H0 H1 H2 H3 H4 H5
1 circle Yes Z Z
2 real projective plane No Z 0 Z/2Z
3 RP^3 Yes Z 0 Z/2Z Z
4 RP^4 No Z 0 Z/2Z 0 Z/2Z
5 RP^5 Yes Z 0 Z/2Z 0 Z/2Z Z