En mathématiques, en théorie des anneaux, le théorème de Cohen-Seidenberg est un outil important permettant de manipuler des idéaux ou des chaînes d'idéaux. dans les extensions d'anneaux. Il s'agit en fait de deux résultats, appelés théorèmes de montée et de descente (souvent en anglais : going-up et going-down), dus aux mathématiciens américains Irvin Cohen et qui les ont initialement établis en 1946 dans le cas commutatif., bien que leur application soit plus générale.. En géométrie algébrique, ces résultats prennent une interprétation nouvelle et facilitent notamment l'étude de la topologie des schémas. C'est enfin un élément essentiel pour développer la théorie de la dimension algébrique.
Contexte On considère un anneau commutatif et une extension d'anneau . Le théorème porte sur les idéaux premiers de et . On considère quatre situations. : On dit que est « au-dessus » si pour tout idéal premier de , il existe un idéal premier de tel que . On peut représenter cette situation de la manière suivante : On dit que est « incomparable » si pour tous idéaux premiers de , satisfaisant pour un certain idéal premier de , on a et . Schématiquement, On dit que possède la « propriété de montée » si, pour toutes chaînes croissantes d'idéaux de et de telles que , on peut compléter la chaîne d'idéaux de pour qu'elle soit aussi longue que celle de , tout en maintenant que dans la chaîne étendue. Schématiquement, On dit que possède la « propriété de descente » si, pour toutes chaînes décroissantes d'idéaux, on peut également compléter une chaîne d'idéaux de pour qu'elle ait la même longueur que celle de et qu'elle satisfasse . Schématiquement, La propriété de montée implique notamment la propriété d'être au-dessus.. Ces propriétés peuvent également être définies dans le cas non commutatif, mais il faut alors distinguer les idéaux à gauche des idéaux à droite.
Théorèmes de montée et de descente Le théorème de Cohen-Seidenberg montre alors les faits suivants : (Montée) Si est une extension entière de , alors satisfait les propriétés de montée (donc aussi d'être au-dessus) et d'incomparabilité. (Descente) Si est une extension plate de , alors possède toutes les propriétés mentionnées : descente, montée (et au-dessus), incomparabilité.. Dans le cas d'une extension entière, on a aussi la propriété de descente (en plus de la montée et de l'incomparabilité) si de plus ne possède pas de diviseur de zéro et est intégralement clos.
En termes schématiques, dire que est une extension entière de revient à dire que est fermée, de sorte que le théorème de montée revient à dire que l'application est surjective. De même, si a la propriété de descente et est de type fini, est ouverte. Ainsi ce théorème possède également une interprétation géométriqueOlivier Debarre, Cours d'algèbre 2, École normale supérieure, 2012-2013 (lire en ligne), p. 101-110..
Conséquences sur la dimension Du théorème de Cohen-Seidenberg on tire beaucoup de conséquences utiles sur les extensions entières, en particulier sur leur dimension. Si est une extension entière de , on a notamment les corollaires suivants Florian Enescu, Lectures on Commutative Algebra, chap. 12 (lire en ligne). : (c'est pour montrer ce résultat que Cohen et Seidenberg ont prouvé le théorème) ; si un élément de possède un inverse dans , alors cet inverse appartient à (donc si est un corps, alors est un corps). Une autre conséquence classique de ce théorème est que la dimension de est .
Enfin, le théorème de descente permet, lorsqu'il s'applique, de montrer que pour tout idéal de , la restriction préserve la hauteur : .
Notes et références
Catégorie:Théorie des anneaux Cohen-Seidenberg Catégorie:Dimension