Un anneau dont toute suite croissante d'idéaux se stabilise ; équivalemment, tout idéal est de type fini (engendré par un nombre fini d'éléments).

Principe

Condition de finitude sur le treillis des idéaux : toute suite I1 ⊆ I2 ⊆ I3 ⊆ … atteint un palier In = In+1, empêchant des chaînes strictement croissantes infinies.

Démonstration

L'anneau de polynômes k[x1,...,xn] sur un corps k est noethérien (théorème de la base de Hilbert). L'anneau Z des entiers est noethérien car chaque idéal est principal.

Mauvaise application

Prétendre que tout sous-anneau ou quotient d'un anneau noethérien est noethérien sans vérifier les hypothèses — un sous-anneau peut ne pas hériter de la noethérianité.

Conséquence

Les idéaux sont de type fini, ce qui permet des résultats structuraux (décomposition primaire, théorie de la dimension) et des manipulations algorithmiques en algèbre commutative.

Inversion

Un anneau non noethérien admet une chaîne strictement croissante infinie d'idéaux ou des idéaux nécessitant une infinité de générateurs, par exemple k[x1,x2,...] à variables infinies.

Limite

S'énonce classiquement pour les anneaux commutatifs unitaires mais possède des variantes pour les anneaux non commutatifs (noethérien à gauche/droite) ; il ne garantit pas directement la finitude des modules sans hypothèse additionnelle.

Tension sémantique

La noethérianité se compare souvent à l'artinianité (condition de chaîne décroissante) ; elles coïncident seulement dans des contextes finis particuliers, d'où une confusion possible.

Synthèse

Un anneau noethérien impose une contrainte de finitude sur la structure des idéaux : les suites croissantes se stabilisent et tout idéal est engendré par un nombre fini d'éléments, facilitant les théorèmes et méthodes algébriques.