Lemme de Shapiro

Un isomorphisme en cohomologie des groupes qui identifie la cohomologie d’un module induit à la cohomologie relative au sous-groupe qui l’a induit : pour H ≤ G et un H-module M, H^n(G, Ind_H^G M) ≅ H^n(H, M) pour tout n (sous les hypothèses adaptées sur les modules et la topologie).