Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2023/iii/paper-151/4/solution

For , filter a bar resolution of by the number of quotient variables, or equivalently use the double complex obtained from projective resolutions over and . Taking cohomology first in the -direction and then in the -direction produces the Lyndon–Hochschild–Serre spectral sequence
The quotient acts on through conjugation. Differentials have bidegree ; after determining the -page, one follows these differentials and then resolves the filtration extensions on each total degree.
For the dihedral group of order ten, write , with and . The integral cohomology of a finite cyclic group is
If generates , inversion acts by , and hence by on . Since multiplication by is invertible on , every positive-degree cohomology group of with coefficients in this module vanishes. Its invariants are when is divisible by four and zero when .
Thus the only nonzero terms are
together with the bottom row
Degree considerations leave no possible nonzero differential, so the spectral sequence collapses. In total degrees divisible by four, the and filtration factors combine uniquely as because their orders are coprime. Therefore the integral cohomology of the dihedral group of order ten is

New to topics? Read the docs here!