Algèbre commutative
L'algèbre commutative étudie les anneaux commutatifs, leurs idéaux et les modules sur ces anneaux, servant de langage algébrique local à la géométrie algébrique et à la théorie algébrique des nombres.
Definition
L'algèbre commutative est l'étude des anneaux commutatifs unitaires, de leurs idéaux et des modules sur ces anneaux, avec une attention particulière aux conditions de finitude, à la localisation et à la géométrie du spectre premier.
Scope
Ce domaine couvre les anneaux noethériens et les conditions de chaîne, la localisation aux idéaux premiers et aux ensembles multiplicatifs, le spectre premier, les extensions entières et la clôture intégrale, la théorie de la dimension, la complétion et la décomposition primaire des idéaux. Il fournit les fondations sur lesquelles reposent la théorie des schémas et l'étude des singularités.
Sub-topics
Core questions
- Quelles conditions de finitude (noethérien, génération finie) rendent la théorie des idéaux traitable ?
- Comment la localisation isole-t-elle le comportement d'un anneau au voisinage d'un idéal premier ?
- Comment les extensions entières relient-elles les spectres de deux anneaux ?
- Comment un idéal peut-il être décomposé en composantes primaires, généralisant la factorisation ?
Key theories
- Décomposition primaire de Lasker-Noether
- Dans un anneau noethérien, tout idéal est une intersection finie d'idéaux primaires, généralisant la factorisation des entiers en puissances de nombres premiers et révélant les idéaux premiers associés de l'idéal.
- Localisation et spectre premier
- La localisation d'un anneau en un idéal premier concentre l'attention sur son comportement local ; l'ensemble des idéaux premiers, muni de la topologie de Zariski (le spectre), transforme un anneau commutatif en un objet géométrique.
- Going-up et normalisation de Noether
- Les extensions entières satisfont aux théorèmes de 'lying-over' et de 'going-up' qui relient leurs idéaux premiers, et toute algèbre de type fini sur un corps est un module fini sur un sous-anneau de polynômes (normalisation de Noether), constituant le cœur algébrique de la théorie de la dimension.
Clinical relevance
L'algèbre commutative constitue le fondement algébrique de la géométrie algébrique : les schémas affines sont des spectres d'anneaux commutatifs, les anneaux locaux modélisent les singularités, et la théorie de la dimension mesure la dimension géométrique. Elle est également centrale en théorie algébrique des nombres, où les anneaux d'entiers, leurs localisations et leurs complétions sont les objets fondamentaux.
History
L'algèbre commutative a émergé de l'arithmétique de Dedekind et Kronecker et de la théorie des invariants de Hilbert. Elle a été systématisée par Emmy Noether et Wolfgang Krull dans les années 1920 et 1930 à travers les conditions de chaîne et la théorie de la dimension, et a été fusionnée avec la géométrie par Zariski, Chevalley, et finalement par la théorie des schémas de Grothendieck.
Key figures
- Emmy Noether
- Wolfgang Krull
- David Hilbert
- Oscar Zariski
- Emanuel Lasker
Related topics
Seminal works
- atiyah1969
- eisenbud1995
- matsumura1989
Frequently asked questions
- Comment l'algèbre commutative est-elle liée à la géométrie algébrique ?
- Il existe un dictionnaire, formalisé par Grothendieck, dans lequel les anneaux commutatifs correspondent à des espaces géométriques (schémas affines), les idéaux premiers à des points, et la localisation à un zoom sur le voisinage d'un point. L'algèbre commutative fournit le côté local et calculatoire de cette géométrie.
- Pourquoi la condition noethérienne est-elle si importante ?
- La condition de chaîne ascendante sur les idéaux, équivalente au fait que tout idéal est de type fini, garantit que les constructions clés se terminent et que la décomposition primaire existe. La plupart des anneaux rencontrés en géométrie et en théorie des nombres sont noethériens, ce qui rend cette hypothèse à la fois naturelle et puissante.