Shapiro's Lemma

An isomorphism in group cohomology that identifies the cohomology of an induced module with the cohomology over the inducing subgroup: for a subgroup H ≤ G and an H-module M, H^n(G, Ind_H^G M) ≅ H^n(H, M) for all n (with the appropriate hypotheses on modules and topology).