Théorème de Krull
![Page d’aide sur l’homonymie](http://upload.wikimedia.org/wikipedia/commons/thumb/6/6f/Confusion_colour.svg/20px-Confusion_colour.svg.png)
Ne doit pas être confondu avec d'autres théorèmes de Krull.
En algèbre commutative, le théorème de Krull est un résultat fondamental établissant l'existence d'idéaux maximaux pour les anneaux commutatifs. Il a été démontré en 1929 par le mathématicien allemand Wolfgang Krull[1]. Relativement à la théorie de Zermelo-Fraenkel, le théorème de Krull équivaut à l'axiome du choix.
Énoncé
Pour tout idéal propre[2] I d'un anneau commutatif unifère A, il existe au moins un idéal maximal de A contenant I.
(Lorsque l'anneau quotient A/I est fini, cette existence est immédiate.)
Un énoncé équivalent est que tout anneau commutatif unifère non nul possède au moins un idéal maximal (a fortiori au moins un idéal premier).
Krull avait démontré ce résultat en utilisant le théorème du bon ordre[3], équivalent à l'axiome du choix. Max Zorn, alors qu'il ignorait l'article de Krull[3] en donne une autre démonstration publiée en 1935 utilisant ce que l'on appelle maintenant le lemme de Zorn, autre équivalent de l'axiome du choix, dans l'article où il introduit ce dernier et en donne de nombreuses applications à l'algèbre[4].
Répondant à une question posée par Dana Scott, Wilfrid Hodges démontre en 1978 que le théorème de Krull équivaut à l'axiome du choix, dans la théorie de Zermelo-Fraenkel[3],[5]
On considère l'ensemble des idéaux propres de A contenant I, muni de la relation d'inclusion ; il contient I donc est non vide. La réunion de toute chaîne non vide d'idéaux propres contenant I est clairement un idéal contenant I, et cet idéal est encore propre puisqu'il ne contient pas 1. L'ensemble considéré est par conséquent inductif donc, d'après le lemme de Zorn, il possède un élément maximal, qui est alors un idéal maximal contenant I.
Conséquences
- Soit A un anneau commutatif non réduit à 0. Le spectre de A n'est pas vide.
- Le théorème de Krull permet de montrer l'existence de la clôture algébrique d'un corps commutatif[7]. Ce résultat est cependant antérieur au théorème de Krull, il est dû à Ernst Steinitz en 1910 qui le démontre à l'aide du théorème de Zermelo[8]. Il peut se démontrer directement à partir du lemme de Zorn[9].
- Un élément de d'un anneau commutatif est inversible si et seulement s'il n'appartient à aucun idéal maximal.En effet, un élément a de cet anneau A est non inversible si et seulement si l'idéal aA est distinct de A c'est-à-dire, d'après le théorème de Krull, si et seulement s'il est inclus dans un idéal maximal.
Voir aussi
- Théorème d'intersection de Krull (l'intersection des puissances d'un idéal dans un anneau noethérien).
- Théorème des idéaux principaux de Krull (la hauteur d'un idéal monogène dans un anneau noethérien).
Notes et références
- ↑ (de) W. Krull, « Die Idealtheorie in Ringen ohne Endlicheitsbedingungen », dans Mathematische Annalen, vol. 101, 1929, p. 729–744
- ↑ C'est-à-dire distinct de l'anneau.
- ↑ a b et c (en) Henry E. Heatherly, « Some ring theoretic equivalents to the axiom of choice », dans LA/MS Math. Assoc. Amer. Conf. Proc., 2004
- ↑ (en) Max Zorn, « A remark on method in transfinite algebra », Bull. Amer. Math. Soc., vol. 41, , p. 667-670
- ↑ (en) Wilfrid Hodges, « Krull Implies Zorn », dans J. London Math. Soc., vol. s2-19, 2, 1978, p. 285-287, accès restreint
- ↑ (en) Serge Lang, Algebra [détail des éditions], 1965, p. 62.
- ↑ Voir par exemple Zorn 1935.
- ↑ Selon Zorn 1935.
- ↑ Par exemple (en) Nathan Jacobson, Lectures In Abstract Algebra, vol. 3, Springer, 1964, 1975.
Portail des mathématiques