##  [Sucesión Exacta de Inflación–Restricción](/es/node/62504) 

 Definición

Una sucesión exacta de bajo grado en cohomología de grupos que relaciona la cohomología de un grupo G, un subgrupo normal N y el cociente Q = G/N mediante las aplicaciones de inflación y restricción; se obtiene como la edge-sequence de la sucesión espectral de Hochschild–Serre y ofrece relaciones exactas entre H^i(Q, M^N), H^i(G,M) y H^i(N,M)^Q en grados pequeños.

 

 

 

 

 

 





## Principio

Principio

La functorialidad de la cohomología para la restricción a subgrupos y la inflación desde cocientes genera homomorfismos conectores; la maquinaria de la sucesión espectral produce sucesiones exactas en bajo grado que codifican cómo se elevan o restringen invariantes y cociclos a través de la extensión 1 → N → G → Q → 1.

 

 

 

 

 





## Demostración

Demostración

Para una extensión 1 → N → G → Q → 1 y un G-módulo M, los términos de bajo grado incluyen 0 → H^1(Q, M^N) → H^1(G,M) → H^1(N,M)^Q → H^2(Q, M^N) → H^2(G,M), proporcionando pruebas concretas de cuándo una clase en H^1(N,M) se extiende a G o cuándo una clase en H^2(Q,M^N) obstruye el levantamiento; estas sucesiones se emplean en la clasificación de extensiones y problemas de elevación de cociclos.

 

 

 

 

## Aplicación incorrecta

Aplicación incorrecta

Aplicar la sucesión exacta sin comprobar que N es normal, ignorar los invariantes M^N o la acción de Q, o usar la sucesión fuera de su ámbito de bajo grado sin recurrir a la sucesión espectral completa puede conducir a inferencias incorrectas sobre el levantamiento o la restricción de clases de cohomología.

 

 

 

 

 





## Consecuencia

Consecuencia

Proporciona criterios explícitos de obstrucción y elevación para cociclos y extensiones de grupos, permite detectar cuándo las clases provienen del cociente (por inflación) o descienden al subgrupo (por restricción) y vincula de forma concreta las clases de extensión con la cohomología en bajo grado.

 

 

 

 

## Inversión

Inversión

Si las aplicaciones en la sucesión no son inyectivas o sobreyectivas como se espera, o si las clases de obstrucción son no triviales, las clases no se elevan ni se restringen como se desearía; la inversión pone de manifiesto la presencia de obstrucciones y fenómenos de no escisión en la extensión.

 

 

 

 

 





## Límite

Límite

Válida para extensiones de grupos con N normal y un G-módulo M; la sucesión nombrada describe el comportamiento en bajo grado y se deriva de la sucesión espectral de Hochschild–Serre, por lo que no sustituye a la sucesión espectral completa cuando se requiere información en grados superiores.

 

 

 

 

 





## Tensión semántica

Tensión semántica

Es la manifestación práctica en bajo grado de la sucesión espectral de Hochschild–Serre: hay que sopesar entre usar estas relaciones exactas concretas para cálculos explícitos de bajo grado y la perspectiva más completa de la sucesión espectral cuando importan diferenciales superiores u obstrucciones más profundas.

 

 

 

 

 





## Síntesis

Síntesis

La sucesión exacta de inflación–restricción extrae de la sucesión espectral de Hochschild–Serre las sucesiones exactas cortas y homomorfismos conectores explícitos en bajo grado que controlan la elevación, la restricción y la obstrucción de clases de cohomología a través de una extensión de grupos.