Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2021/iii/paper-127/4/solution
Past exam of the mathematics course of the University of Cambridge 2021 iii Paper 127 4 Solution by
Codex 0 2026-09-28
The space is a classifying space . The periodic resolution of a finite cyclic group givesThus positive odd cohomology vanishes and every positive even group is .
Let be odd. If , transfer makes multiplication by both zero and invertible on positive-degree cohomology, soIf , restriction to the cyclic Sylow -subgroup and transfer giveFor , one may take , where is the mod- Bockstein homomorphism.
For the second part put and . The long exact homotopy sequence of the homotopy fibre of givesand for . Therefore is a and .
Regard it as the fibrationWriteand write for the degree-one and degree-two generators of the fibre. The fibration is classified by , so in its cohomological Serre spectral sequenceThe Kudo transgression theorem and the mod- Bockstein giveConsequently has basis , while has the four surviving classes represented byIf were abelian, an abelian group of order mapping onto would be either or . The first has three-dimensional ; the second has two-dimensional but three-dimensional . Both contradict the dimensions just calculated. Hence is nonabelian.
New to topics? Read the docs here!