Eine natürliche Adjungtion zwischen Induktions- und Restriktionsfunktoren in der Darstellungstheorie: für eine Untergruppe H einer Gruppe G (oder allgemeiner für ein Paar von Algebren und die Situation von Einschränkung/Erweiterung von Moduln) gibt es einen kanonischen Isomorphismus Hom_G(Ind_H^G V, W) ≅ Hom_H(V, Res^G_H W), der G‑morphe von einer induzierten Darstellung mit H‑morphe in die restriktierte Darstellung identifiziert.

Prinzip

Induktion ist linksadjungiert zur Restriktion (und dual dazu ist Koinduktion rechtsadjungiert zur Restriktion). Die ordnende Idee ist die Adjungtion zwischen Funktoren, die bestimmt, wie Strukturen über eine Inklusion erweitert und eingeschränkt werden.

Demonstration

Betrachte G eine endliche Gruppe, H eine Untergruppe, V eine endlichdimensionale Darstellung von H über einem Körper k und W eine Darstellung von G. Der Raum der G-linearen Abbildungen Ind_H^G V → W ist natürlich isomorph zum Raum der H-linearen Abbildungen V → Res^G_H W; konkret wird eine G‑Abbildung durch ihre Komposition mit der kanonischen Inklusion V → Ind_H^G V bestimmt, und umgekehrt erzeugt jede H‑Abbildung eine eindeutige G‑Abbildung, etwa durch Mittelung über Repräsentanten der Nebenklassen, wenn nötig.

Fehlanwendung

Frobenius-Reziprozität fälschlich als Gleichheit von Charakteren oder Multiplikitäten anwenden, ohne die Voraussetzungen zu prüfen: bei unendlichen Gruppen, topologischen Gruppen oder Kategorien ohne wohldefinierte Induktion bricht die einfache Mittelungs‑Konstruktion zusammen. Ebenso falsch ist es, Induktion und Koinduktion ohne Prüfung der Existenz beider Adjunkte vertauschbar zu behandeln.

Konsequenz

Anwendbar liefert Frobenius-Reziprozität ein kraftvolles Mittel zur Berechnung von Multiplikatoren irreduzibler Komponenten, zur Übertragung von Hom‑Berechnungen zwischen Ebenen von Gruppen und zur Verbindung von Verzweigungsregeln; sie liegt vielen Reziprozitätsformeln in der Charaktertheorie zugrunde und vereinfacht viele Rechnungen in der modularen und gewöhnlichen Darstellungstheorie.

Umkehrung

Umgekehrt kann man die Aussage so lesen, dass die Restriktion formal rechtsadjungiert zur Induktion ist; dual dazu ist Koinduktion rechtsadjungiert zur Restriktion und liefert Hom_G(W, Coind_H^G V) ≅ Hom_H(Res^G_H W, V). Das betont das symmetrische Paar von Adjunktionen statt einer einzelnen Identität.

Abgrenzung

Gilt in abelschen Kategorien, in denen Induktions‑ und Restriktionsfunktoren definiert sind und die erforderlichen Voraussetzungen an Exactness oder Finitheit erfüllt sind (z. B. Untergruppen endlichen Indexes, endlichdimensionale Moduln oder Algebrenverläufe endlichen Rangs). In topologischen oder unendlichdimensionalen Kontexten sind Zusatzannahmen über Stetigkeit, Integrierbarkeit oder Komplettierung nötig; ohne diese können die kanonischen Abbildungen Isomorphismen verfehlen.

Semantische Spannung

Steht im Spannungsfeld zu Mackey‑Theorie und Frobenius–Schur‑Aussagen: Frobenius‑Reziprozität beschreibt eine Adjungtionsebene, während Mackey‑Zerlegung angibt, wie Induktion gefolgt von Restriktion sich in Komponenten aufspaltet; Verwechslungen entstehen, wenn man von der Adjungtion vollständige Zerlegungsinformationen erwartet.

Synthese

Frobenius‑Reziprozität ist das adjungierende Prinzip, das beschreibt, wie sich Repräsentationen von einem Unterobjekt ausdehnen und wie entsprechende Abbildungen zusammenhängen: es reduziert G‑Hom‑Probleme auf H‑Hom‑Probleme, sofern Induktion und Restriktion gut definiert sind und die nötigen Finitheits‑ oder Stetigkeitsbedingungen vorliegen, und es besitzt eine duale Formulierung über Koinduktion.