Un résultat structural qui identifie une algèbre au centralisateur de son centralisateur lorsqu'une algèbre A agit fidèlement sur un module M sous des hypothèses de finitude ou de semi-simplicité appropriées : sous ces conditions A ≅ End_{End_A(M)}(M), c'est‑à‑dire que le double centralisateur recouvre l'algèbre agissante initiale.

Principe

Une algèbre agissant de façon fidèle et « suffisamment non dégénérée » sur un module peut être reconstruite à partir de son action parce que les endomorphismes qui commutent avec l'action codent exactement la symétrie complémentaire ; le principe du double centralisateur affirme qu'aucune symétrie cachée ne subsiste lorsque la finitude ou la semi-simplicité élimine les centralisateurs pathologiques.

Démonstration

Soit V un espace vectoriel de dimension finie sur un corps k et A l'algèbre pleine des matrices End_k(V). Agissant sur V, le centralisateur End_A(V) n'est que k agissant par scalaires, et le centralisateur de ce centralisateur recouvre End_k(V) lui‑même ; plus généralement, si A est une sous-algèbre de End_k(V) agissant semisimply avec V module A semisimple de longueur finie, alors End_{End_A(V)}(V) = A.

Mauvaise application

Prétendre que A égale son double centralisateur sans vérifier les hypothèses : pour des modules de dimension infinie ou des actions non semisimples on n'a souvent que A contenu strictement dans End_{End_A(M)}(M). Autre erreur : négliger la fidélité de l'action—si A a un noyau non nul sur M, la reconstruction échoue.

Conséquence

Permet de récupérer une algèbre à partir de son action sur un module et justifie des dualités entre représentations et algèbres d'endomorphismes commutants ; cela sous-tend des équivalences de type Morita et des descriptions explicites des catégories de modules via les centralisateurs mutuels, donnant des outils concrets de classification des représentations.

Inversion

Le renversement est la remarque que, dans des contextes analytiques/opérateurs, le bicommutant algébrique naïf doit être fermé dans une topologie d'opérateurs pour recouvrer l'algèbre initiale (le théorème du bicommutant en théorie des algèbres de von Neumann), si bien que l'égalité algébrique peut échouer sans prise en compte de la fermeture topologique ; ceci inverse la reconstruction purement algébrique par ajout d'une complétion.

Limite

Valable en contextes algébriques sous des hypothèses comme la finitude de dimension, la semi-simplicité ou la longueur finie des modules, ou en travaillant sur des anneaux artiniens ; elle peut ne pas tenir pour des modules quelconques, des représentations de dimension infinie ou des catégories dépourvues de conditions de finitude et de fidélité. Dans les cadres opérateurs, des fermetures topologiques supplémentaires sont nécessaires.

Tension sémantique

Voisine mais distincte du théorème du bicommutant de von Neumann : les deux affirment une reconstruction par double centralisation mais diffèrent en ce que le bicommutant analytique requiert une fermeture topologique tandis que le double centralisateur algébrique repose sur la finitude/la semi‑simplicité ; la confusion survient si l'on confond les hypothèses algébriques et analytiques.

Synthèse

Le Théorème du Double Centralisateur affirme que, sous des hypothèses appropriées de finitude et de non-dégénérescence, l'algèbre d'opérateurs agissant sur un module se récupère comme centralisateur de son centralisateur ; ceci établit une dualité précise entre une action et ses endomorphismes commutants, les analogues opérateur exigeant des fermetures et les contextes algébriques requérant semi‑simplicité ou finitude.