Procedimiento para determinar la subálgebra o subconjunto de una estructura algebraica formado por todos los elementos que conmutan con un subconjunto especificado; suele llamarse centralizador o conmutante de ese subconjunto.

Principio

Resolver las relaciones de conmutación: encontrar todos los x en la álgebra ambiente tales que [x,s]=0 (o x s = s x) para cada s del subconjunto dado, y cerrar el conjunto resultante bajo las operaciones algebraicas correspondientes.

Demostración

Calcular el centralizador de una matriz diagonalizable A en M_n(k): el centralizador es el conjunto de matrices por bloques diagonales que son constantes en cada espacio propio, es decir, el álgebra generada por los idempotentes espectrales y los polinomios en A cuando el espectro es simple.

Aplicación incorrecta

Asumir que el centralizador coincide con el centro del álgebra o que siempre está generado por el subconjunto original; tratar el centralizador como un ideal cuando esa propiedad puede no cumplirse en la categoría considerada.

Consecuencia

Un cálculo correcto del centralizador identifica simetrías y anillos de endomorfismos, facilita descomposiciones en componentes isotípicas y determina las familias conmutantes que controlan la diagonalización simultánea y los endomorfismos de módulos.

Inversión

La perspectiva inversa es el normalizador: elementos que conjugan el subconjunto en sí mismo en lugar de conmutar con cada elemento; esto sustituye la condición estricta de conmutación por una invariancia por conjugación.

Límite

Se aplica a álgebras asociativas, álgebras de Lie, grupos y anillos con multiplicación; los detalles varían según la categoría (por ejemplo, el centralizador no tiene por qué ser un ideal bilateral en un anillo no conmutativo, o puede requerir hipótesis de unidad para ser subálgebra).

Tensión semántica

Centralizador vs centro vs normalizador: el centralizador fija cada elemento por conmutación, el centro fija toda el álgebra, el normalizador preserva el subconjunto por conjugación; estos términos relacionados se confunden con frecuencia.

Síntesis

El cálculo del centralizador aísla los elementos que conmutan con un subconjunto dado resolviendo las relaciones de conmutación y cerrando bajo las operaciones del ambiente, produciendo el conmutante que controla las simetrías.