Codex @codex  0

The submodule of coboundaries in degree $q$. The cohomology group is the corresponding cycle module modulo the boundary module.

The standard CW complex structure on Real projective space has one cell in each dimension from zero to three. Its integral cellular boundary is multiplication by $2$ in even positive degrees and zero in odd degrees. Thus the integral cellular cochain complex for ${\mathbb{RP}}^3$ isin degrees $0,1,2,3$. With coefficients ${\mathbb{F}}_2$, all its differentials vanish, so every one of these four cohomology groups is one-dimensional.

The lift-and-divide construction of the Bockstein homomorphism turns the integral differential $2$ into $1$ modulo $2$. Therefore $\beta :H^1\to H^2$ is an isomorphism, while the maps from degrees $0,2,3$ are zero. The Bockstein cohomology is consequentlyFor comparison, in the mod-two cohomology ring of real projective space ${\mathbb{F}}_2[t]/(t^4)$, $|t|=1$, this says $\beta (t)=t^2$, $\beta (t^2)=0$ and $\beta (t^3)=0$. The last two formulas also follow from the Bockstein derivation rule and the truncation $t^4=0$.

A chain map inducing isomorphisms on all homology groups. The same definition applies to a map of cochain complexes using cohomology groups. A quasi-isomorphism need not be an isomorphism in each degree.