Ein Modul über einem Ring, das die aufsteigende Kettenbedingung für Untermoduln nicht erfüllt; es existiert eine unendliche streng wachsende Folge von Untermoduln M1 ⊂ M2 ⊂ M3 ⊂ ..., die niemals stationär wird.

Prinzip

Die ordnende Idee ist, dass Beschränkungen von Endlichkeit auf Unterstrukturen versagen können: ohne die aufsteigende Kettenbedingung begrenzt die endliche Erzeugung nicht die Komplexität der Untermoduln, sodass noetherianische Induktionsargumente versagen können.

Demonstration

Konkretes Beispiel: die direkte Summe abzählbar vieler Kopien eines Rings R als R-Modul, R^{(N)}, ist typischerweise nicht noethersch, weil die von den ersten n Basisvektoren erzeugten Untermoduln eine streng wachsende Kette bilden. Dagegen sind endlich erzeugte Module über einem noetherschen Ring noethersch.

Fehlanwendung

Fälschlicherweise anzunehmen, ein Modul sei noethersch, nur weil der Grundring noethersch ist, ohne die endliche Erzeugung des Moduls zu prüfen, oder Beweise mittels Induktion über aufsteigende Ketten zu führen, obwohl eine unendliche wachsende Kette existiert.

Konsequenz

Das Erkennen nicht-noetherscher Module zwingt zum Einsatz alternativer Techniken (transfiniten Induktion, präzise Kontrolle der Erzeuger, Verwendung von Filtrierungen) und deutet auf mögliche pathologische Phänomene bei Klassifikation, Zerlegung und algorithmischen Verfahren hin.

Umkehrung

Ein noethersches Modul ist eines, in dem jede aufsteigende Kette von Untermoduln stationär wird; viele Struktur­sätze gelten für noethersche Module, aber nicht für nicht-noethersche.

Abgrenzung

Der Begriff gilt für Module über beliebigen Ringen (links- oder rechtsseitig, wie spezifiziert); er schließt Betrach­tungen der absteigenden Kettenbedingung (Artinsch) aus und unterscheidet sich von der Noetherschheit des Rings als solcher.

Semantische Spannung

Spannung besteht zwischen »noetherscher Ring« und »noethersches Modul«: Ein Ring kann noethersch sein, während einige seiner Module nicht noethersch sind; »endlich erzeugt« ist eine verwandte, aber getrennte Einschränkung.

Synthese

Ein nicht-noethersches Modul stellt einen klaren Ausfall dar, bei dem die aufsteigende Kontrollstruktur über Untermoduln fehlt; dies verändert verfügbare Methoden, grenzt Modulklassen ab und beeinflusst in Wechselwirkung mit Eigenschaften wie endlicher Erzeugbarkeit oder Projektivität die einsetzbaren algebraischen Werkzeuge.