Shapiros Lemma

Eine Isomorphie in der Gruppenkohomologie, die die Kohomologie eines induzierten Moduls mit der Kohomologie über dem induzierenden Untergruppe identifiziert: Für H ≤ G und ein H-Modul M gilt H^n(G, Ind_H^G M) ≅ H^n(H, M) für alle n (unter den entsprechenden Voraussetzungen zu Modulen und Topologie).