## [Frobenius-Reciprozität](/de/node/62485) Definition Eine Adjungationsaussage in der Darstellungstheorie, die eine kanonische Isomorphie zwischen Hom-Räumen behauptet: Für einen Untergruppe H ≤ G und geeignete Darstellungen V von H und W von G gilt Hom_G(Ind_H^G V, W) ≅ Hom_H(V, Res_H^G W); äquivalent ist Induktion linksadjungiert zur Restriktion. ## Prinzip Prinzip Das ordnende Prinzip ist Adjungiertheit: Induktion und Restriktion bilden ein adjungiertes Paar, das Probleme über G-Moduln auf H-Moduln überträgt und Rechenregeln für Charakterinnereprodukte und Hom-Räume liefert. ## Demonstration Demonstration Konkret bei endlichen Gruppen: Ist V ein kH-Modul und W ein kG-Modul, so entspricht jede G-Abbildung Ind_H^G V → W eindeutig einer H-Abbildung V → Res_H^G W; auf Charakterebene ergibt dies Innereprodukt-Identitäten zur Erkennung irreduzibler Bestandteil. ## Fehlanwendung Fehlanwendung Die Frobenius-Reciprozität mit dem Frobenius-Endomorphismus in positiver Charakteristik verwechseln oder die Adjungation ohne Prüfung der kategorientheoretischen Voraussetzungen anwenden (z. B. Stetigkeit bei topologischen Gruppen, Admissibilität bei p-adischen Darstellungen), was die Isomorphie ungültig machen kann. ## Konsequenz Konsequenz Richtige Anwendung vereinfacht Induktions-/Restriktionsberechnungen, liefert Rekiprozitätsformeln für Multiplikitäten und bildet die Grundlage für weitere Werkzeuge wie Mackeys Zerlegung und Frobenius–Schur-Indikatoren in der Charaktertheorie. ## Umkehrung Umkehrung Fehlt eine adjungierte Beziehung zwischen Induktion und Restriktion, gehen die kanonischen Hom-Raum-Identifikationen verloren und der bequeme Transfer von Multiplikitätsberechnungen zwischen Untergruppen- und Gruppendarstellungen fällt weg. ## Abgrenzung Abgrenzung Gilt in Kontexten, in denen Induktion und Restriktion wohldefinierte adjungierte Funktoren sind (Darstellungen endlicher Gruppen über Körpern, glatte admissible Darstellungen p-adischer Gruppen mit passenden Konstruktionen); Vorsicht bei unendlichen Gruppen, nicht-glatten Kategorien oder wenn Induktion durch kompakte Induktion/Coinduktion ersetzt werden muss. ## Semantische Spannung Semantische Spannung Spannungen entstehen durch die verschiedenen Verwendungen des Namens 'Frobenius' (Endomorphismus vs. Reziprozität) und zwischen links- und rechtsadjungierten Versionen (kompakte Induktion vs. glatte Induktion), weshalb die kategorientheoretischen Voraussetzungen präzise zu spezifizieren sind. ## Synthese Synthese Frobenius-Reciprozität ist das Adjungationsprinzip, das Hom_G(Ind_H^G V,W) mit Hom_H(V,Res_H^G W) gleichsetzt, den systematischen Übergang zwischen Untergruppen- und Gruppendarstellungen ermöglicht und ein Grundpfeiler der Darstellungstheorie bildet.