Ein reduzierter Ring ist ein Ring, der außer dem Nullelement keine weiteren nilpotenten Elemente enthält. (Nilpotente Elemente ergeben entsprechend potenziert null.) Reduzierte Ringe spielen eine Rolle in der kommutativen Algebra und der algebraischen Geometrie, das sind Teilgebiete der Mathematik. Ein reduziertes Schema ist ein Schema, dessen Halme reduziert sind.

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.

Definitionen

Eigenschaften

• Ist ${\displaystyle R}$ noethersch, so gilt:

${\displaystyle R}$ ist reduziert ist äquivalent dazu, dass in der Primärzerlegung seines Nullideals nur Primideale als Primärkomponenten auftreten (die minimalen Primideale).

• Reduziertheit ist eine lokale Eigenschaft:

Ein Ring ${\displaystyle R}$ ist genau dann reduziert, wenn ${\displaystyle R_{m}}$ für alle maximalen Ideale reduziert ist.

Beispiele

• ${\displaystyle \mathbb {Z} }$ und alle Polynomringe über Körpern sind reduziert.
• Der Ring ${\displaystyle R/{\sqrt {(0)}}}$ ist reduziert.
• Jeder nullteilerfreie Ring ist reduziert.
• ${\displaystyle \mathbb {Z} /4\mathbb {Z} }$ enthält das nilpotente Element ${\displaystyle 2}$, ist also nicht reduziert.
• ${\displaystyle \mathbb {Z} /6\mathbb {Z} }$ ist reduziert.
• Der Ring ${\displaystyle K[X]/(X^{2})}$ ist nicht reduziert, er enthält das nilpotente Element ${\displaystyle X}$.
• Ein Schema ist genau dann integer, wenn es irreduzibel und reduziert ist.

Literatur

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