Théorème de Krull
From Wikipedia, the free encyclopedia
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.
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]
