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

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

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

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

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

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

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

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

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.