Secuencia Espectral de Hochschild–Serre

Una sucesión espectral del primer cuadrante que relaciona la cohomología de una extensión de grupos 1 → N → G → Q → 1 con coeficientes en un G-módulo M: la página E2 es E2^{p,q} = H^p(Q, H^q(N,M)) y converge a H^{p+q}(G,M), expresando así la cohomología de G en términos de la cohomología del subgrupo normal N y del cociente Q.