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 haben zu 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