Eine assoziative Algebra, die die absteigende Kettenbedingung für zweiseitige Ideale erfüllt (äquivalent dazu, dass sie als Modul über sich selbst endliche Länge hat); im assoziativen Kontext spricht man von Artinisch, wenn diese Eigenschaft für linke und rechte Ideale gilt.

Prinzip

Die absteigende Kettenbedingung erzwingt Endlichkeits-Eigenschaften: es gibt keine unendliche streng fallende Folge zweiseitiger Ideale, was Kompositionsreihen und Kontrolle über Radikale und semisimple Quotienten ermöglicht.

Demonstration

Jede endlich-dimensionale assoziative Algebra über einem Körper ist artinisch; etwa ist eine endliche Algebra, die als Quotient einer Pfadalgebra durch zulässige Relationen entsteht, artinisch und besitzt Moduln endlicher Länge sowie ein gut kontrolliertes Radikal.

Fehlanwendung

Zu glauben, Artinisch impliziere in allen Kontexten Noethersch oder automatisch Kommutativität; oder den Begriff zu verwenden, wenn nur einseitige Kettenbedingungen erfüllt sind, ohne dies zu spezifizieren.

Konsequenz

Artinische Algebren besitzen endliche Kompositionsreihen, ihr Jacobson-Radikal ist nilpotent, und Strukturtheoreme (wie Wedderburn–Artin) gelten und beschreiben semisimple Quotienten und Zerlegungen.

Umkehrung

Eine Algebra, die unendliche streng fallende Ketten zweiseitiger Ideale zulässt oder keine endliche Länge als Modul über sich selbst hat; solche Algebren zeigen oft pathologische unendliche Verhaltensweisen und entziehen sich Zerlegungssätzen.

Abgrenzung

Bezieht sich auf zweiseitige Ideale in assoziativen Algebren; unterschieden werden kann Artinisch links/rechts und dies muss angegeben werden; schließt unendlich-dimensionale Algebren aus, die die absteigende Kettenbedingung nicht erfüllen.

Semantische Spannung

Spannung mit der Noether-Eigenschaft: Artinisch (DCC) und Noethersch (ACC) sind verschiedene Endlichkeitsbedingungen, die in manchen Situationen zusammenfallen, in der nichtkommutativen Algebra jedoch divergieren können.

Synthese

Eine artinische Algebra ist eine ohne unendliche streng fallende Ketten zweiseitiger Ideale, was endliche Länge, nilpotentes Radikal und Anwendbarkeit von Zerlegungssätzen sicherstellt.