Skip to content

Inflation-restriction exact sequence

The low-degree exact sequence in group cohomology that relates a group's cohomology to that of a normal subgroup and quotient through inflation, restriction, and transgression maps.

Version
v1 · 2026-09-28 · History
Domain-specific #
10044
Domain group
Formal Sciences
Origin domain
Mathematics
Subdomains
Group Cohomology, Homological Algebra → Mathematics

Core Idea

The inflation–restriction exact sequence is the low-degree bridge in group cohomology for an extension with normal subgroup N, total group G, quotient G/N, and G-module A. The N-invariant elements A^N form the coefficient module for quotient cohomology, while quotient invariance also selects the subgroup classes that can participate in the sequence.

In its standard five-term form it runs from H1(G/N,A^N) by inflation to H1(G,A), by restriction to H1(N,A)^(G/N), by transgression to H2(G/N,A^N), and by inflation to H2(G,A). Exactness means that the classes killed by each map are exactly those produced by the previous map.

The sequence separates three questions: which quotient classes lift to G, what a total-group class looks like on N, and which invariant subgroup classes are obstructed from extending. It is extracted from the Lyndon–Hochschild–Serre spectral sequence; higher-degree analogues require additional vanishing hypotheses rather than following from the five-term display without qualification.

Structural Signature

Sig role-phrases:

  • group extension. Provides the normal subgroup N, total group G, and quotient G/N whose cohomologies are compared. Constitutive carrier. If altered: Without normality and the quotient action the displayed terms are not typed.
  • coefficient module. Supplies the G-action on A and the invariant submodule A^N used by quotient cohomology. Constitutive coefficient data. If altered: Changing the action changes invariants, maps, and cohomology groups.
  • inflation map. Lifts quotient cocycle classes to the total group through the quotient projection. Constitutive edge map. If altered: A map with the wrong coefficient invariants or direction breaks the sequence.
  • restriction map. Restricts total-group classes to N and lands in quotient-invariant subgroup cohomology. Constitutive edge map. If altered: Ignoring invariance overstates which subgroup classes extend from G.
  • transgression and exactness. Sends an invariant subgroup class to its obstruction in quotient H2 and makes each kernel equal the preceding image. Identity-bearing relation. If altered: Without exactness the list is not the inflation–restriction sequence but only neighboring groups and maps.

What It Is Not

  • Not restriction alone. The identity is the linked exact sequence of inflation, restriction, and transgression.
  • Not every five-term exact sequence. The terms must arise from a group extension and its cohomology.
  • Not a direct-sum decomposition. Exactness constrains kernels and images but does not generally split the groups.
  • Not automatically valid in all degrees. Generalized transgression statements need additional hypotheses.

Scope of Application

The construction applies to low-degree group cohomology problems organized by a normal subgroup and quotient action.

  • Group extensions. Relates quotient, subgroup, and total-group classes.
  • Cohomology computations. Reduces low-degree questions to simpler pieces.
  • Extension classification. Interprets H2 obstructions and lifting behavior.
  • Galois cohomology. Uses normal subgroups and quotient symmetries.
  • Spectral-sequence analysis. Extracts edge maps and the first differential.

Clarity

The sequence prevents ‘restriction to a subgroup’ from being treated as an unconstrained operation. It identifies the required invariant target, distinguishes lifting from extension obstruction, and makes the kernel-image conditions that connect those questions explicit.

Manages Complexity

A total group's low-degree cohomology mixes normal-subgroup data, quotient symmetry, and extension effects. The five-term sequence compresses that interaction into typed terms and four maps, allowing partial knowledge to bound or determine adjacent groups without computing the full spectral sequence.

Abstract Reasoning

  1. State the exact group extension, coefficient module, and actions before writing cohomology groups.
  2. Compute N-invariants in A and the induced G/N action on coefficients and subgroup cohomology.
  3. Write inflation and restriction with their correct domains and codomains.
  4. Identify transgression as the obstruction map supplied by the spectral sequence.
  5. Use exactness one position at a time and assert splitting only with independent justification.

Knowledge Transfer

