Idéal maximal

Un article de Wikipédia, l'encyclopédie libre.
Richard Dedekind (1831-1916), formalisateur du concept d'idéal

Un idéal maximal est un concept associé à la théorie des anneaux en mathématiques et plus précisément en algèbre.

Un idéal d'un anneau commutatif est dit maximal lorsqu’il est contenu dans exactement deux idéaux, lui-même et l'anneau tout entier. L'existence d'idéaux maximaux est assurée par le théorème de Krull.

Cette définition permet de généraliser la notion d’élément irréductible à des anneaux différents de celui des entiers relatifs. Certains de ces anneaux ont un rôle important en théorie algébrique des nombres et en géométrie algébrique.

Motivations[modifier | modifier le code]

L'arithmétique demande parfois de travailler sur des anneaux d'entiers algébriques. Les théorèmes habituellement utilisés pour les entiers usuels, comme celui de la décomposition en facteurs premiers, ne sont alors plus entièrement vérifiés : la décomposition n'est plus nécessairement unique.

Pour pouvoir néanmoins construire la théorie, un autre concept reste opérationnel : celui des idéaux. Dans un anneau principal, les définitions valables pour les éléments, comme irréductible, premier, premiers entre eux dans leur ensemble, pgcd ou encore ppcm, ont des définitions équivalentes pour les idéaux ; en particulier, la notion d'idéal maximal correspond à celle d'éléments irréductibles, largement utilisée dans la théorie des polynômes.

Définitions[modifier | modifier le code]

Cette définition équivaut à :
Un élément irréductible est un élément dont toute décomposition en deux facteurs contient un et un seul élément inversible.

Exemples[modifier | modifier le code]

Propriétés[modifier | modifier le code]

Anneau quotient[modifier | modifier le code]

Un idéal I d'un anneau commutatif A est maximal si, et seulement si, l'anneau quotient A/I est un corps[2].

En effet[1], l'anneau commutatif A/I est un corps si et seulement s'il est non nul et sans idéal non trivial, c'est-à-dire si et seulement si AI et les deux seuls idéaux de A contenant I sont A et I.

Exemple :

Dans l'anneau C(X) des fonctions à valeurs réelles continues sur un espace topologique X, pour tout point x de X, l'idéal Ix des fonctions nulles en x est maximal car le quotient C(X)/Ix est isomorphe au corps des réels.
Lorsque X est compact, ces idéaux maximaux sont les seuls.
Plus généralement, lorsque X est complètement régulier, les idéaux maximaux de C(X) sont, pour chaque point x du compactifié de Stone-Čech βX : l'idéal Ix des fonctions dont l'ensemble des zéros admet x pour point adhérent dans βX ; si xX, C(X)/Ix peut être hyperréel[3],[4].

Idéal premier[modifier | modifier le code]

D'après la caractérisation précédente (et puisque tout corps est intègre), tout idéal maximal d'un anneau commutatif est premier[1].

Les anneaux commutatifs dans lequel la réciproque est vraie sont ceux de dimension 0.

Les seuls anneaux commutatifs intègres de dimension 0 sont les corps commutatifs.

Dans un anneau intègre de dimension ≤ 1 — par exemple un anneau de Dedekind —, tout idéal premier non nul est maximal.

Inversement, dans tout anneau intègre de dimension > 1, il existe des idéaux premiers non nuls et non maximaux, comme l'idéal (X) dans ℤ[X][5].

Anneau principal[modifier | modifier le code]

Dans un anneau principal (cas particulier d'anneau de Dedekind), on a de plus : tout élément irréductible est premier (comme dans tout anneau intègre à PGCD). Par conséquent :

Pour tout élément p d'un anneau principal, les propriétés suivantes sont équivalentes :

  • p est premier ;
  • p est irréductible ;
  • l'idéal (p) est maximal.
Exemples :
  • Les idéaux maximaux de l'anneau (euclidien, donc principal) ℤ des entiers relatifs sont les idéaux de la forme pℤ, pour p un nombre premier.
  • Si K est un corps commutatif, les idéaux maximaux de l'anneau euclidien K[X] sont les idéaux engendrés par les polynômes irréductibles. Cette propriété permet par exemple de construire le corps de rupture d'un polynôme irréductible. Si K est algébriquement clos (par exemple si K est le corps des nombres complexes), les polynômes irréductibles sont les polynômes de degré 1.

Image réciproque[modifier | modifier le code]

Soit φ un morphisme d'anneaux (commutatifs et unitaires) de A dans B. Contrairement à ce qui se passe pour les idéaux premiers, l'idéal image réciproque par φ d'un idéal maximal de B n'est pas nécessairement un idéal maximal de A[6] (penser par exemple à l'inclusion de ℤ dans ℚ et à l'idéal nul[7]).

Cependant :

si φ est surjectif, la bijection entre les idéaux K = φ(J) de B et les idéaux J = φ−1(K) de A qui contiennent kerφ se restreint aux idéaux maximaux,

puisque A/J est alors isomorphe à B/K.

Théorème de Krull et éléments inversibles[modifier | modifier le code]

Le théorème de Krull (équivalent à l'axiome du choix) assure que dans tout anneau commutatif, un idéal propre est toujours inclus dans au moins un idéal maximal.

En conséquence, un élément de l'anneau est inversible si et seulement s'il n'appartient à aucun idéal maximal. En effet, un élément est non inversible si et seulement si l'idéal qu'il engendre est propre.

Références[modifier | modifier le code]

  1. a b et c (en) Joseph J. Rotman (en), Advanced Modern Algebra, AMS, , 2e éd. (lire en ligne), p. 298.
  2. J.-P. Escofier, Toute l'algèbre de la Licence : Cours et exercices corrigés, Dunod, , 5e éd. (lire en ligne), p. 468.
  3. (en) L. Gillman (en), M. Henriksen et M. Jerison, « On a theorem of Gelfand and Kolmogoroff concerning maximal ideals in rings of continuous functions », Proc. Amer. Math. Soc., vol. 5,‎ , p. 447-455 (lire en ligne).
  4. (en) L. Gillman et M. Jerison, Rings of Continuous Functions, Van Nostrand (en), (lire en ligne), p. 102.
  5. Rotman 2010, p. 299.
  6. Serge Lang, Algèbre [détail des éditions], p. 407 de la 3e éd. en anglais.
  7. (en) Karen E. Smith, Lauri Kahanpää, Pekka Kekäläinen et William Traves, An Invitation to Algebraic Geometry, Springer, (lire en ligne), p. 31.

Voir aussi[modifier | modifier le code]

Article connexe[modifier | modifier le code]

Radical de Jacobson

Lien externe[modifier | modifier le code]

Christian Squarcini, « Anneaux et corps »,

Bibliographie[modifier | modifier le code]