Kettenring

In der kommutativen Algebra wird ein Ring Kettenring oder ein katenärer Ring genannt, wenn nicht verfeinerbare Primidealketten zweier ineinanderliegenden Primideale immer dieselbe Länge haben. Katenäre Ringe haben einfache dimensionstheoretische Eigenschaften.

Dieser Artikel beschäftigt sich mit kommutativer Algebra. Insbesondere sind alle betrachteten Ringe kommutativ und haben ein Einselement. Ringhomomorphismen bilden Einselemente auf Einselemente ab. Für weitere Details siehe Kommutative Algebra.

Definition

Ist $R$ ein Ring, so ist eine Primidealkette eine Folge von Primidealen ($p_{i}\subset R$):

$p_{0}\subsetneq p_{1}\dots \subsetneq p_{n}$

Die Länge dieser Primidealkette ist $n$. Eine solche Primidealkette wird nicht mehr verfeinerbare Kette genannt, wenn es kein Primideal $p_{i}\neq q\subset R$ gibt, sodass

$p_{0}\subsetneq \dots \subsetneq q\subsetneq \dots \subsetneq p_{n}$

eine Primidealkette ist.

Ist $R$ ein Ring, so wird $R$ katenär oder auch ein Kettenring genannt, wenn für alle Primideale $p\subsetneq q\subset R$ gilt, dass alle nicht verfeinerbaren Primidealketten, die mit $p$ anfangen und mit $q$ aufhören, dieselbe Länge haben.

Eigenschaften

• Ist ein noetherscher Ring katenär, dann auch jeder Restklassenring und jede Lokalisierung.
• Katenär ist eine lokale Eigenschaft: Ein noetherscher Ring $R$ ist genau dann katenär, wenn für jedes maximale Ideal $m\subset R$ der Ring $R_{m}$ katenär ist.
• Wenn $R$ noethersch, katenär und nullteilerfrei ist und außerdem alle maximalen Ideale von $R$ dieselbe Höhe haben (z. B. $K[X_{1},\dots ,X_{n}]$, s. u.), dann hat auch jeder Restklassenring Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle A} nach einem Primideal von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle R} diese Eigenschaft. Für jedes Primideal Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle p \subset A} gilt dann:

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathrm{ht}(p) + \mathrm{dim}(A/p) = \mathrm{dim} A} .

Beispiele

• Ist Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle K} ein Körper, so ist der Ring Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle K[X_1, \dotsc X_n]} katenär.
• Jeder Cohen-Macaulay-Ring, insbesondere jeder reguläre Ring, ist katenär.

Literatur

• H. Matsumura, Commutative algebra, 1980, ISBN 0-8053-7026-9.
• Ernst Kunz: Einführung in die kommutative Algebra und algebraische Geometrie, Vieweg (1980), ISBN 3-528-07246-6
• Brüske, Ischebeck, Vogel: Kommutative Algebra, Bibliographisches Institut (1989), ISBN 978-3411140411