Procédure visant à déterminer la sous-algèbre ou le sous-ensemble d'une structure algébrique formé de tous les éléments qui commutent avec un sous-ensemble donné : on parle du centralisateur ou commutant de ce sous-ensemble.

Principe

Résoudre les relations de commutation : trouver tous les x dans l'algèbre ambiante tels que [x,s]=0 (ou x s = s x) pour tout s du sous-ensemble donné, puis fermer cet ensemble par les opérations algébriques pertinentes.

Démonstration

Calculer le centralisateur d'une matrice diagonalisable A dans M_n(k) : le centralisateur est l'ensemble des matrices bloc-diagonales constantes sur chaque espace propre, autrement dit l'algèbre engendrée par les idempotents spectraux et les polynômes en A lorsque le spectre est simple.

Mauvaise application

Supposer que le centralisateur coïncide avec le centre de l'algèbre ou qu'il est toujours engendré par le sous-ensemble initial ; considérer le centralisateur comme un idéal alors que cette propriété peut échouer selon la catégorie.

Conséquence

Un calcul correct du centralisateur identifie les symétries et anneaux d'endomorphismes, facilite la décomposition en composantes isotypiques et détermine les familles qui contrôlent la diagonalisation simultanée et les endomorphismes de modules.

Inversion

La perspective complémentaire est le normalisateur : les éléments qui conjuguent le sous-ensemble sur lui-même plutôt que de commuter avec chaque élément ; cela remplace la contrainte de commutation par une invariance par conjugaison.

Limite

S'applique aux algèbres associatives, algèbres de Lie, groupes et anneaux munis d'une multiplication ; les détails diffèrent selon la catégorie (par ex. le centralisateur n'est pas forcément un idéal bilatère dans un anneau non commutatif, ou peut nécessiter l'hypothèse d'être unitaire pour être une sous-algèbre).

Tension sémantique

Centralisateur vs centre vs normalisateur : le centralisateur commute avec chaque élément donné, le centre commute avec toute l'algèbre, le normalisateur préserve le sous-ensemble par conjugaison ; ces termes connexes sont souvent confondus.

Synthèse

Le calcul du centralisateur isole les éléments qui commutent avec un sous-ensemble donné en résolvant les relations de commutation et en fermant par les opérations ambiantes, produisant le commutant qui contrôle les symétries.