## [Satz Vom Doppelten Zentralisator](/de/node/63938) Definition Ein strukturelles Ergebnis, das eine Algebra mit dem Zentralisator ihres Zentralisators identifiziert, wenn eine Algebra A unter geeigneten Finitheits‑ oder Semisimplicitätsannahmen treu auf einem Modul M wirkt: unter diesen Bedingungen gilt A ≅ End_{End_A(M)}(M), d. h. der doppelte Zentralisator gibt die ursprüngliche wirkende Algebra zurück. ## Prinzip Prinzip Eine Algebra, die treu und „hinreichend nicht‑degeneriert“ auf einem Modul wirkt, lässt sich aus ihrer Wirkung rekonstruieren, weil die mit der Wirkung kommutierenden Endomorphismen genau die komplementäre Symmetrie kodieren; das Prinzip des doppelten Zentralisators besagt, dass keine verborgenen zusätzlichen Symmetrien verbleiben, sobald Finitheits‑ oder Semisimplicitätsbedingungen pathologische Zentralisatoren ausschließen. ## Demonstration Demonstration Sei V ein endlichdimensionaler Vektorraum über einem Körper k und A die volle Matrixalgebra End_k(V). Wirkt A auf V, so ist der Zentralisator End_A(V) nur k, das via Skalare wirkt, und der Zentralisator dieses Zentralisators rekonstruiert End_k(V) selbst; allgemein gilt für eine Unteralgebra A ⊂ End_k(V), die semisimpel wirkt und V als A‑Modul endliche Länge hat, End_{End_A(V)}(V) = A. ## Fehlanwendung Fehlanwendung Die Gleichheit von A mit seinem doppelten Zentralisator ohne Prüfung der Voraussetzungen annehmen: bei unendlichdimensionalen Moduln oder nichtsemisimplen Aktionen hat man oft nur eine strikte Inklusion A ⊂ End_{End_A(M)}(M). Ein weiterer Fehler ist das Ignorieren der Treue der Wirkung — besitzt A ein nichttriviales Kernideal auf M, so scheitert die Rekonstruktion. ## Konsequenz Konsequenz Ermöglicht die Rekonstruktion einer Algebra aus ihrer Modulwirkung und begründet Dualitäten zwischen Repräsentationen und kommutierenden Endomorphismenalgebren; er stützt Morita‑artige Äquivalenzen und liefert explizite Beschreibungen von Modulkategorien durch gegenseitige Zentralisatoren, was konkrete Klassifikationsmittel für Repräsentationen bereitstellt. ## Umkehrung Umkehrung Die Umkehrung zeigt sich in analytischen/Operator‑Kontexten: dort muss der algebraische doppelte Kommutant in der geeigneten Operator‑Topologie abgeschlossen werden, um die ursprüngliche Algebra wiederzugewinnen (Bicommutant‑Theorem); algebraische Gleichheit kann also ohne topologische Schließung versagen. ## Abgrenzung Abgrenzung Gilt in algebraischen Kontexten unter Voraussetzungen wie Endlichkeit der Dimension, Semisimplicität oder endlicher Länge der Moduln oder bei Arbeit über artinischen Ringen; nicht allgemein gültig für beliebige Moduln, unendlichdimensionale Darstellungen oder Kategorien ohne Finitheits‑ und Treuebedingungen. In operatorischen Settings sind zusätzliche topologische Schließungen nötig. ## Semantische Spannung Semantische Spannung Steht im Spannungsfeld zum bicommutant‑Theorem der von‑Neumann‑Algebren: beide behaupten Rekonstruktion durch Doppelzentralisierung, unterscheiden sich jedoch darin, dass das analytische Resultat topologische Schließung erfordert, während das algebraische auf Finitheits‑/Semisimplicitätsannahmen baut; Verwechslungen entstehen, wenn man algebraische und analytische Voraussetzungen vermischt. ## Synthese Synthese Der Satz vom Doppelten Zentralisator besagt, dass man unter passenden Finitheits‑ und Nichtdegenerationsbedingungen die wirkende Algebra als Zentralisator ihres Zentralisators zurückgewinnt; das liefert eine präzise Dualität zwischen Aktion und kommutierender Endomorphismenalgebra, wobei operator‑theoretische Varianten zusätzliche Abschlüsse verlangen und algebraische Varianten Semisimplicität oder Finitheit voraussetzen.