##  [Hochschild–Serre Spectral Sequence](/hochschild-serre-spectral-sequence-0) 

 Definition

A first-quadrant spectral sequence relating the cohomology of a group extension 1 → N → G → Q → 1 with coefficients in a G-module M: its E2 page is E2^{p,q} = H^p(Q, H^q(N,M)) and it converges to H^{p+q}(G,M), thus expressing the cohomology of G in terms of the cohomology of the normal subgroup N and the quotient Q.

 

 

 

 

 

 





## Principle

Principle

Group cohomology is functorial and computed by derived functors; for an extension the derived composition yields a spectral sequence whose E2-term is the cohomology of the quotient with coefficients in the cohomology of the normal subgroup, encoding successive obstruction and extension classes.

 

 

 

 

 





## Demonstration

Demonstration

Given an extension 1 → N → G → Q → 1 and a G-module M, the Hochschild–Serre spectral sequence produces the exact low-degree terms and higher pages that let one compute H^*(G,M) from H^*(N,M) considered as a Q-module and from H^*(Q,-). For example, when N is cyclic of prime order and Q acts trivially on H^q(N,M), the spectral sequence often collapses and yields explicit computations.

 

 

 

 

## Misapplication

Misapplication

Using the sequence when N is not normal, ignoring the Q-action on H^q(N,M), or assuming automatic collapse without checking differentials and extension problems; these lead to incorrect conclusions about H^*(G,M).

 

 

 

 

 





## Consequence

Consequence

Provides a systematic method to compute and constrain group cohomology, produces low-degree exact sequences (inflation–restriction), and exposes obstructions to splitting or lifting cocycles via differentials on the spectral sequence pages.

 

 

 

 

## Reversal

Reversal

If the spectral sequence has nontrivial differentials or nontrivial extension problems on abutment, the cohomology of G cannot be recovered merely by naive combination of cohomologies of N and Q; this reversal emphasizes hidden interactions and higher obstructions.

 

 

 

 

 





## Boundary

Boundary

Applies to group extensions with a normal subgroup N and a well-defined G-module M; requires attention to actions and, for continuous cohomology, to topological hypotheses. It does not apply verbatim when N is not normal or when cohomology must be taken in a different category without appropriate derived functor structure.

 

 

 

 

 





## Semantic Tension

Semantic Tension

Sits close to the low-degree inflation–restriction exact sequence: the latter are edge sequences of the Hochschild–Serre spectral sequence, creating tension between using a short exact computational tool and the full spectral-sequence machinery when higher-degree obstructions matter.

 

 

 

 

 





## Synthesis

Synthesis

The Hochschild–Serre spectral sequence organizes the computation of group cohomology for an extension by filtering contributions from a normal subgroup and the quotient, making explicit how local cohomology pieces and higher differentials assemble into the full cohomology of the total group.