Irreduzibles Ideal

Ein irreduzibles Ideal in einem kommutativen Ring mit $1$ ist ein echtes Ideal, das keine nicht-triviale Zerlegung als Schnitt zweier anderer Ideale zulässt. Aus zahlentheoretischer Sicht stellen irreduzible Ideale damit eine Verallgemeinerung von Primzahlpotenzen dar. Zerlegungen in irreduzible Ideale liefern daher Verallgemeinerungen der Primfaktorzerlegung und der Zerlegung in Primideale in Dedekindringen. In noetherschen Ringen ist eine Zerlegung in irreduzible Ideale zugleich eine Primärzerlegung. In der algebraischen Geometrie erhält man mit Hilfe der Zerlegung in irreduzible Ideale Zerlegungen in topologisch irreduzible Komponenten.

Definition

Ein echtes Ideal in einem kommutativen Ring mit $1$ heißt irreduzibel, wenn es sich nicht als Schnitt zweier echt größerer Ideale darstellen lässt. Gibt es eine solche Darstellung, so heißt das Ideal reduzibel.

Beispiele

Primideale sind irreduzible Ideale, da ihre Komplemente multiplikativ abgeschlossen sind.^[1]
In einem Dedekindring ist ein Ideal aufgrund der eindeutigen Zerlegung in Primideale genau dann irreduzibel, wenn es Potenz eines Primideals ist. Somit stimmen in Dedekindringen die irreduziblen Ideale mit den primären Idealen überein.^[2] Insbesondere stimmen in Hauptidealringen die Begriffe des irreduziblen und primären Ideals überein und man erhält als irreduzible Ideale die von Potenzen irreduzibler Elemente erzeugten Ideale und das Nullideal.
Im Polynomring $K[X_{1},\dotsc ,X_{n}]$ über einem Körper $K$ ist ein Monomialideal – also ein Ideal, das von Monomen erzeugt wird – genau dann irreduzibel, wenn es von Potenzen von Variablen erzeugt wird.^[3]
Im Polynomring $K[X,Y]$ über einem Körper $K$ ist das Ideal $I=(X^{2},XY,Y^{2})$ als Potenz des maximalen Ideals $(X,Y)$ ein primäres Ideal. Allerdings gilt $I=(X,Y^{2})\cap (X^{2},Y)$ und damit ist $I$ nicht irreduzibel.

Eigenschaften

Ein echtes Ideal in einem Faktorring ist genau dann irreduzibel, wenn sein Urbild unter dem kanonischen Epimorphismus irreduzibel ist. Insbesondere ist also ein Ideal genau dann irreduzibel, wenn im zugehörigen Faktorring das Nullideal ein irreduzibles Ideal ist.

Zusammenhang mit primären Idealen

In noetherschen Ringen ist jedes irreduzible Ideal primär.^[4]^[5] Insbesondere ist dann also das Radikal eines irreduziblen Ideals ein Primideal, sodass wir im Falle von noetherschen Ringen von dem zu einem irreduziblen Ideal gehörenden Primideal sprechen können.
In nicht-noetherschen Ringen müssen irreduzible Ideale nicht primär sein. Es gibt sogar nicht-noethersche Ringe mit irreduziblen Idealen, deren Radikal nicht irreduzibel ist.^[6] Allerdings gibt es für nicht-noetherschen Ringe zumindest explizite Charakterisierung der irreduziblen Ideale, die zugleich primär sind.^[7]^[8]
Selbst in faktoriellen noetherschen Ringen ist nicht jedes primäre Ideal irreduzibel, wie das obige Beispiel des Ideals $(X^{2},XY,Y^{2})\subseteq K[X,Y]$ zeigt. Ein $P$ -primäres Ideal $Q$ eines noetherschen Rings ist genau dann irreduzibel, wenn zwischen $Q$ und dem Idealquotienten $Q:P$ kein weiteres primäres Ideal liegt.^[9]

Zerlegungen in irreduzible Ideale in noetherschen Ringen

In noetherschen Ringen ist aufgrund von noetherscher Induktion jedes echte Ideal als Schnitt von endlich vielen irreduziblen Idealen darstellbar.^[10]^[11] Da irreduzible Ideale in noetherschen Ringen primär sind, handelt es sich bei dieser Zerlegung um eine Primärzerlegung und somit existiert in noetherschen Ringen insbesondere eine Primärzerlegung.
Bei einer minimalen Zerlegung in irreduzible Ideale in einem noetherschen Ring ist die Anzahl der Komponenten eindeutig bestimmt.^[12] Außerdem sind die zugehörigen Primideale der Komponenten ebenso eindeutig bestimmt wie die Vielfachheit, in der sie auftreten.^[13] Auch die isolierten irreduziblen Komponenten, deren Primideale minimal über dem Ideal liegen, sind eindeutig bestimmt.^[14]

