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, andOne 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!