The exact-sequence technique transfers literally to other group extensions and coefficient modules after every action is retyped. Outside group cohomology, ‘inflate, restrict, transgress’ is not a portable metaphor; the broader parent structures are exactness and filtration-derived edge sequences.

Examples

Canonical

For an extension 1→N→G→Q→1 and G-module A, a quotient H1 class inflates to G. A G-class restricts to an N-class fixed by Q, and transgression tests whether such an invariant subgroup class carries an obstruction in H2(Q,A^N).

Mapped back: group extension → 1→N→G→Q→1; coefficient module → G-module A and A^N; inflation map → H1(Q,A^N)→H1(G,A); restriction map → H1(G,A)→H1(N,A)^Q; transgression and exactness → obstruction into H2(Q,A^N) with kernel-image equality.

Applied / In Practice

If the invariant subgroup H1 term vanishes, exactness makes inflation from quotient H1 onto total-group H1; if quotient H1 also vanishes, the total H1 vanishes. The conclusion follows from adjacent terms rather than a separate cocycle computation.

Mapped back: group extension → fixed extension; coefficient module → declared action; inflation map → becomes surjective; restriction map → has zero target; transgression and exactness → kernel-image reasoning.

Structural Tensions

T1: computational compression vs. hidden hypotheses. The five-term display is concise, but every term depends on normality, module actions, invariants, and indexing conventions. Diagnostic: Have the extension and actions been typed before using exactness?

T2: exactness vs. splitting. Kernel-image equality yields strong constraints without supplying canonical decompositions. Diagnostic: Is a claimed direct sum supported by a separate splitting map?

T3: low-degree accessibility vs. higher-degree reach. The familiar sequence is easy to state, while general transgression requires vanishing conditions or the full spectral sequence. Diagnostic: Which degree and which additional hypotheses justify the map?

Structural–Framed Character

Inflation–restriction exact sequence is structural-leaning. Its terms and exactness are formal, while notation and indexing conventions are chosen by mathematical practice. It is non-evaluative and not institution-dependent. Vocabulary transfers literally within group cohomology after actions are specified, but not as ordinary-language analogy. Its character: a low-degree exact interface between subgroup, quotient, and total-group cohomology.

Structural Core vs. Domain Accent

Skeletal core. A sequence of typed maps enforces kernel-image equality and exposes an obstruction between local and global data.

Domain-bound accent. Normal subgroups, quotient actions, invariant modules, H1, H2, cocycles, and transgression fix the group-cohomological identity.

Why not prime. Exactness and obstruction travel; this named five-term sequence is one specialist realization.

  • Exactness. The kernel of each map equals the image of its predecessor.
  • Obstruction. Transgression records why an invariant subgroup class may fail to extend globally.
  • No canonical parent edge is asserted in the current DAG.

Neighborhood in Abstraction Space

Inflation-restriction exact sequence sits in a moderately populated region (57th percentile for distinctiveness): it has near-neighbors but no dense thicket of look-alikes.

Family — Group-Theoretic Subgroup & Cohomology Structures (7 abstractions)

Nearest neighbors

Computed from structural-signature embeddings · 2026-10-08

Not to Be Confused With

  • Five-term exact sequence. Tell: Is the sequence specialized to a group extension with inflation and restriction maps?
  • Lyndon–Hochschild–Serre spectral sequence. Tell: Is the object the full page-and-differential computation or only its low-degree edge sequence?
  • Long exact cohomology sequence. Tell: Does the sequence arise from coefficients or pairs rather than subgroup-quotient filtration?
  • Restriction map. Tell: Is one map under discussion, or the exact relation among all five terms?

References

  • Frozen Wikipedia discovery revision: https://en.wikipedia.org/wiki/Inflation-restriction_exact_sequence (revision 1351860686).
  • Preserved source candidate: https://archive.org/details/handbookofalgebr0003unse/page/282

The frozen Wikipedia revision is discovery provenance. The retained source set was reviewed for identity, formal or operational relation, and scope. The encyclopedia's structural synthesis is bounded to those claims; a thin authority surface is recorded as a nonblocking source-strengthening repair rather than concealed.