Dedekindbereich/Ideale und Divisoren/Bijektion/Fakt

Dann sind die Zuordnungen

${\mathfrak {a}}\longmapsto \operatorname {div} {\left({\mathfrak {a}}\right)}{\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.

This article is issued from Wikiversity. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.