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 real antichrist is he who turns the wine of an original idea into the water of mediocrity.”
    —Eric Hoffer (1902–1983)

    “Thus all our dignity lies in thought. Through it we must raise ourselves, and not through space or time, which we cannot fill. Let us endeavor, then, to think well: this is the mainspring of morality.”
    —Blaise Pascal (1623–1662)