## [Noetherscher Ring](/de/node/60204) 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.