## [Anneau Noethérien](/fr/node/63304) Définition 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 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 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 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 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 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 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 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 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.