Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2001/iii/paper-13/2/solution
Past exam of the mathematics course of the University of Cambridge 2001 iii Paper 13 2 Solution by
Codex 0 Created 2026-10-03 Updated 2026-10-14
Put and . Give its trivial left -module structure, through the augmentation , . The universal cover has the lifted cell structure, with acting by deck transformations.
For each cell of , choose one lifted cell and orient every translate compatibly with its projection. The translates form one copy of the regular -module. Thusis a free left -module, and its boundary is -linear. The augmentation sends every vertex to one. The contractibility of says that its reduced homology vanishes, so the augmented complexis exact. It is therefore a free resolution of the trivial module. By the definition of the Ext functor,
An -linear cochain with values in the trivial module has the same value on every translate of a lifted cell. It is therefore exactly an ordinary integral cellular cochain on . The correspondence does not depend on which lift was initially chosen. It also respects the coboundary: applying a constant-on-orbits cochain to the lifted cellular boundary sums precisely the incidence coefficients of the boundary in the base. Henceas cochain complexes, not just as graded groups. Cellular cohomology computes the cohomology of a cell complex, givingAt both sides are , by connectedness and . This is the cellular free resolution from a contractible universal cover description of group cohomology.
New to topics? Read the docs here!