Dedekindbereich/Divisoren und gebrochene Ideale/Beziehung zu effektiven Divisoren und Idealen/Fakt/Beweis/Aufgabe

Es sei ${}R$ ein Dedekindbereich. Zeige die folgenden Aussagen.

1. Es sei ${}{\mathfrak {f}}$ ein gebrochenes Ideal mit einer Darstellung  ${}{\mathfrak {f}}={\frac {\mathfrak {a}}{h}}$  mit  ${}h\in R$  und einem Ideal  ${}{\mathfrak {a}}\subseteq R$.  Dann ist

   ${}\operatorname {div} {\left({\mathfrak {f}}\right)}=\operatorname {div} {\left({\mathfrak {a}}\right)}-\operatorname {div} {\left(h\right)}\,.$

2. Zu einem Divisor ${}D$ mit  ${}E=D+\operatorname {div} {\left(h\right)}$  effektiv ist

   ${}\operatorname {Id} (D)={\frac {\operatorname {Id} (E)}{h}}\,.$

Eine Lösung erstellen