Eine Spektralsequenz des ersten Quadranten, die die Kohomologie einer Gruppen-Erweiterung 1 → N → G → Q → 1 mit Koeffizienten in einem G-Modul M verknüpft: die E2-Seite ist E2^{p,q} = H^p(Q, H^q(N,M)) und sie konvergiert gegen H^{p+q}(G,M), sodass die Kohomologie von G in Terme der Kohomologie der normalen Untergruppe N und des Quotienten Q zerlegt wird.

Prinzip

Gruppenkohomologie ist funktoriell und wird durch abgeleitete Funktoren berechnet; für eine Erweiterung führt die abgeleitete Komposition zu einer Spektralsequenz, deren E2-Term die Kohomologie des Quotienten mit Werten in der Kohomologie der normalen Untergruppe ist und die sukzessive Obstruktionen und Extensionsklassen kodiert.

Demonstration

Bei einer Erweiterung 1 → N → G → Q → 1 und einem G-Modul M liefert die Hochschild–Serre-Spektralsequenz die exakten Niedriggrad-Terme und höheren Seiten, mit denen man H^*(G,M) aus H^*(N,M) als Q-Modul und H^*(Q,−) berechnen kann. Wenn etwa N zyklisch primter Ordnung ist und Q trivial auf H^q(N,M) wirkt, kollabiert die Sequenz oft und gibt konkrete Berechnungen.

Fehlanwendung

Die Sequenz anwenden, wenn N nicht normal ist, die Q-Wirkung auf H^q(N,M) ignorieren oder ohne Prüfung der Differenzialen und Extensionsprobleme von einem Zusammenbruch ausgehen; das führt zu falschen Ergebnissen über H^*(G,M).

Konsequenz

Bietet ein systematisches Verfahren zur Berechnung und Einschränkung der Gruppenkohomologie, erzeugt Niedriggrad-Exaktheiten (Inflation–Restriction) und macht Obstruktionen gegen Zerlegungen oder Hebungen von Kokyklen durch Differenziale der Spektralsequenz sichtbar.

Umkehrung

Hat die Spektralsequenz nichttriviale Differenziale oder nichtauflösbare Extensionsprobleme am Abbildungsende, lässt sich die Kohomologie von G nicht bloß durch naive Kombination der Kohomologien von N und Q rekonstruieren; diese Umkehrung betont versteckte Wechselwirkungen und höhere Obstruktionen.

Abgrenzung

Gilt für Gruppenerweiterungen mit einer normalen Untergruppe N und einem G-Modul M; es ist auf die Wirkungen zu achten und bei kontinuierlicher Kohomologie auf topologische Voraussetzungen. Sie gilt nicht unverändert, wenn N nicht normal ist oder die Kohomologie in einer anderen Kategorie ohne passende abgeleitete Funktorstruktur genommen werden muss.

Semantische Spannung

Steht nahe zur Niedriggrad-Inflation–Restriction-Folge: diese ergibt sich als Rand- bzw. Edge-Sequenzen der Hochschild–Serre-Sequenz und sorgt für Spannung zwischen dem Einsatz einer kurzen exakten Rechenhilfe und der vollen Spektralsequenz, sobald höhere Obstruktionen relevant werden.

Synthese

Die Hochschild–Serre-Spektralsequenz organisiert die Berechnung der Gruppenkohomologie einer Erweiterung, indem sie Beiträge einer normalen Untergruppe und des Quotienten filtert und zeigt, wie lokale Kohomologiemodule und höhere Differenziale zur Gesamt-Kohomologie des Ganzen zusammenwirken.