Un resultado estructural que identifica una álgebra con el centralizador de su centralizador cuando una álgebra A actúa fielmente sobre un módulo M bajo hipótesis adecuadas de finitud o semisimplicidad: bajo estas condiciones A ≅ End_{End_A(M)}(M), es decir, la doble centralización recupera la álgebra actuante original.

Principio

Una álgebra que actúa de forma fiel y 'suficientemente no degenerada' sobre un módulo puede reconstruirse a partir de su acción porque los endomorfismos que conmutan con la acción codifican exactamente la simetría complementaria; el principio del doble centralizador afirma que no quedan simetrías ocultas cuando la finitud o la semisimplicidad eliminan centralizadores patológicos.

Demostración

Sea V un espacio vectorial de dimensión finita sobre un cuerpo k y A la álgebra completa de matrices End_k(V). Al actuar sobre V, el centralizador End_A(V) es solo k actuando por escalares, y el centralizador de ese centralizador recupera End_k(V) mismo; más generalmente, si A es una subálgebra de End_k(V) que actúa semisimple con V módulo A semisimple de longitud finita, entonces End_{End_A(V)}(V) = A.

Aplicación incorrecta

Asumir la igualdad de A con su doble centralizador sin comprobar las hipótesis: para módulos de dimensión infinita o acciones no semisimple, puede existir solo una inclusión estricta A ⊂ End_{End_A(M)}(M). Otro error es ignorar la fidelidad de la acción: si A tiene un núcleo no nulo en M la reconstrucción falla.

Consecuencia

Permite recuperar una álgebra a partir de su acción sobre un módulo y justifica dualidades entre representaciones y álgebras de endomorfismos conmutantes; sustenta equivalencias tipo Morita y descripciones explícitas de categorías de módulos mediante centralizadores mutuos, proporcionando herramientas concretas de clasificación de representaciones.

Inversión

El reverso es la observación de que, en contextos analíticos/operadores, el bicommutante algebraico debe cerrarse en una topología de operadores para recuperar la álgebra original (el teorema del bicommutante en teoría de álgebras de von Neumann), por lo que la igualdad algebraica puede fallar sin considerar la clausura topológica; esto invierte la reconstrucción puramente algebraica añadiendo completitud.

Límite

Se cumple en contextos algebraicos bajo hipótesis como finitud de dimensión, semisimplicidad o longitud finita de los módulos, o al trabajar sobre anillos artinianos; puede no cumplirse para módulos arbitrarios, representaciones de dimensión infinita o categorías sin condiciones de finitud y fidelidad. En marcos operatorios se requieren clausuras topológicas adicionales.

Tensión semántica

Está en tensión con el teorema del bicommutante de von Neumann: ambos afirman recuperación por doble centralización pero difieren en que el bicommutante analítico exige clausura topológica mientras que el doble centralizador algebraico se basa en finitud/semisimplicidad; la confusión surge al mezclar hipótesis algebraicas y analíticas.

Síntesis

El Teorema del Doble Centralizador afirma que, bajo hipótesis apropiadas de finitud y no degeneración, la álgebra de operadores que actúa sobre un módulo se recupera como el centralizador de su centralizador; esto establece una dualidad precisa entre una acción y sus endomorfismos conmutantes, con análogos operatorios que requieren clausura y contextos algebraicos que requieren semisimplicidad o finitud.