Définition
Une procédure consistant à étendre une algèbre ou un anneau en adjoignant des éléments ou en étendant les scalaires de manière à rendre certains éléments centraux, ou à agrandir le centre de l'algèbre de façon contrôlée ; utilisée pour transformer une algèbre non centrale en une algèbre centrale sur une base plus grande ou pour imposer des propriétés de centralité souhaitées.
Principe
Principe
Effectuer une extension contrôlée (localisation, extension des scalaires, adjonction d'éléments centraux, inversion d'éléments centraux réguliers) de sorte que l'algèbre résultante possède un centre plus large ou soit centrale sur la nouvelle base ; s'appuyer sur des constructions universelles (tensorisation, localisation, clôture centrale) tout en préservant les identités et la structure algébrique.
Démonstration
Démonstration
Étant donnée une algèbre A de centre Z(A), former A' = A ⊗_{Z(A)} Z' où Z' est une extension choisie de Z(A) (par exemple une localisation qui inverse un ensemble multiplicatif d'éléments centraux réguliers). Dans A' les éléments centraux choisis deviennent inversibles et le centre s'agrandit généralement, ce qui peut simplifier la classification des modules.
Mauvaise application
Mauvaise application
Adjoindre des éléments arbitraires sans contrôler leurs relations de commutation en s'attendant à ce que le centre s'agrandisse sans conséquence ; ou supposer que la clôture centrale préserve toutes les propriétés de finitude (par ex. semi-primité, primalité) sans vérification. Il est aussi trompeur de considérer la clôture centrale comme un procédé canonique indépendant du choix d'extension des scalaires.
Conséquence
Conséquence
Une clôture centrale bien menée peut transformer une algèbre compliquée en une algèbre de comportement central plus simple : les modules deviennent des modules sur une base commutative plus grande, des structures centrales simples ou d'Azumaya peuvent apparaître, et la descente vers des invariants de représentation devient plus accessible.
Inversion
Inversion
La perspective inverse est la restriction centrale ou descente centrale : passer d'une algèbre sur un centre plus grand à une sous-algèbre de centre plus petit, en perdant des éléments centraux et en retrouvant une structure interne plus fine mais en rendant impossibles certaines simplifications module-théoriques.
Limite
Limite
Formulée principalement pour les algèbres associatives et les anneaux et pour les extensions de scalaires ; les structures non associatives exigent un traitement séparé. Le procédé dépend de choix (quels éléments centraux ou quelle extension adjoindre) et peut ne pas préserver des propriétés comme la génération finie ou l'Artinianité. Ce n'est pas un remède universel au comportement non central.
Tension sémantique
Tension sémantique
Il existe une tension entre l'usage de la clôture centrale pour simplifier en agrandissant le centre et l'exigence de préserver des propriétés algébriques intrinsèques : l'agrandissement du centre peut faciliter la classification mais masquer des invariants originaux. De plus, la clôture centrale se distingue de la prise du centralisateur d'une sous-algèbre, opération duale mais différente.
Synthèse
Synthèse
La clôture centrale est une extension choisie des scalaires ou une adjonction d'éléments centraux qui agrandit le centre d'une algèbre afin de centraliser des sous-structures et de simplifier la théorie des modules et des représentations ; elle doit être mise en œuvre en tenant compte de l'extension choisie, des identités préservées et des limites de conservation des propriétés.