Dedekind/Ideale und Divisoren/Gebrochenes Ideal/Fakt/Beweis

Beweis

Es sei  ${}{\mathfrak {f}}={\left\{f\in Q(R)\mid \operatorname {div} {\left(f\right)}\geq D\right\}}$.  Gemäß der Konvention, dass  ${}\operatorname {div} {\left(0\right)}=\infty$  zu interpretieren ist, ist  ${}0\in {\mathfrak {f}}$.  Für Elemente  ${}f_{1},f_{2}\in Q(R)$  mit  ${}\operatorname {div} {\left(f_{1}\right)},\operatorname {div} {\left(f_{2}\right)}\geq D$  gilt nach Fakt

${}\operatorname {div} {\left(f_{1}+f_{2}\right)}\geq {\min {\left(\operatorname {div} {\left(f_{1}\right)},\operatorname {div} {\left(f_{2}\right)}\right)}}\geq D\,$

und

${}\operatorname {div} {\left(rf\right)}=\operatorname {div} {\left(r\right)}+\operatorname {div} {\left(f\right)}\geq D\,$

für  ${}r\in R$,  da ja ${}\operatorname {div} {\left(r\right)}$ effektiv ist. Also liegt in der Tat ein ${}R$-Modul vor.

Bevor wir die endliche Erzeugtheit nachweisen, betrachten wir die zweite Aussage. Es sei also ${}E$ ein effektiver Divisor. Wir müssen zeigen, dass

${}{\left\{f\in Q(R)\mid \operatorname {div} {\left(f\right)}\geq E\right\}}={\left\{f\in R\mid \operatorname {div} {\left(f\right)}\geq E\right\}}\,$

ist, wobei die Inklusion ${}\supseteq$ klar ist. Die andere Inklusion folgt aus Fakt  (3).

Zum Nachweis der endlichen Erzeugtheit bemerken wir, dass es nach Fakt  (4) zu jedem Divisor ${}D$ ein  ${}r\in R$  derart gibt, dass  ${}D'=D+\operatorname {div} {\left(r\right)}$  effektiv ist. Das zu ${}D'$ gehörige gebrochene Ideal ist dann ein Ideal, also endlich erzeugt, und dies überträgt sich auf das gebrochene Ideal zu ${}D$.

Zur bewiesenen Aussage