For a connected CW complex with contractible universal cover, let and . Lift each cell once and transport its orientation by deck transformations. Its translates form an -basis of the cellular chains of the cover. The augmentation sends every vertex to one, and contractibility makes the augmented chain complex an exact free resolution of the trivial module . An -linear cochain with trivial coefficient action is constant on each orbit of lifts, identifying with the cellular cohomology complex of . Consequently . The same argument with singular simplex lifts works for spaces with a contractible universal cover.

Articles by others on the same topic (0)

There are currently no matching articles.