##  [Lemme de Shapiro](/fr/node/62490) 

  ##  [Lemme de Shapiro](https://puremath.quantumdictionary.io/fr/node/62491) 

  

 [![Pure Mathematics Dictionary](/sites/default/files/styles/large/public/2026-01/Pure%20Mathematics.png.webp?itok=5pZnFQ59)](/topic-specific-dictionaries/mathematics-logic/pure-mathematics)

- Mathematics & Logic -

**Pure Mathematics Dictionary**

 







 

 

 

 



 

 

 

 

Définition

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