Un idéal propre M d'un anneau R qui est maximal pour l'inclusion parmi les idéaux propres ; de façon équivalente, l'anneau quotient R/M est un corps.

Principe

Les idéaux maximaux représentent les plus grands idéaux propres et donnent les quotients non triviaux les plus simples (des corps), servant de points d'observation pour les propriétés algébriques et géométriques de l'anneau.

Démonstration

Dans Z, l'idéal pZ pour un premier p est maximal car Z/pZ est un corps ; dans k[x], l'idéal (x - a) est maximal car k[x]/(x - a) ≅ k est un corps lorsque k est un corps.

Mauvaise application

Supposer que tout idéal premier est maximal (faux en général), ou confondre maximalité et fait d'être engendré par un seul élément sans vérification (des idéaux maximaux peuvent ne pas être principaux).

Conséquence

Les idéaux maximaux correspondent à des quotients simples et à des points dans le spectre d'un anneau ; l'existence d'idéaux maximaux soutient de nombreux arguments de localisation et d'études des corps résiduels.

Inversion

Un idéal contenu strictement dans un idéal propre plus grand n'est pas maximal ; inverser la maximalité conduit à des chaînes d'idéaux et à des concepts comme idéaux premiers ou primaires de granularité plus fine.

Limite

La maximalité dépend de l'inclusion parmi les idéaux propres ; dans les contextes non commutatifs on peut devoir préciser idéaux maximaux à gauche/en droite, et l'existence d'idéaux maximaux peut requérir des axiomes de choix pour des anneaux arbitraires.

Tension sémantique

La notion de « maximal » comme le plus grand contraste avec « premier » qui est de nature multiplicative ; certains anneaux possèdent des idéaux premiers non maximaux, ce qui alimente la tension d'appliquer l'intuition des entiers à des anneaux de dimension de Krull supérieure.

Synthèse

Un idéal maximal est un idéal propre qui ne peut être étendu sans devenir l'anneau tout entier ; il fournit un quotient corps et sert d'atome fondamental pour l'analyse locale et résiduelle de la structure d'anneau.