## [Lema de Shapiro](/es/node/62491) Definición 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 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 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 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 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 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 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 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 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.