Zahlbereich/Ideale und Divisoren/Bijektion/Fakt

Es sei ${}R$ ein Zahlbereich.

Dann sind die Zuordnungen

${\mathfrak {a}}\longmapsto \operatorname {div} ({\mathfrak {a}}){\text{ und }}D\longmapsto \operatorname {Id} (D)$

zueinander inverse Abbildungen zwischen der Menge der von ${}0$ verschiedenen Ideale und der Menge der effektiven Divisoren.

Diese Bijektion übersetzt das Produkt von Idealen in die Summe von Divisoren.

Beweis 1, 2, Alternativen Beweis erstellen