Schéma noethérien
From Wikipedia, the free encyclopedia
Cet article est une ébauche concernant les mathématiques.
En géométrie algébrique, les schémas noethériens sont aux schémas ce que les anneaux noethériens sont aux anneaux commutatifs. Ce sont les schémas qui possèdent un certain nombre de propriétés de finitude. De nombreux résultats fondamentaux en géométrie algébrique sont montrés dans le cadre des schémas noethériens. Il est généralement considéré comme raisonnable de travailler dans la catégorie des schémas noethériens.
Un schéma affine Spec A est noethérien si A est un anneau noethérien.
Un schéma noethérien[1] est un schéma qui est réunion finie d'ouverts affines noethériens.
Exemples
- La droite projective sur un corps est noethérienne.
- Une réunion disjointe infinie de Spec k n'est pas noethérienne. Elle est cependant localement noethérienne, c'est-à-dire que tout point possède un voisinage ouvert affine noethérien.
Constructions de schémas noethériens
À partir d'un anneau noethérien (par exemple un corps ou l'anneau ℤ des entiers), on peut construire les anneaux de polynômes qui sont noethériens. Les quotients et les localisés d'anneaux noethériens sont noethériens. L'anneau des séries formelles est noethérien. Un complété formel (en) d'un anneau noethérien est noethérien. Essentiellement toutes les constructions habituelles en algèbre commutative conservent la noethérianité. Cependant le produit tensoriel d'anneaux noethériens au-dessus d'un anneau noethérien n'est pas nécessairement noethérien.
![{\displaystyle A[T_{1},\ldots ,T_{n}]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b2b7ba69e5b2572de12ffb10aa3dc82fb6ed24d2)
![{\displaystyle A[[T_{1},\ldots ,T_{n}]]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/05d4d43e15f7bb646ea7d579f9c55660889260f7)
Si X est un schéma noethérien, tout sous-schéma ouvert ou fermé de X est noethérien. Tout schéma de type fini sur un schéma noethérien est noethérien. Ainsi toute variété algébrique est un schéma noethérien.
