Satz Vom Doppelten Zentralisator

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.