Zusammenhang mit anderen Arten der Irreduzibilität

Ein irreduzibles Element in einem ggT-Ring ist prim und erzeugt daher ein Primideal, das insbesondere ein irreduzibles Ideal ist. Allerdings muss der Erzeuger eines irreduziblen Hauptideals kein irreduzibles Element sein, wie bereits die obigen Beispiele in Hauptidealringen zeigen. Irreduzible Ideale verallgemeinern daher nicht irreduzible Elemente, sondern deren Potenzen.
Die Nullstellenmenge zu einem irreduziblen Ideal eines Polynomrings $K[X_{1},\dotsc ,X_{n}]$ über einem Körper $K$ ist eine affine algebraische Varietät, also eine abgeschlossene Menge bezüglich der Zariski-Topologie auf $K^{n}$ , die bezüglich der Teilraumtopologie ein irreduzibler topologischer Raum ist. Allerdings sind die Nullstellenmengen aller Ideale, deren Radikal prim ist, irreduzible topologische Räume. Aus der Zerlegung eines Ideals in irreduzible Ideale erhält man eine Zerlegung der Nullstellenmenge in irreduzible Komponenten.
Ist $R$ ein beliebiger noetherscher kommutativer Ring mit $1$ , liefert die Zerlegung eines Ideals $I\subseteq R$ in irreduzible Komponenten eine Zerlegung der Nullstellenmenge von $I$ im Spektrum von $R$ in endlich viele topologisch irreduzible Komponenten bezüglich der Zariski-Topologie.

Verallgemeinerung

Ein echter Untermodul eines Moduls heißt irreduzibel, wenn er sich nicht als Schnitt zweier echt größerer Untermoduln schreiben lässt. Betrachten wir einen Ring als Modul über sich selbst, so sind die irreduziblen Untermoduln gerade die irreduziblen Ideale. Irreduzible Untermoduln von noetherschen Moduln sind primäre Untermoduln^[15] und für echte Untermoduln eines noetherschen Moduls gibt es eine Zerlegung in endlich viele irreduzible Moduln,^[16]^[17] welche die Zerlegung in irreduzible Ideale verallgemeinert. Auch bei einer kürzesten Zerlegung in irreduzible Untermoduln ist die Anzahl der irreduziblen Komponenten eindeutig bestimmt.^[18]
Weitere Idealklassen, die neben den irreduziblen und den primären Idealen ebenfalls das Konzept der Primzahlpotenz verallgemeinern und endliche Schnittzerlegungen von Idealen liefern, sind quasi-primäre Ideale und primale Ideale. Jedes irreduzible Ideal ist sowohl quasi-primär als auch primal.^[19]

Einzelnachweise

↑ Michael Francis Atiyah, Ian Grant Macdonald: Introduction to Commutative Algebra. Addison-Wesley, Reading Mass. 1969, Proposition 1.11., S. 8.
↑ Michael Francis Atiyah, Ian Grant Macdonald: Introduction to Commutative Algebra. Addison-Wesley, Reading Mass. 1969, Theorem 9.3., S. 95.
↑ Esra Miller, Bernd Sturmfels: Combinatorial Commutative Algebra. Springer, 2006, 5.16 f., 11.41.
↑ Emmy Noether: Idealtheorie in Ringbereichen. In: Mathematische Annalen. 83, 1921, § 4, Satz VI., S. 39.
↑ Michael Francis Atiyah, Ian Grant Macdonald: Introduction to Commutative Algebra. Addison-Wesley, Reading Mass. 1969, Lemma 7.12., S. 83.
↑ Is the radical of an irreducible ideal irreducible? In: mathoverflow.net. Abgerufen am 8. Dezember 2019.
↑ Ladislas Fuchs: A condition under which an irreducible ideal is primary. In: The Quarterly Journal of Mathematics. Oxford Ser. 19 (1948), S. 235, Theorem 1.
↑ Michael Francis Atiyah, Ian Grant Macdonald: Introduction to Commutative Algebra. Addison-Wesley, Reading Mass. 1969, Exercises 3., S. 84.
↑ Wolfgang Gröbner: Über irreduzible Ideale in kommutativen Ringen. In: Mathematische Annalen. 110, 1935, Satz 4a. S. 205, GDZ.
↑ Emmy Noether: Idealtheorie in Ringbereichen. In: Mathematische Annalen. 83, 1921, § 2, Satz II., S. 33.
↑ Michael Francis Atiyah, Ian Grant Macdonald: Introduction to Commutative Algebra. Addison-Wesley, Reading Mass. 1969, Lemma 7.11., S. 83.
↑ Emmy Noether: Idealtheorie in Ringbereichen. In: Mathematische Annalen. 83, 1921, § 3, Satz IV., S. 36.
↑ Emmy Noether: Idealtheorie in Ringbereichen. In: Mathematische Annalen. 83, 1921, § 4, Satz VII., S. 41.
↑ Emmy Noether: Idealtheorie in Ringbereichen. In: Mathematische Annalen. 83, 1921, § 7, Satz XIII., S. 50.
↑ Ernst Kunz: Einführung in die algebraische Geometrie. Vieweg, Braunschweig/Wiesbaden 1997, Satz C.30., S. 235.
↑ Ernst Kunz: Einführung in die algebraische Geometrie. Vieweg, Braunschweig/Wiesbaden 1997, Satz C.32., S. 235
↑ David Eisenbud: Commutative Algebra with a View Toward Algebraic Geometry. Springer, 1995, Proof of Theorem 3.10., S. 96.
↑ Emmy Noether: Idealtheorie in Ringbereichen. In: Mathematische Annalen. 83, 1921, § 9, S. 56.
↑ Ladislas Fuchs: On Primal Ideals. In: Proceedings of the American Mathematical Society. Vol. 1, No. 1 (Feb., 1950), S. 3.

