Eine Dedekind-Domäne ist ein Integritätsbereich, der noethersch ist, in seinem Bruchkörper integral abgeschlossen und von Krull-Dimension eins; äquivalent faktorisiert jedes von Null verschiedene echte Ideal eindeutig als Produkt von Primidealen. Dedekind-Domänen bilden den natürlichen Rahmen für Idealzerlegungen in der algebraischen Zahlentheorie.

Prinzip

Die lokale Eindimensionalität zusammen mit integraler Abgeschlossenheit und der noetherschen Eigenschaft erzwingen ein idealhaftes Verhalten analog zur eindeutigen Primfaktorzerlegung von ganzen Zahlen und ersetzen die Elementfaktorisierung, wenn diese versagt.

Demonstration

Der Ring der Ganzheitszahlen eines Zahlkörpers ist ein klassisches Beispiel: nichtverschwindende Ideale zerlegen sich eindeutig in Primideale, und wo Elemente keine eindeutige Zerlegung in Irreduzible besitzen, zerlegen sich Ideale dennoch eindeutig, wodurch die Ideal-Klassengruppe entsteht.

Fehlanwendung

Dedekind-Domänen mit eindeutigen Faktorisierungsbereichen (UFD) zu verwechseln; eine Dedekind-Domäne muss kein UFD sein, Elemente können trotz eindeutiger Zerlegung von Idealen nicht eindeutig faktorisieren.

Konsequenz

In einer Dedekind-Domäne ist jedes von Null verschiedene Bruchideal invertierbar und die Menge der von Null verschiedenen Bruchideale bildet eine abelsche Gruppe; der Quotient nach den prinzipalen Bruchidealen ergibt die Ideal-Klassengruppe, deren Trivialität PIDs unter den Dedekind-Domänen charakterisiert.

Umkehrung

Umgekehrt betrachtet führen fehlende Voraussetzungen zu Ringen, in denen Ideale nicht eindeutig zerlegbar sind (höherdimensionale Ringe oder nicht-integral abgeschlossene Ringe), was die Idealarithmetik erschwert und die Gruppenstruktur invertierbarer Ideale untergräbt.

Abgrenzung

Die Definition setzt einen Integritätsbereich und die noetherschen, integral abgeschlossenen und eindimensionalen Bedingungen voraus; viele nützliche Ringe (höherdimensionale Ringe, nicht-noethersch, Ringe mit Nullteilern) liegen außerhalb dieser Klasse.

Semantische Spannung

Dedekind-Domäne versus UFD: Beide kontrollieren Faktorisierung, aber auf unterschiedlichen Ebenen (Ideale vs. Elemente); Dedekind-Domäne versus PID: Jeder PID ist Dedekind, aber nicht umgekehrt, Principialität der Ideale ist eine stärkere Forderung.

Synthese

Eine Dedekind-Domäne ist ein eindimensionaler noetherscher integraler Abschluss, in dem jedes nichtnullte Ideal eindeutig in Primideale zerfällt; sie stellt eine multiplikative Idealtheorie wieder her, die das mögliche Versagen der Elementarfaktorisierung kompensiert und die Klassengruppentheorie trägt.