Localisation

La localisation inverse formellement un ensemble choisi d'éléments d'un anneau, produisant un anneau de fractions qui isole le comportement algébrique au voisinage d'un idéal premier, ce qui constitue l'équivalent algébrique d'un zoom géométrique.

Definition

La localisation d'un anneau commutatif en un ensemble multiplicativement clos est l'anneau de fractions obtenu en adjoignant formellement les inverses des éléments de cet ensemble ; la localisation au complémentaire d'un idéal premier produit un anneau local avec un unique idéal maximal.

Scope

Ce sujet aborde la construction des anneaux et des modules de fractions, la localisation en un idéal premier et l'anneau local qui en résulte, l'exactitude de la localisation, la correspondance entre les idéaux premiers d'une localisation et ceux de l'anneau, ainsi que le principe local-global.

Core questions

• Comment inverse-t-on formellement les éléments d'un anneau ?
• Qu'est-ce qu'un anneau local, et comment la localisation en un idéal premier en produit-elle un ?
• Comment les idéaux premiers d'une localisation sont-ils liés à ceux de l'anneau original ?
• Comment le principe local-global réduit-il les énoncés globaux à des énoncés locaux ?

Key theories

Anneau et module de fractions

Inverser un ensemble multiplicativement clos produit un anneau de fractions avec une propriété universelle parmi les morphismes d'anneaux envoyant cet ensemble vers les unités, et la même construction localise les modules de manière compatible.

Exactitude de la localisation

La localisation est un foncteur exact, préservant les injections, les surjections et les suites exactes, ce qui en fait un outil particulièrement bien adapté à l'étude des modules.

Principe local-global

De nombreuses propriétés d'un module ou d'un anneau sont vraies globalement si et seulement si elles le sont après localisation en chaque idéal premier (ou maximal) ; ainsi, les calculs locaux déterminent la structure globale.

Clinical relevance

La localisation est la formalisation algébrique de l'étude d'un espace au voisinage d'un point : en géométrie algébrique, elle construit les anneaux locaux des points sur une variété et le faisceau structural, et en théorie des nombres, elle produit les localisations des anneaux d'entiers en des idéaux premiers qui sous-tendent les méthodes local-globales.

History

La localisation a généralisé le passage d'un anneau intègre à son corps de fractions et les constructions p-adiques de la théorie des nombres. Krull et Chevalley ont développé les anneaux locaux dans les années 1930 et 1940, et la localisation est devenue fondamentale avec la reformulation géométrique de l'algèbre commutative par Zariski et Grothendieck.

Key figures

• Wolfgang Krull
• Claude Chevalley
• Oscar Zariski
• Alexander Grothendieck

Seminal works

• atiyah1969
• eisenbud1995
• matsumura1989

Frequently asked questions

Que signifie localiser en un idéal premier ?

Cela signifie inverser chaque élément qui n'est pas dans l'idéal premier, laissant un anneau local dont l'unique idéal maximal correspond à cet idéal premier. Géométriquement, cela concentre l'attention sur le comportement de l'anneau au voisinage du point que l'idéal premier représente.

Pourquoi le principe local-global est-il utile ?

De nombreuses propriétés, telles qu'un module étant nul ou un morphisme étant un isomorphisme, peuvent être vérifiées idéal premier par idéal premier après localisation. Cela réduit les questions globales difficiles à des questions locales plus simples, une stratégie récurrente en algèbre et en théorie des nombres.