Un anneau tel que toute chaîne ascendante d'idéaux se stabilise (satisfait la condition de chaîne ascendante pour les idéaux) ; de façon équivalente, tout idéal est de type fini.

Principe

La finitude de la génération des idéaux empêche l'existence de suites strictement croissantes infinies d'idéaux et fournit un contrôle algébrique : des générateurs finis bornent la complexité idéaliste.

Démonstration

Exemples concrets : l'anneau des entiers Z (tout idéal est principal) et les anneaux de polynômes k[x1,...,xn] sur un corps k, qui sont noethériens ; ces exemples illustrent la condition de stabilisation des chaînes d'idéaux.

Mauvaise application

Supposer qu'un sous-anneau quelconque d'un anneau noethérien est noethérien (faux en général) ou qu'une extension arbitraire conserve la propriété sans hypothèse supplémentaire.

Conséquence

De nombreux résultats de finitude et de structure en découlent : les idéaux sont de type fini, des décompositions primaires apparaissent sous des hypothèses usuelles, et les extensions polynomiales d'anneaux noethériens restent noethériennes (phénomène de base de Hilbert).

Inversion

La notion duale est celle d'anneau artinien : satisfaction de la condition de chaîne descendante sur les idéaux. Artinien et noethérien sont distincts et l'un n'implique pas l'autre en général.

Limite

La propriété concerne les idéaux d'anneaux (généralement unitaires). Les notions apparentées, comme module noethérien ou schéma noethérien, sont distinctes et la propriété de l'anneau ne se transfère pas automatiquement à tous les contextes modulaires ou géométriques.

Tension sémantique

Tension entre la condition noethérienne, vue comme finitude des chaînes d'idéaux, et d'autres notions de finitude (artinienne, génération finie comme module, conditions de finitude géométrique) : le choix de la notion dépend du contexte.

Synthèse

Un anneau noethérien rassemble un principe de finitude algébrique : chaque idéal admet un ensemble fini de générateurs, ce qui empêche les chaînes ascendantes infinies et permet de nombreuses théories structurelles reposant sur cette maîtrise des idéaux.