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 $A$ nach einem Primideal von $R$ diese Eigenschaft. Für jedes Primideal $p\subset A$ gilt dann:

\mathrm {ht} (p)+\mathrm {dim} (A/p)=\mathrm {dim} A

.

Beispiele

Ist $K$ ein Körper, so ist der Ring $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