Décomposition primaire
La décomposition primaire exprime un idéal dans un anneau noethérien comme 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.
Definition
Une décomposition primaire d'un idéal est son expression comme une intersection finie d'idéaux primaires, où un idéal est primaire si un produit y appartenant implique qu'un facteur y appartient ou qu'une puissance de l'autre y appartient ; les radicaux de ces composantes sont les idéaux premiers associés.
Scope
Ce sujet couvre les idéaux primaires et leurs radicaux, le théorème de Lasker-Noether sur l'existence des décompositions primaires dans les anneaux noethériens, les décompositions irrédundantes, l'unicité des idéaux premiers associés et des composantes primaires isolées, ainsi que l'interprétation géométrique à travers les composantes irréductibles et les idéaux premiers immergés.
Core questions
- Qu'est-ce qu'un idéal primaire, et comment généralise-t-il une puissance de nombre premier ?
- Quand un idéal admet-il une décomposition primaire ?
- Quelles parties d'une décomposition primaire sont déterminées de manière unique ?
- Comment les idéaux premiers associés et immergés apparaissent-ils géométriquement ?
Key theories
- Théorème de Lasker-Noether
- Dans un anneau noethérien, tout idéal est une intersection finie d'idéaux primaires, de sorte que la décomposition primaire existe toujours, généralisant la factorisation unique des éléments aux idéaux.
- Unicité des idéaux premiers associés
- Bien que les composantes primaires elles-mêmes ne soient pas toujours uniques, l'ensemble des idéaux premiers associés (les radicaux des composantes) est déterminé de manière unique par l'idéal, tout comme les composantes correspondant aux idéaux premiers associés minimaux.
- Interprétation géométrique
- Les idéaux premiers associés minimaux correspondent aux composantes irréductibles de l'ensemble algébrique défini par l'idéal, tandis que les idéaux premiers immergés enregistrent une structure supplémentaire de dimension inférieure, comme les multiplicités le long des sous-variétés.
Clinical relevance
La décomposition primaire est l'analogue en théorie des idéaux de la factorisation et est fondamentale en géométrie algébrique : elle décompose un ensemble algébrique en composantes irréductibles et détecte les structures immergées et multiples, et elle organise les idéaux premiers associés d'un module, utilisés dans toute l'algèbre commutative.
History
Emanuel Lasker a démontré la décomposition primaire pour les anneaux de polynômes en 1905, et Emmy Noether l'a établie de manière abstraite pour tous les anneaux noethériens en 1921, dans l'article qui a introduit la condition de chaîne ascendante ; le résultat est nommé théorème de Lasker-Noether en leur honneur.
Key figures
- Emanuel Lasker
- Emmy Noether
- Wolfgang Krull
Related topics
Seminal works
- atiyah1969
- eisenbud1995
- matsumura1989
Frequently asked questions
- En quoi la décomposition primaire est-elle similaire à la factorisation des entiers ?
- Écrire un entier comme un produit de puissances de nombres premiers correspond, pour l'idéal qu'il engendre, à une intersection d'idéaux primaires dont les radicaux sont les nombres premiers. La décomposition primaire étend cela des entiers aux idéaux dans tout anneau noethérien, où la factorisation littérale peut échouer.
- Une décomposition primaire est-elle unique ?
- Pas entièrement. L'ensemble des idéaux premiers associés et les composantes appartenant aux idéaux premiers minimaux sont uniques, mais les composantes pour les idéaux premiers immergés peuvent être choisies de différentes manières. Ainsi, les données premières sont canoniques tandis que les composantes spécifiques ne le sont pas.