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 1→M→E→G→1}/∼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)=lim→⁡UHn(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 U◃GU \triangleleft G.

Remark

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