Ein Ring (häufig im kommutativen Einheitsring-Kontext), der die aufsteigende Kettenbedingung (ACC) für Ideale nicht erfüllt: Es gibt eine unendliche streng aufsteigende Kette von Idealen und Ideale müssen nicht endlich erzeugt sein.

Prinzip

Versagen der Stabilisierung durch ACC: Es existieren beliebig lange Idealketten, daher sind Methoden, die auf Stabilisierung beruhen (Noethersche Induktion, Folgen des Hilbert-Basissatzes), nicht allgemein anwendbar.

Demonstration

Der Polynomring in abzählbar vielen Variablen k[x1,x2,x3,...] über einem Körper k ist nicht-noethersch, da das Ideal (x1,x2,x3,...) nicht endlich erzeugt ist; man erhält die strenge aufsteigende Kette (x1) ⊂ (x1,x2) ⊂ (x1,x2,x3) ⊂ ...

Fehlanwendung

Annahme, dass beliebige Ideale endlich erzeugt seien oder Anwendung der noetherschen Induktion in einem nicht-noetherschen Ring; Behandlung primärer Zerlegungen und anderer finitergebener Resultate als allgemeingültig.

Konsequenz

Viele Finitheitsresultate gelten nicht mehr: Ideale und Moduln können unendlich viele Erzeuger benötigen, aufsteigende Ketten stabilisieren nicht notwendigerweise, primäre Zerlegungen können fehlen oder nicht eindeutig sein, und Konstruktionen, die endliche Präsentationen benötigen, versagen oder benötigen zusätzliche Hypothesen.

Umkehrung

Ein noetherscher Ring, in dem jedes Ideal endlich erzeugt ist und jede aufsteigende Kette von Idealen stabilisiert, wodurch noethersche Induktion und zahlreiche Finitheitssätze gelten.

Abgrenzung

Der Begriff bezieht sich auf die ACC auf Idealen auf Ringebene; er legt keine weiteren Eigenschaften fest (z. B. artinsch, kohärent oder dimensionsbezogene Bedingungen). Nicht-noethersche Phänomene treten in kommutativen und nichtkommutativen Kontexten auf; einige Pathologien erfordern unendliche Erzeugung, andere nicht-noethersche Ringe behalten gewisse Finitheitseigenschaften.

Semantische Spannung

„Nicht-noethersch“ wird oft mit ‚nicht endlich als Algebra erzeugt‘ oder mit bestimmten Pathologien verwechselt; die Spannung liegt zwischen Idealbezogener Finitheit (noethersch) und anderen Finitätskonzepten (endlich erzeugt, kohärent, artinsch), die unterschiedliche Implikationen haben.

Synthese

Ein Nicht-Noetherscher Ring ist ein Ring, in dem das Stabilitätsprinzip für Ideale versagt: Konkrete Beispiele zeigen unendliche aufsteigende Idealketten und Ideale ohne endliche Erzeugungsmenge, was viele Standardwerkzeuge der Algebra, die Noethersches voraussetzen, einschränkt.