7.3 Zerlegung von Idealen in Primideale in Dedekindringen
Sei \(A\) ein Dedekindring mit Quotientenkörper \(K\).
Jedes Ideal \(\ne 0\) von \(A\) ist ein gebrochenes Ideal. Ist \(x\in A\), \(x\ne 0\), so ist \(x^{-1}A\) ein gebrochenes Ideal von \(A\).
Sei \(\mathfrak a\subseteq A\) ein gebrochenes Ideal. Wir setzen
Dies ist wieder ein gebrochenes Ideal von \(K\).
Für gebrochene Ideale \(\mathfrak a\), \(\mathfrak b\) von \(A\) definieren wir ihr Produkt durch
d.h. als den von allen Produkten von Elementen aus \(\mathfrak a\) und \(\mathfrak b\) erzeugten \(A\)-Untermodul von \(K\), vergleiche Definition 2.11. Für \(n\ge 1\) definieren wir \(\mathfrak a^n = \mathfrak a\cdot \cdots \cdot \mathfrak a\) (\(n\) Faktoren), für \(n {\lt} 0\) sei \(\mathfrak a^n := (\mathfrak a^{-1})^{-n}\). Wir setzen \(\mathfrak a^0 := (1)\).
Sei \(A\) ein diskreter Bewertungsring mit maximalem Ideal \(\mathfrak m\). Dann sind die gebrochenen Ideale von \(A\) gerade die Untermoduln \(\mathfrak m^d\), \(d\in \mathbb Z\).
Sei \(A\) ein Dedekindring. Seien \(\mathfrak a\), \(\mathfrak b\) gebrochene Ideale von \(A\). Dann gilt:
Sei \(\mathfrak p\in \operatorname{Spec}A\). Wie üblich bezeichnen wir für jeden \(A\)-Modul \(\mathfrak a\) mit \(\mathfrak a_{\mathfrak p}\) die Lokalisierung bezüglich \(S =A\setminus \mathfrak p\). Dann gilt
\((\mathfrak a + \mathfrak b)_{\mathfrak p} = \mathfrak a_{\mathfrak p} +\mathfrak b_{\mathfrak p}\),
\((\mathfrak a \mathfrak b)_{\mathfrak p} = \mathfrak a_{\mathfrak p} \cdot \mathfrak b_{\mathfrak p}\),
\((\mathfrak a^{-1})_{\mathfrak p} = (\mathfrak a_{\mathfrak p})^{-1}\).
Es gilt genau dann \(\mathfrak a =\mathfrak b\), wenn für alle \(\mathfrak p\in \operatorname{Spec}A\) gilt: \(\mathfrak a_{\mathfrak p} =\mathfrak b_{\mathfrak p}\).
Sei \(A\) ein Dedekindring. Dann ist die Menge der gebrochenen Ideale von \(A\) eine Gruppe bezüglich des soeben definierten Produkts. Das neutrale Element ist das Ideal \(A\). Das Inverse eines gebrochenen Ideals \(\mathfrak a\) ist \(\mathfrak a^{-1}\). Insbesondere gilt \(\mathfrak a\mathfrak a^{-1}=A\) und \((\mathfrak a^{-1})^{-1} = \mathfrak a\) für alle gebrochenen Ideale \(\mathfrak a\).
Sei \(A\) ein Dedekindring, und sei \(\mathfrak a\subseteq A\) ein Ideal \(\ne 0\). Dann existieren endlich viele paarweise verschiedene Primideale \(\mathfrak p_1,\dots , \mathfrak p_r\) und natürliche Zahlen \(n_i \ge 1\), so dass
Dabei ist \(r\) eindeutig bestimmt, und die \(\mathfrak p_i\) und \(n_i\) sind eindeutig bestimmt bis auf die Reihenfolge.
Für das Einsideal ist die durch das Theorem gegebene Zerlegung das leere Produkt. Mit den Notationen des Theorems gilt: Die Primideale, in denen \(\mathfrak a\) enthalten ist, sind genau \(\mathfrak p_1, \dots , \mathfrak p_r\).
Man kann zeigen, dass jeder Integritätsring, der kein Körper ist, und in dem sich jedes Ideal \(\ne 0\) als endliches Produkt von Primidealen schreiben lässt, ein Dedekindring ist, siehe [ M2 ] Theorem 11.6.
Der ganze Abschluss von \(\mathbb Z\) in \(\mathbb Q(\sqrt{-5})\) ist der Ring \(A:=\mathbb Z[\sqrt{-5}]\). Der Ring \(A\) ist also ein Dedekindring. Er ist allerdings nicht faktoriell, zum Beispiel sind
zwei verschiedene Zerlegungen von \(6\) in Produkte irreduzibler Elemente. Die Ideale \((2)\), \((3)\), \((1-\sqrt{-5})\) und \((1+\sqrt{-5})\) sind keine Primideale. Die Ideale
sind Primideale und es gilt
und die obige Zerlegung erklärt sich als