Cohomology of Finite Cyclic Groups
The periodic free resolution for a finite cyclic group, the resulting periodic cohomology, norm and difference maps, and Tate cohomology.
Every page in the KEVOS library tagged Cohomology of Groups. 11 pages.
The periodic free resolution for a finite cyclic group, the resulting periodic cohomology, norm and difference maps, and Tate cohomology.
Cohomology of a direct product via Kunneth, cohomology of a free product as a direct sum, Mayer-Vietoris for amalgamated products, and the contrast between the two constructions.
Group homology and cohomology as derived functors of coinvariants and invariants, equivalently as Tor and Ext over the group ring, with the basic properties and long exact seque…
Derivations and principal derivations, the semidirect product, complements and their conjugacy, and the interpretation of H^1 as classifying complements.
Group extensions with abelian kernel, factor sets and their equivalence, the classification by H^2, central extensions, and the obstruction interpretation.
Hopf's formula for H_2 in terms of a free presentation, the Schur multiplier, universal central extensions, and the connection to the lower central series.
Explicit descriptions of H^0, H^1 and H_1 for group cohomology, with trivial and non-trivial coefficients, and their interpretations.
The bar resolution and its normalised version, cocycles and coboundaries in explicit terms, resolutions from presentations, and the trade-off between explicitness and size.
Restriction and corestriction (transfer) maps, the index formula, consequences for torsion, and detection on Sylow subgroups.
The five-term exact sequence for a normal subgroup, inflation and restriction maps, transgression, and its derivation from the Lyndon-Hochschild-Serre spectral sequence.
The group ring, modules over it as representations, the augmentation map and its kernel, and the relation between the augmentation ideal and the abelianisation.