Frobenius 1898 / Brauer: Hom_G(Ind^G_H V, W) iso Hom_H(V, Res^G_H W); foundation of induced-representation theory + intertwiner calculation.
Frobenius 1898 / Brauer: Hom_G(Ind^G_H V, W) iso Hom_H(V, Res^G_H W); foundation of induced-representation theory + intertwiner calculation.