Ein Modul, das die absteigende Kettenbedingung für Untermoduln nicht erfüllt; es gibt eine unendliche streng fallende Kette von Untermoduln N1 ⊃ N2 ⊃ N3 ⊃ ..., die sich nicht stabilisiert.

Prinzip

Die ordnende Idee ist, dass das Fehlen einer unteren Schranke für Modulketten beliebig tiefe echte Teilstrukturen zulässt, sodass Argumente, die auf Minimalität oder Abbruch von absteigenden Ketten beruhen, versagen können.

Demonstration

Konkretes Beispiel: die abelsche Gruppe Z als Z-Modul ist nicht artinsch, da die Kette Z ⊃ 2Z ⊃ 4Z ⊃ 8Z ⊃ ... streng fallend ist. Viele Torsionsmodule und unendlich teilbare Konstruktionen zeigen nicht-artinsches Verhalten.

Fehlanwendung

Anzunehmen, es existierten minimale Untermoduln oder Beweise mit minimalem Gegenbeispiel anzuwenden in Situationen mit unendlichen absteigenden Ketten, oder die artinsche Eigenschaft des Rings mit der jedes Modul über ihm zu verwechseln.

Konsequenz

Erscheinen nicht-artinsche Module, so kann man sich nicht auf absteigende Induktion oder das Vorhandensein minimaler Elemente stützen; Klassifikations- und Zerlegungsergebnisse, die artinsche Voraussetzungen brauchen, können fehlen, weshalb alternative Strukturinvarianten nötig sind.

Umkehrung

Ein artinsches Modul erfüllt die absteigende Kettenbedingung, sodass jede absteigende Kette von Untermoduln stationär wird; solche Module erlauben Minimalitätsargumente und endliche Längenbetrachtungen, anders als nicht-artinsche Module.

Abgrenzung

Gilt für Module über beliebigen Ringen und ist von der noetherschen Betrachtung (aufsteigende Ketten) zu unterscheiden. Die Eigenschaft hängt von der Seitenentscheidung (links/rechts) und davon ab, ob man endlich erzeugte oder beliebige Module betrachtet.

Semantische Spannung

Spannung zwischen artinschen und noetherschen Eigenschaften: Ein Modul kann die eine besitzen, ohne die andere zu besitzen; Module endlicher Länge sind sowohl artinsch als auch noethersch, also ist endliche Länge strenger.

Synthese

Ein nicht-artinsches Modul kennzeichnet das Versagen absteigender Finitheitskontrolle; das Erkennen dieses Versagens macht deutlich, welche Induktionsargumente und Zerlegungssätze unbrauchbar sind und welche alternativen Invarianten stattdessen eingesetzt werden sollten.