Théorème de Popescu
Aller à la navigation
Aller à la recherche
En algèbre commutative et en géométrie algébrique, le théorème de Popescu, formulé par Dorin Popescu en 1985 et 1986[1]Modèle:,[2] est le suivant[3] :
Exemple
Par exemple, si est un anneau de Grothendieck local (par exemple, un anneau excellent local) et est sa complétion, alors l'application est régulière par définition et le théorème s'applique.
Démonstrations et extensions
Une autre preuve du théorème de Popescu a été donnée par Tetsushi Ogoma[4], et une présentation du résultat a été donnée par Richard Swan[5].
Le théorème de Popescu a aussi été prouvé par une autre méthode, et quelque peu renforcé, par Mark Spivakovsky[6]Modèle:,[7].
Application
La démonstration usuelle du Modèle:Lien repose pour l'essentiel sur le théorème de Popescu.
Références
Liens externes
- ↑ Modèle:Article
- ↑ Modèle:Article
- ↑ Modèle:Article, théorème 1.3.
- ↑ Modèle:Article
- ↑ Modèle:Ouvrage
- ↑ Modèle:Article
- ↑ Modèle:Ouvrage.