Literatur

Emmy Noether: Idealtheorie in Ringbereichen. In: Mathematische Annalen. 83, 1921, S. 24–66, GDZ
Michael Francis Atiyah, Ian Grant Macdonald: Introduction to Commutative Algebra. Addison-Wesley, Reading Mass. 1969, Chapter 7

[1] Michael Francis Atiyah, Ian Grant Macdonald: Introduction to Commutative Algebra. Addison-Wesley, Reading Mass. 1969, Proposition 1.11., S. 8.

[2] Michael Francis Atiyah, Ian Grant Macdonald: Introduction to Commutative Algebra. Addison-Wesley, Reading Mass. 1969, Theorem 9.3., S. 95.

[3] Esra Miller, Bernd Sturmfels: Combinatorial Commutative Algebra. Springer, 2006, 5.16 f., 11.41.

[4] Emmy Noether: Idealtheorie in Ringbereichen. In: Mathematische Annalen. 83, 1921, § 4, Satz VI., S. 39.

[5] Michael Francis Atiyah, Ian Grant Macdonald: Introduction to Commutative Algebra. Addison-Wesley, Reading Mass. 1969, Lemma 7.12., S. 83.

[6] Is the radical of an irreducible ideal irreducible? In: mathoverflow.net. Abgerufen am 8. Dezember 2019.

[7] Ladislas Fuchs: A condition under which an irreducible ideal is primary. In: The Quarterly Journal of Mathematics. Oxford Ser. 19 (1948), S. 235, Theorem 1.

[8] Michael Francis Atiyah, Ian Grant Macdonald: Introduction to Commutative Algebra. Addison-Wesley, Reading Mass. 1969, Exercises 3., S. 84.

[9] Wolfgang Gröbner: Über irreduzible Ideale in kommutativen Ringen. In: Mathematische Annalen. 110, 1935, Satz 4a. S. 205, GDZ.

[10] Emmy Noether: Idealtheorie in Ringbereichen. In: Mathematische Annalen. 83, 1921, § 2, Satz II., S. 33.

[11] Michael Francis Atiyah, Ian Grant Macdonald: Introduction to Commutative Algebra. Addison-Wesley, Reading Mass. 1969, Lemma 7.11., S. 83.

[12] Emmy Noether: Idealtheorie in Ringbereichen. In: Mathematische Annalen. 83, 1921, § 3, Satz IV., S. 36.

[13] Emmy Noether: Idealtheorie in Ringbereichen. In: Mathematische Annalen. 83, 1921, § 4, Satz VII., S. 41.

[14] Emmy Noether: Idealtheorie in Ringbereichen. In: Mathematische Annalen. 83, 1921, § 7, Satz XIII., S. 50.

[15] Ernst Kunz: Einführung in die algebraische Geometrie. Vieweg, Braunschweig/Wiesbaden 1997, Satz C.30., S. 235.

[16] Ernst Kunz: Einführung in die algebraische Geometrie. Vieweg, Braunschweig/Wiesbaden 1997, Satz C.32., S. 235

[17] David Eisenbud: Commutative Algebra with a View Toward Algebraic Geometry. Springer, 1995, Proof of Theorem 3.10., S. 96.

[18] Emmy Noether: Idealtheorie in Ringbereichen. In: Mathematische Annalen. 83, 1921, § 9, S. 56.

[19] Ladislas Fuchs: On Primal Ideals. In: Proceedings of the American Mathematical Society. Vol. 1, No. 1 (Feb., 1950), S. 3.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]

[15]

[16]

[17]

[18]

[19]