Definition
Ein Ring, in dem jede aufsteigende Kette von Idealen stationär wird (erfüllt die aufsteigende Kettenbedingung für Ideale); äquivalent: jedes Ideal ist endlich erzeugt.
Prinzip
Prinzip
Die Endlichkeit der Ideal-Erzeugung verhindert unendliche streng wachsende Reihen von Idealen und verschafft algebraische Kontrolle: endliche Erzeuger begrenzen die idealtheoretische Komplexität.
Demonstration
Demonstration
Konkrete Beispiele sind der Ring der ganzen Zahlen Z (jedes Ideal ist prinzipal) und Polynomringe k[x1,...,xn] über einem Körper k, die noethersch sind; diese Beispiele zeigen die Stabilisierungsbedingung für Ketten von Idealen.
Fehlanwendung
Fehlanwendung
Zu behaupten, ein beliebiger Unterring eines noetherschen Rings sei ebenfalls noethersch (das ist im Allgemeinen falsch) oder dass jede Erweiterung die Eigenschaft erhält ohne weitere Voraussetzungen.
Konsequenz
Konsequenz
Viele Endlichkeits- und Strukturresultate folgen: Ideale sind endlich erzeugt, primäre Zerlegungen existieren unter üblichen Voraussetzungen, und Polynom-Erweiterungen über noetherschen Ringen bleiben noethersch (Hilbert-Basissatz-Phänomen).
Umkehrung
Umkehrung
Die duale Endlichkeitsbedingung ist die Artinsche: ein Ring erfüllt die absteigende Kettenbedingung für Ideale. Artinsch und noethersch sind unterschiedliche Eigenschaften und bedingen einander nicht allgemein.
Abgrenzung
Abgrenzung
Die Eigenschaft bezieht sich auf Ideale in Ringen (meist mit Einselement). Verwandte Begriffe wie noethersches Modul oder noethersches Schema sind zu unterscheiden; die Ring-Eigenschaft überträgt sich nicht automatisch auf alle modul- oder geometrischen Kontexte.
Semantische Spannung
Semantische Spannung
Spannung zwischen der noetherschen Bedingung als Ketten-Endlichkeitsbedingung und anderen Endlichkeitskonzepten (artinsch, endlich erzeugt als Modul, geometrische Endlichkeitsbedingungen): Welches Konzept passend ist, hängt vom Kontext ab.
Synthese
Synthese
Ein noetherscher Ring fasst ein algebraisches Endlichkeitsprinzip zusammen: Jedes Ideal besitzt endlich viele Erzeuger, wodurch aufsteigende Ketten verhindert werden und zahlreiche strukturtheoretische Sätze anwendbar werden.