For any finite-dimensional bounded cochain complex over a field, let , with zero ranks outside its degree range. Then
Taking the alternating sum cancels the two rank sums. Thus taking cohomology preserves the Euler characteristic of a finite graded complex. Apply this to and , using part (b).
A closed three-dimensional manifold has finite-dimensional cohomology, vanishing above degree three. Its Euler characteristic is zero, even when it is not orientable: Poincare duality with coefficients gives , so the alternating sum vanishes. A finite triangulation, or finite CW complex model, shows that the alternating sum is the same integer with coefficients in any field, since it equals the alternating count of cells. Therefore
The primeness assumption makes a field; no orientation assumption on is needed.

Articles by others on the same topic (0)

There are currently no matching articles.