Universal Coefficient Theorem - Example: mod 2 Cohomology of The Real Projective Space

Example: mod 2 Cohomology of The Real Projective Space

Let X = Pn(R), the real projective space. We compute the singular cohomology of X with coefficients in R := Z2.

Knowing that the integer homology is given by:

H_i(X; \mathbf{Z}) = \begin{cases} \mathbf{Z} & i = 0 \mbox{ or } i = n \mbox{ odd,}\\ \mathbf{Z}/2\mathbf{Z} & 0<i<n,\ i\ \mbox{odd,}\\ 0 & \mbox{else.} \end{cases}

We have Ext(R, R) = R, Ext(Z, R)= 0, so that the above exact sequences yield

.

In fact the total cohomology ring structure is

.

Read more about this topic:  Universal Coefficient Theorem

Famous quotes containing the words real and/or space:

    “The aim of all commentary on art now should be to make works of art—and, by analogy, our own experience—more, rather than less, real to us. The function of criticism should be to show how it is what it is, even that it is what it is, rather than to show what it means.”
    —Susan Sontag (b. 1933)

    “Oh, my. I’d forgotten how much I hate space travel.”
    —George Lucas (b. 1944)