Le processus consistant à adjoindre des inverses à un sous-ensemble multiplicatif S choisi d'un objet algébrique (typiquement un anneau ou un monoïde) pour former un objet localisé S^{-1}A dans lequel chaque élément de S devient inversible ; c'est la construction universelle qui rend certaines éléments unités tout en préservant autant que possible la structure initiale.

Principe

Construire l'extension minimale de l'objet dans laquelle un ensemble spécifié d'éléments devient inversible, caractérisée par une propriété universelle : tout morphisme qui envoie S sur des unités se factorise de manière unique à travers la localisation.

Démonstration

Localiser l'anneau des entiers Z en le sous-ensemble multiplicatif S = {puissances d'un premier p} donne Z_{(p)} (ou Z_p selon les conventions) ; dans Z_{(p)} tous les entiers non divisibles par p deviennent unités et l'on étudie l'arithmétique localisée en p.

Mauvaise application

Tenter une localisation naïve dans des anneaux non commutatifs sans vérifier les conditions d'Ore peut échouer car inverses à gauche et à droite diffèrent ou les dénominateurs ne peuvent pas être introduits de façon cohérente ; présumer que la localisation produit toujours un corps est également faux sauf dans des cas particuliers.

Conséquence

La localisation permet de se concentrer sur le comportement local (p. ex. en un idéal premier) et de construire des fractions adaptées à l'ensemble choisi ; elle préserve l'exactitude dans de nombreux contextes module-théoriques et est fondamentale en géométrie algébrique et algèbre commutative pour l'analyse locale.

Inversion

Plutôt que d'inverser des éléments, on peut quotienter par des idéaux pour écraser des éléments en zéro ; l'inversion accroît l'ensemble des unités et souvent agrandit l'objet ambiant, tandis que le quotient supprime de l'information par identification.

Limite

Bien comportée pour les anneaux commutatifs et sous-ensembles multiplicatifs ; en situation non commutative des hypothèses supplémentaires (conditions d'Ore, ensembles de dénominateurs) sont nécessaires. La localisation ne remplace pas la complétion ni d'autres processus limites et peut échouer si S contient des diviseurs de zéro de manière problématique.

Tension sémantique

Tension entre localisation et complétion/quotient : la localisation rend les dénominateurs légitimes et étudie des propriétés locales, tandis que la complétion affine des limites topologiques et le quotient écrase la structure — le choix dépend de l'objectif d'inversion ou d'identification.

Synthèse

La localisation adjoint des inverses pour un ensemble multiplicatif spécifié afin de créer l'extension universelle minimale où ces éléments deviennent unités, permettant l'étude locale de phénomènes algébriques et la construction d'objets de type fraction adaptés au lieu choisi.