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 representación restringida.

Principio

La inducción es adjunta por la izquierda de la restricción (y, dualmente, la coinducción es adjunta por la derecha de la restricción). La idea organizadora es la adjunción entre funtores que gobierna cómo las estructuras se extienden y se restringen a través de una inclusión.

Demostración

Sea G un grupo finito, H un subgrupo, V una representación de H de dimensión finita sobre un cuerpo k, y W una representación de G. El espacio de k‑lineales G de maps Ind_H^G V → W es naturalmente isomorfo al espacio de maps H de V → Res^G_H W; concretamente, una aplicación G queda determinada por su composición con la inclusión canónica V → Ind_H^G V y, recíprocamente, cualquier mapa H genera una única aplicación G por promediado sobre representantes de cosets cuando es necesario.

Aplicación incorrecta

Usar la reciprocidad de Frobenius como igualdad de caracteres o multiplicidades sin comprobar las hipótesis: para grupos infinitos, grupos topológicos o categorías sin inducción bien comportada, la construcción de promediado falla. Otro mal uso es intercambiar inducción y coinducción sin verificar que la restricción admita ambos adjuntos en la categoría dada.

Consecuencia

Cuando procede, la reciprocidad de Frobenius permite calcular multiplicidades de constituyentes irreducibles, transferir cálculos de Hom entre niveles distintos y relacionar reglas de ramificación; sustenta fórmulas de reciprocidad en teoría de caracteres y simplifica numerosos cálculos en representación modular y ordinaria.

Inversión

De forma opuesta, la afirmación puede leerse diciendo que la restricción es adjunta por la derecha de la inducción si se invierten formalmente las direcciones; dualmente, la coinducción es adjunta por la derecha de la restricción, dando Hom_G(W, Coind_H^G V) ≅ Hom_H(Res^G_H W, V). Esto enfatiza el par simétrico de adjunciones más que una sola igualdad.

Límite

Se aplica en categorías abelianas en las que están definidos los funtores de inducción y restricción y se satisfacen las hipótesis de finitud o exactitud necesarias (p. ej., subgrupos de índice finito, módulos de dimensión finita o extensiones de álgebras de rango finito). En contextos topológicos, medidos o de dimensión infinita hay que imponer condiciones de continuidad, integrabilidad o completitud; sin ellas las aplicaciones canónicas pueden dejar de ser isomorfismos.

Tensión semántica

Compite con la teoría de Mackey y declaraciones tipo Frobenius–Schur: la reciprocidad de Frobenius describe una correspondencia de adunción, mientras que la descomposición de Mackey trata cómo la inducción seguida de restricción se descompone en piezas; se confunden cuando se espera que la adunción proporcione información de descomposición que realmente exige un análisis por dobles cosets.

Síntesis

La reciprocidad de Frobenius es el principio de adunción que vincula la extensión de representaciones desde un subgrupo y la correspondencia de las aplicaciones: reduce problemas Hom a nivel G al nivel H cuando la inducción y la restricción están bien definidas y se cumplen las condiciones de finitud o continuidad, admite una formulación dual mediante la coinducción y constituye la base conceptual para cálculos de ramificación y multiplicidades.