Dedekindbereich/Ideale und Divisoren/Bijektion/Fakt
Es sei ein Dedekindbereich.
Dann sind die Zuordnungen
zueinander inverse Abbildungen zwischen der Menge der von verschiedenen Ideale und der Menge der effektiven Divisoren.
Diese Bijektion übersetzt das Produkt von Idealen in die Summe von Divisoren.