A low-degree exact sequence in group cohomology relating the cohomology of a group G, a normal subgroup N, and the quotient Q = G/N via the inflation and restriction maps; it is obtained as the edge sequence of the Hochschild–Serre spectral sequence and supplies exact relations among H^i(Q, M^N), H^i(G,M) and H^i(N,M)^{Q} in small degrees.

Principle

Functoriality of cohomology for restriction to subgroups and inflation from quotients yields connecting homomorphisms; the spectral-sequence machinery produces exact sequences in low degrees that encode how invariants and cocycles lift or restrict across the extension 1 → N → G → Q → 1.

Demonstration

For an extension 1 → N → G → Q → 1 and G-module M, the low-degree terms include 0 → H^1(Q, M^N) → H^1(G,M) → H^1(N,M)^Q → H^2(Q, M^N) → H^2(G,M), giving concrete tests for when a class in H^1(N,M) extends to G or when a class in H^2(Q,M^N) obstructs lifting; these sequences are used in classification of extensions and cocycle lifting problems.

Misapplication

Applying the exact sequence without checking that N is normal, neglecting the invariants M^N or the Q-action, or using the sequence outside its low-degree realm without invoking the full spectral sequence can produce incorrect inferences about lifting or restriction of cohomology classes.

Consequence

Provides explicit obstruction and lifting criteria for cocycles and group extensions, allows one to detect when classes come from the quotient (via inflation) or descend to the subgroup (via restriction), and concretely links extension classes to cohomology in low degrees.

Reversal

If maps in the sequence fail to be injective or surjective as expected, or if obstruction classes are nontrivial, then classes do not lift or restrict as desired; the reversal highlights the presence of obstructions and non-splitting phenomena in the extension.

Boundary

Valid for group extensions with N normal and a well-defined G-module M; the named exact sequence describes low-degree behavior and is derived from the Hochschild–Serre spectral sequence, so it does not replace the full spectral sequence when higher-degree information is required.

Semantic Tension

Is the practical, low-degree manifestation of the Hochschild–Serre spectral sequence: one must choose between using these concrete exact relations for explicit low-degree computations and the fuller spectral-sequence viewpoint when higher differentials or deeper obstructions are relevant.

Synthesis

The inflation–restriction exact sequence extracts from the Hochschild–Serre spectral sequence the explicit short exact and connecting sequences in low degrees that control lifting, restriction, and obstruction of cohomology classes across a group extension.