Théorème de krull

Théorème de krull

Théorème 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, démontré en 1929, par le mathématicien allemand Wolfgang Krull (16 aout 1899 - 12 avril 1971)[1]. Relativement à la théorie de Zermelo-Fraenkel, le théorème de Krull équivaut à l'axiome du choix.

Énoncé du théorème de Krull

Les anneaux commutatifs sont les objets d'étude de l'algèbre commutative. La définition est supposée connue. Un idéal I d'un anneau commutatif A est un sous-groupe additif I de A stable par multiplication par les éléments de A. Un idéal de A est maximal quand il est maximal pour l'inclusion parmi les idéaux de A distincts de A.

Théorème de Krull — Soit A un anneau commutatif, alors tout idéal de A distinct de A est inclus dans un idéal maximal.

En particulier, tout anneau commutatif non réduit à 0 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[2], équivalent à l'axiome du choix. Max Zorn, alors qu'il ignorait l'article de Krull[2] 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[3].

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[2],[4]

Conséquences

Soit A un anneau commutatif non réduit à 0.

  • Le spectre de A n'est pas vide.
  • Le nilradical de A est l'intersection des idéaux premiers de A; plus généralement, le radical de tout idéal propre de A (i.e. distinct de A) est l'intersection des idéaux premiers qui le contiennent.
  • Le théorème de Krull permet de construire une clôture algébrique d'un corps commutatif (des constructions alternatives se basent sur le théorème de Zermelo, équivalent au lemme de Zorn).

Notes et références

  1. W. Krull, Die Idealtheorie in Ringen ohne Endlicheitsbedingungen, Mathematische Annalen 101 (1929), 729–744, accessible par le centre de numérisation de Göttingen.
  2. a , b  et c Henry E. Heatherly (2004), Some ring theoretic equivalents to the axiom of choice, LA/MS Math. Assoc. Amer. Conf. Proc. (electronic).
  3. Max Zorn, (1935), A remark on method in transfinite algebra, Bull. Amer. Math. Soc. 41, 1935, pp 667-670, accès en ligne sur le site de la revue [1].
  4. Wilfrid Hodges (1978), Krull Implies Zorn, Journal London Mathematical Society, Volume s2-19, 2, pp 285-287 accès restreint
  • Portail des mathématiques Portail des mathématiques
Ce document provient de « Th%C3%A9or%C3%A8me de Krull ».

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Théorème de krull de Wikipédia en français (auteurs)

Игры ⚽ Поможем решить контрольную работу

Regardez d'autres dictionnaires:

  • Théorème 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, démontré en 1929, par le mathématicien allemand Wolfgang Krull[1]. Relativement à la théorie de… …   Wikipédia en Français

  • Théorème des idéaux principaux de Krull —  Ne doit pas être confondu avec le théorème de l idéal principal en théorie des corps de classes, ni avec le théorème de Krull sur l existence d idéaux maximaux. En algèbre commutative, le théorème des idéaux principaux de Krull (Krulls… …   Wikipédia en Français

  • Théorème des zéros de Hilbert — Le théorème des zéros de Hilbert, parfois appelé Nullstellensatz, est un théorème d algèbre commutative qui est à la base du lien entre les idéaux et les variétés algébriques. Il a été démontré par le mathématicien allemand David Hilbert.… …   Wikipédia en Français

  • Théorème de l'idéal principal —  Ne doit pas être confondu avec Théorème des idéaux principaux de Krull. En mathématiques, le théorème de l idéal principal en théorie des corps de classes, assure que tout idéal de l anneau des entiers d un corps de nombres K, vu comme… …   Wikipédia en Français

  • Wolfgang Krull — Pour les articles homonymes, voir Krull. Wolfgang Krull, Göttingen 1920 Wolfgang Krull (26 août 1899 …   Wikipédia en Français

  • Dimension de Krull — En mathématiques, et plus particulièrement en géométrie algébrique, la taille et la complexité d une variété algébrique (ou d un schéma) est d abord mesurée sa dimension. Elle est basée sur la topologie de Zariski et coïncide avec l intuition… …   Wikipédia en Français

  • Liste de théorèmes — par ordre alphabétique. Pour l établissement de l ordre alphabétique, il a été convenu ce qui suit : Si le nom du théorème comprend des noms de mathématiciens ou de physiciens, on se base sur le premier nom propre cité. Si le nom du théorème …   Wikipédia en Français

  • Liste Des Théorèmes — par ordre alphabétique. Pour l établissement de l ordre alphabétique, il a été convenu ce qui suit : Si le nom du théorème comprend des noms de mathématiciens ou de physiciens, on se base sur le premier nom propre cité. Si le nom du théorème …   Wikipédia en Français

  • Liste des theoremes — Liste des théorèmes Liste des théorèmes par ordre alphabétique. Pour l établissement de l ordre alphabétique, il a été convenu ce qui suit : Si le nom du théorème comprend des noms de mathématiciens ou de physiciens, on se base sur le… …   Wikipédia en Français

  • Liste des théorèmes — par ordre alphabétique. Pour l établissement de l ordre alphabétique, il a été convenu ce qui suit : Si le nom du théorème comprend des noms de mathématiciens ou de physiciens, on se base sur le premier nom propre cité. Si le nom du théorème …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”