Dedekindbereich/Ideale und Divisoren/Bijektion/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen

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.