Théorème des idéaux principaux de Krull

Théorème des idéaux principaux de Krull
Page d'aide sur l'homonymie 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 Hauptidealsatz) est un résultat fondamental en théorie de la dimension. Intuitivement, il dit grosso modo qu'une hypersurface est de codimension 1.

Sommaire

Hauteur d'un idéal

On fixe un anneau commutatif unitaire A. Si P est un idéal premier, on définit sa hauteur, notée ht(P), comme étant la borne supérieure des entiers naturels n tels qu'il existe une chaîne strictement croissante de n+1 idéaux premiers contenus dans P:

P_0 \subsetneq P_1 \subsetneq ... \subsetneq P_n=P.

Pour tout idéal propre I, sa hauteur ht(I) est la plus petite des hauteurs des idéaux premiers qui le contiennent. Par exemple, ht(I)=0 si et seulement si I est contenu dans un idéal premier minimal.

La notion de hauteur est étroitement liée à celle de la dimension (ou plus exactement celle de la codimension):

  • La dimension de A est la borne supérieure des hauteurs des idéaux maximaux de A. En particulier, si A est un anneau local, alors sa dimension est égale à la hauteur de son idéal maximal.
  • Si I est un idéal propre, alors dim(A/I)+ht(I) est inférieur ou égal à dim(A).

L'énoncé du théorème

Théorème —  Soit A un anneau noethérien, soit a un élément non inversible de A. Alors tout idéal minimal parmi les idéaux premiers contenant aA est de hauteur au plus égale à 1. (En particulier, ht(aA) est au plus égale à 1.)

Une des preuves utilise le théorème d'intersection de Krull. Une forme plus générale du théorème est la suivante:

Théorème —  Soit A un anneau noethérien, soit I un idéal propre engendré par r éléments. Alors tout idéal minimal parmi les idéaux premiers contenant I est de hauteur au plus égale à r. (En particulier, ht(I) est au plus égale à r.)

Quelques conséquences

  • Si A est un anneau local noethérien, alors dim(A) est finie, majorée par le nombre minimal de générateurs de son idéal maximal.
  • Sous la même hypothèse, si a est non diviseur de zéro et non inversible, alors dim(A/aA)=dim(A)-1.
  • Si A est une algèbre de type fini sur un corps k et si a est non nul et non inversible, alors dim(A/aA)=dim(A)-1.
  • Si A est une algèbre intègre de type fini sur un corps k et si P est un idéal premier, alors dim(A/P)+ht(P)=dim(A) (on dit que A est caténaire).

Références

  • (en) M. Atiyah & I. Macdonald, Introduction to Commutative Algebra, Chapter 11
  • N. Bourbaki, Algèbre commutative, Chapitre 8
  • (en) H. Matsumura, Commutative Algebra, Chapter 5

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Théorème des idéaux principaux 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 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

  • Projet:Mathématiques/Liste des articles de mathématiques — Cette page n est plus mise à jour depuis l arrêt de DumZiBoT. Pour demander sa remise en service, faire une requête sur WP:RBOT Cette page recense les articles relatifs aux mathématiques, qui sont liés aux portails de mathématiques, géométrie ou… …   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

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

  • Anneau noethérien — Emmy Noether formalise les propriétés d une famille particulière d anneaux maintenant appelés anneaux noethériens. En mathématique, un anneau noethérien est un cas particulier d anneau, c est à dire d un ensemble muni d une addition et d une… …   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

  • Theorie des corps de classes — Théorie des corps de classes En mathématiques, la théorie du corps de classes est une branche majeure de la théorie algébrique des nombres qui a pour objet la classification des extensions abéliennes, c est à dire galoisiennes et de groupe de… …   Wikipédia en Français

  • Théorie des corps de classe — Théorie des corps de classes En mathématiques, la théorie du corps de classes est une branche majeure de la théorie algébrique des nombres qui a pour objet la classification des extensions abéliennes, c est à dire galoisiennes et de groupe de… …   Wikipédia en Français

  • Théorie des corps de classes — En mathématiques, la théorie des corps de classes est une branche majeure de la théorie algébrique des nombres qui a pour objet la classification des extensions abéliennes, c est à dire galoisiennes et de groupe de Galois commutatif, d un corps… …   Wikipédia en Français

Share the article and excerpts

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