Primäres Ideal

In der kommutativen Algebra ist ein primäres Ideal oder Primärideal eine Verallgemeinerung einer Primzahlpotenz, genau wie ein Primideal eine Verallgemeinerung einer Primzahl ist. Primäre Ideale spielen eine wichtige Rolle in der Primärzerlegung von Moduln.

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

Definitionen

Primärer Modul

Ein Untermodul <math>U</math> eines Moduls <math>M</math> über einem Ring <math>R</math> ist ein primärer Untermodul, wenn <math>M/U</math> nur ein assoziiertes Primideal besitzt. Das ist äquivalent damit, dass für alle <math>r \in R</math> die Abbildung:

<math>h_r\colon M/U \to M/U</math>

<math>h_r\colon m \mapsto rm</math>

entweder injektiv oder nilpotent ist.

Ist <math>P</math> das assoziierte Primideal, so wird <math>U</math> auch als <math>P</math>-primärer Untermodul bezeichnet.

Primäres Ideal

Ein Ideal <math>Q</math> eines Ringes <math>R</math> ist ein primäres Ideal, wenn es als Untermodul von <math>R</math> ein primärer Untermodul ist. Das ist äquivalent dazu, dass jeder Nullteiler von <math>R/Q</math> nilpotent ist.

Ein Ideal <math>Q \subset R</math> ist genau dann primär, wenn für alle <math>r,s \in R</math> gilt: <math>rs \in Q \text{ und } r \notin Q \implies \exists \nu>0\colon s^\nu \in Q</math>.

Eigenschaften

Ist <math>M</math> ein <math>R</math>-Modul, so gilt:

• Jedes Primideal <math>P</math> ist ein <math>P</math>-primäres Ideal.
• Wenn <math>R</math> noethersch ist und <math>Q</math> ein <math>P</math>-primäres Ideal ist, dann gibt es ein <math>\nu</math>, sodass <math>P^\nu \subseteq Q \subseteq P</math> ist.
• Der Durchschnitt endlich vieler <math>P</math>-primärer Untermoduln von <math>M</math> <math>P</math>-primär.
• Wenn <math>R</math> noethersch ist und <math>Q</math> ein irreduzibler echter Untermodul von <math>R</math> ist, dann ist <math>Q</math> primär.

Literatur

• 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
• Ernst Kunz: Einführung in die kommutative Algebra und algebraische Geometrie, Vieweg (1980), ISBN 3-528-07246-6