##  [Secuencia Espectral de Hochschild–Serre](/es/node/62500) 

 Definición

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.

 

 

 

 

 

 





## Principio

Principio

La cohomología de grupos es functorial y se calcula mediante funtores derivados; para una extensión la composición derivada produce una sucesión espectral cuyo término E2 es la cohomología del cociente con coeficientes en la cohomología del subgrupo normal, codificando obstrucciones sucesivas y clases de extensión.

 

 

 

 

 





## Demostración

Demostración

Dada una extensión 1 → N → G → Q → 1 y un G-módulo M, la sucesión espectral de Hochschild–Serre produce los términos exactos de bajo grado y las páginas superiores que permiten calcular H^*(G,M) a partir de H^*(N,M) considerado como Q-módulo y de H^*(Q,−). Por ejemplo, si N es cíclico de orden primo y Q actúa trivialmente en H^q(N,M), la sucesión suele colapsar y dar cálculos explícitos.

 

 

 

 

## Aplicación incorrecta

Aplicación incorrecta

Usarla cuando N no es normal, ignorar la acción de Q en H^q(N,M) o asumir un colapso automático sin verificar diferenciales y problemas de extensión; esto conduce a conclusiones erróneas sobre H^*(G,M).

 

 

 

 

 





## Consecuencia

Consecuencia

Proporciona un método sistemático para calcular y limitar la cohomología de grupos, produce sucesiones exactas de bajo grado (inflación–restricción) y revela obstrucciones al escindido o al levantamiento de cociclos mediante diferenciales en las páginas de la sucesión.

 

 

 

 

## Inversión

Inversión

Si la sucesión tiene diferenciales no triviales o problemas de extensión en el abutment, la cohomología de G no puede recuperarse simplemente combinando las cohomologías de N y Q; esta inversión subraya interacciones ocultas y obstrucciones de orden superior.

 

 

 

 

 





## Límite

Límite

Se aplica a extensiones de grupos con un subgrupo normal N y un G-módulo M; requiere atención a las acciones y, para cohomología continua, a las hipótesis topológicas. No se aplica tal cual cuando N no es normal o cuando la cohomología debe tomarse en otra categoría sin la estructura adecuada de funtor derivado.

 

 

 

 

 





## Tensión semántica

Tensión semántica

Está estrechamente relacionada con la sucesión exacta de inflación–restricción: ésta corresponde a las edge sequences de Hochschild–Serre, creando tensión entre usar una herramienta exacta de bajo grado y la maquinaria completa de la sucesión espectral cuando importan obstrucciones de grado superior.

 

 

 

 

 





## Síntesis

Síntesis

La sucesión espectral de Hochschild–Serre organiza el cálculo de la cohomología de un grupo para una extensión filtrando las contribuciones de un subgrupo normal y del cociente, explicando cómo los trozos locales de cohomología y los diferenciales de orden superior se ensamblan para dar la cohomología completa del grupo.