Ein irreduzibles Ideal in einem kommutativen Ring mit ${\displaystyle 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 ${\displaystyle 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.
• 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. 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 ${\displaystyle K[X_{1},\dotsc ,X_{n}]}$ über einem Körper ${\displaystyle K}$ ist ein Monomialideal – also ein Ideal, das von Monomen erzeugt wird – genau dann irreduzibel, wenn es von Potenzen von Variablen erzeugt wird.
• Im Polynomring ${\displaystyle K[X,Y]}$ über einem Körper ${\displaystyle K}$ ist das Ideal ${\displaystyle I=(X^{2},XY,Y^{2})}$ als Potenz des maximalen Ideals ${\displaystyle (X,Y)}$ ein primäres Ideal. Allerdings gilt ${\displaystyle I=(X,Y^{2})\cap (X^{2},Y)}$ und damit ist ${\displaystyle 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 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 ${\displaystyle K[X_{1},\dotsc ,X_{n}]}$ über einem Körper ${\displaystyle K}$ ist eine affine algebraische Varietät, also eine abgeschlossene Menge bezüglich der Zariski-Topologie auf ${\displaystyle 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 ${\displaystyle R}$ ein beliebiger noetherscher kommutativer Ring mit ${\displaystyle 1}$, liefert die Zerlegung eines Ideals ${\displaystyle I\subseteq R}$ in irreduzible Komponenten eine Zerlegung der Nullstellenmenge von ${\displaystyle I}$ im Spektrum von ${\displaystyle 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 und für echte Untermoduln eines noetherschen Moduls gibt es eine Zerlegung in endlich viele irreduzible Moduln, welche die Zerlegung in irreduzible Ideale verallgemeinert. Auch bei einer kürzesten Zerlegung in irreduzible Untermoduln ist die Anzahl der irreduziblen Komponenten eindeutig bestimmt.
• 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.

Einzelnachweise

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.

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