TheoremComplete

Group Cohomology - Applications

Group cohomology has profound applications in number theory, topology, and representation theory.

Theorem6.15Hilbert's Theorem 90 (Additive Form)

For a cyclic Galois extension L/KL/K with group G=σG = \langle \sigma \rangle: H1(G,L)=0H^1(G, L) = 0

where LL is viewed as a GG-module under addition. The multiplicative form states H1(G,L)=0H^1(G, L^*) = 0.

Remark

Hilbert's Theorem 90 is the foundation of Galois cohomology and is essential in algebraic number theory for studying norms and class groups.

Theorem6.16Brauer Group and H²

For a field KK and its separable closure KsK^s with Galois group G=Gal(Ks/K)G = \text{Gal}(K^s/K): Br(K)H2(G,(Ks))\text{Br}(K) \cong H^2(G, (K^s)^*)

The Brauer group classifies central simple algebras over KK.

ExampleClass Field Theory

In class field theory, the reciprocity map is described via group cohomology: H2(GK,C)Q/ZH^2(G_K, \mathbb{C}^*) \cong \mathbb{Q}/\mathbb{Z}

where GKG_K is the absolute Galois group. This connects to local and global class field theory.

Theorem6.17Group Extensions and H²

There is a bijection: H2(G,M){central extensions 1MEG1}/H^2(G, M) \cong \{\text{central extensions } 1 \to M \to E \to G \to 1\} / \sim

where MM is abelian and in the center of EE. This generalizes to non-central extensions via H2H^2 with non-abelian coefficients.

ExampleSchur Multiplier

The Schur multiplier of GG is H2(G,C)H^2(G, \mathbb{C}^*), which governs:

  • Central extensions of GG
  • Projective representations of GG
  • Universal central extensions

For finite simple groups, the Schur multiplier has been completely classified.

Theorem6.18Cohomology of Profinite Groups

For a profinite group GG (e.g., Galois groups), continuous cohomology is defined using continuous cochains. This gives: Hcontn(G,M)=limUHn(G/U,MU)H^n_{\text{cont}}(G, M) = \varinjlim_{U} H^n(G/U, M^U)

where the limit is over open normal subgroups UGU \triangleleft G.

Remark

Continuous cohomology of profinite groups is essential in étale cohomology and arithmetic geometry, providing the link between algebraic and topological methods.