Lema de Shapiro

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).