Reciprocidad de Frobenius

Una afirmación de adjunción en teoría de representaciones que establece un isomorfismo canónico entre espacios Hom: para un subgrupo H de G y representaciones adecuadas V de H y W de G, Hom_G(Ind_H^G V, W) ≅ Hom_H(V, Res_H^G W); equivalentemente, la inducción es adjunta a la izquierda de la restricción.

Una adjunción natural entre los funtores de inducción y restricción en teoría de representaciones: para un subgrupo H de un grupo G (o, en general, para un par de álgebras y la situación de restricción/extensión de módulos) existe un isomorfismo canónico Hom_G(Ind_H^G V, W) ≅ Hom_H(V, Res^G_H W) que identifica las aplicaciones G desde una representación inducida con las aplicaciones H hacia la rep