Ein algebraisches Objekt (Ring, Modul usw.) ist nicht‑noethersch, wenn es die aufsteigende Kettenbedingung (ACC) für Unterobjekte oder Ideale nicht erfüllt: Es existiert eine unendliche streng wachsende Kette I1 ⊂ I2 ⊂ I3 ⊂ ···, die sich nicht stabilisiert.

Prinzip

Noethersche Eigenschaft fasst eine Endlichkeitsbedingung zusammen: In vielen kommutativen Situationen ist ACC äquivalent dazu, dass jedes Ideal endlich erzeugt ist. Das Versagen dieser Eigenschaft erlaubt pathologische unendliche Konstruktionen und verhindert die Anwendung vieler gängiger Endlichkeitssätze (z. B. kann der Hilbert-Basissatz in unendlich vielen Variablen scheitern).

Demonstration

Der Polynomring k[x1,x2,...] in abzählbar vielen Variablen ist nicht-noethersch: die Idealkette (x1) ⊂ (x1,x2) ⊂ (x1,x2,x3) ⊂ ··· stabilisiert nie. Ebenso ist eine unendliche direkte Summe nichtverschwindender Moduln typischerweise nicht-noethersch als Modul.

Fehlanwendung

Ergebnisse, die noethersche Voraussetzungen brauchen (Primzerlegung, Schlussfolgerungen über endliche Erzeugung, Argumente der aufsteigenden Stabilität) auf nicht-noethersche Objekte anwenden, oder fälschlich Noethersch und Artinisch für äquivalent halten ohne Prüfung (im Allgemeinen nicht äquivalent).

Konsequenz

In nicht-noetherschen Kontexten darf man nicht auf endliche Erzeugbarkeit von Idealen, Existenz endlicher Primzerlegungen oder das Abbrechen vieler algorithmischer Verfahren vertrauen; kategoriales und homologisches Verhalten kann komplizierter sein und erfordert oft schwächere Endlichkeitsbedingungen (Kohärenz, ACC auf speziellen Klassen).

Umkehrung

Ein noethersches Objekt erfüllt ACC, jede aufsteigende Kette stabilisiert, und viele Endlichkeitsergebnisse gelten (Ideale endlich erzeugt, Algorithmen terminieren in algebraischen Kontexten).

Abgrenzung

Unterscheide Links-/Rechts-Noetherschheit in nichtkommutativen Ringen, Noetherschheit als Modul versus als Ring und verwandte, schwächere Begriffe (kohärent, quasi-noethersch). Topologische oder kategoriale Analoga (noethersche Schemata) haben angepasste Definitionen und Grenzen.

Semantische Spannung

Nicht-noethersch vs unendlich: Ein Objekt kann unendlich und dennoch noethersch sein (z. B. ein Körper als Ring ist noethersch), während 'nicht-noethersch' speziell das Versagen der ACC bezeichnet; Spannung besteht auch mit Kohärenz (schwächere Endlichkeitsbedingung) und mit Artinisch (absteigende Bedingung).

Synthese

Nicht-noethersch bezeichnet das Versagen der aufsteigenden Kettenbedingung — ein struktureller Mangel an Endlichkeit, der unendliche streng wachsende Familien von Unterobjekten erlaubt und viele auf Endlichkeit beruhende Sätze und Algorithmen außer Kraft setzt.