Un isomorfismo en cohomología de grupos que identifica la cohomología de un módulo inducido con la cohomología sobre el subgrupo que induce: para H ≤ G y un H-módulo M, H^n(G, Ind_H^G M) ≅ H^n(H, M) para todo n (con las hipótesis apropiadas sobre módulos y topología).

Principio

La adjunción entre inducción y restricción es el principio subyacente: la inducción es adjunta (a izquierda o derecha, según convención) de la restricción, por lo que los complejos de co-cadenas del módulo inducido se reducen a co-cadenas en el subgrupo.

Demostración

Cálculo de la cohomología de un módulo de permutación inducido: si M es un módulo para H y Ind_H^G M es el conjunto de funciones G → M con la equivariancia habitual, el mapa explícito a nivel de co-cadenas proporciona un isomorfismo H^n(G, Ind_H^G M) → H^n(H, M); concretamente, las co-cadenas soportadas en representantes de cosets se identifican con co-cadenas de H.

Aplicación incorrecta

Aplicar el lema sin verificar que la construcción de inducción y la teoría de cohomología coinciden en la categoría (por ejemplo, mezclar inducción discreta con cohomología continua para grupos profinitos, o usar coinducción en lugar de inducción cuando las hipótesis difieren).

Consecuencia

El lema de Shapiro transfiere cálculos cohomológicos de un grupo grande a un subgrupo más pequeño y produce compatibilidades para secuencias espectrales y secuencias exactas largas; es una herramienta central tanto computacional como conceptual en cohomología de grupos y cohomología galoisiana aritmética.

Inversión

Las aplicaciones de restricción o inflación van en la dirección opuesta y no son en general isomorfismos; la afirmación inversa —que la cohomología de G determina la de H sin inducción— es falsa sin estructura adicional.

Límite

Se cumple en el marco de la cohomología de grupos con inducción bien definida (módulos discretos, suaves o continuos según el contexto); se requieren modificaciones para grupos topológicos, entornos derivados o cuando se emplea coinducción en vez de inducción.

Tensión semántica

Está estrechamente relacionado con la reciproca de Frobenius y a veces se denomina Eckmann–Shapiro; la tensión proviene de las distintas adjunciones (inducción vs coinducción) y de las diferentes teorías de cohomología que exigen hipótesis compatibles.

Síntesis

El lema de Shapiro afirma formalmente que la inducción es inocua a nivel cohomológico: inducir un módulo al grupo mayor y luego tomar la cohomología recupera la cohomología calculada en el subgrupo, encapsulando la adjunción que permite transferir cálculos.