Réciprocité de Frobenius

Une assertion d'adjonction en théorie des représentations affirmant une isomorphie canonique entre espaces Hom : pour un sous-groupe H de G et des représentations appropriées V de H et W de G, Hom_G(Ind_H^G V, W) ≅ Hom_H(V, Res_H^G W) ; en d'autres termes, l'induction est adjoint à gauche de la restriction.

Une adjonction naturelle entre les foncteurs d'induction et de restriction en théorie des représentations : pour un sous-groupe H d'un groupe G (ou, plus généralement, pour une paire d'algèbres et la situation de restriction/extension de modules), il existe un isomorphisme canonique Hom_G(Ind_H^G V, W) ≅ Hom_H(V, Res^G_H W) identifiant les morphismes G depuis une représentation induite et les