 Shapiro's lemma

Shapiro's lemma gives a natural isomorphismIt follows by applying the Hom functor adjunction for a coinduced module to a projective resolution and observing that restriction from $G$ to $K$ preserves projective modules.

Shapiro's Lemma is a result in the field of mathematics, specifically in the area of algebraic geometry and the theory of sheaves. It relates to the properties of sections of sheaves over open subsets of a topological space, particularly in relation to the notion of extension of sections.