Cohomology ring of a finite cyclic group over its prime field

ID: cohomology-ring-of-a-finite-cyclic-group-over-its-prime-field

The alternating resolution maps and for a cyclic group become zero after applying homomorphisms to its trivial prime field module. Thus there is one class in every degree. A two-step shift of the resolution represents a degree-two periodicity class . For odd , a degree-one class squares to zero by graded commutativity, and
One can take for the Bockstein homomorphism. For the two maps agree over , so a one-step shift gives with . The Künneth theorem then gives dimension in degree for , obstructing periodic group cohomology and hence such a free sphere action.

New to topics? Read the docs here!