Ein kommutativer Ring, in dem es zwei Primideale p ⊂ q gibt, für die gesättigte Ketten von Primidealen zwischen p und q unterschiedliche endliche Längen haben; anders gesagt, der Ring verletzt die katenäre Eigenschaft, die Einheitlichkeit der Längen verlangt.

Prinzip

Katenarität fordert Einheitlichkeit der Höhen: Zwischen zwei vergleichbaren Primidealen sollen die Längen maximaler Ketten unabhängig von der Wahl der Kette sein. Ein nichtkatenärer Ring bricht diese Einheitlichkeit, sodass die Höhen unangenehm variieren können.

Demonstration

Man findet explizite Beispiele (auch innerhalb der Klasse noetherscher Integritätsbereiche) mit zwei Primidealen p ⊂ q und zwei maximalen Ketten p = p0 ⊂ p1 ⊂ ... ⊂ pr = q und p = q0 ⊂ q1 ⊂ ... ⊂ qs = q mit r ≠ s, was die ungleichen Längen zwischen denselben Endpunkten zeigt.

Fehlanwendung

Die Annahme dimensionsbezogener Formeln, die Katenarität voraussetzen (z. B. dass Dimensionsunterschiede entlang beliebiger Ketten gleich Höhen sind), oder das blinde Vertrauen in geometrische Intuitionen über das Verhalten von Lokalisationen kann zu falschen Schlüssen in nichtkatenären Situationen führen.

Konsequenz

Die Dimensionstheorie wird feingliedriger: Berechnungen relativer Höhen, Aussagen über Äquidimensionalität und viele katenaritätsabhängige Argumente müssen lokal geprüft werden; Dimensionformeln können scheitern oder zusätzliche Hypothesen benötigen.

Umkehrung

Ein katenärer Ring, bei dem zwischen jeder vergleichbaren Paar von Primidealen jede gesättigte Kette dieselbe Länge hat, was die Dimensionstheorie und Höhenberechnungen vereinfacht.

Abgrenzung

Der Begriff bezieht sich auf Ketten von Primidealen in kommutativen Ringen und ist eine rein primideal- / dimensionstheoretische Bedingung; er impliziert nicht automatisch Noetherscheigenschaften, Regularität oder andere Finitheitsbedingungen, obwohl diese zusammenwirken. Nichtkatenarität beschreibt ausschließlich die Nicht-Uniformität von Kettenlängen.

Semantische Spannung

Es besteht eine Spannung zwischen Katenarität und verwandten Konzepten wie Äquidimensionalität oder Cohen–Macaulay-Eigenschaften; ein Ring kann äquidimensional sein und dennoch Katenarität vermissen, sodass verschiedene Vorstellungen von ‚wohlgeformter Dimension‘ konkurrieren.

Synthese

Ein Nichtkatenärer Ring ist ein Ring, in dem die erwartete Einheitlichkeit der Längen von Primideal-Ketten zusammenbricht: Zwischen denselben Primidealen können maximale Ketten unterschiedlicher Länge existieren, weshalb dimensionsabhängige Argumente lokale Prüfungen statt globaler Annahmen erfordern.