# Dedekindbereich/Effektive Divisoren/Idealzerlegung/Einführung/Textabschnitt
## Definition

Es sei $R$ ein Dedekindbereich. Ein effektiver Divisor ist eine formale Summe
    $\sum _{\mathfrak {p}}n_{\mathfrak {p}}\cdot {\mathfrak {p}},$
die sich über alle Primideale ${\mathfrak {p}}\neq 0$ aus $R$ erstreckt und wobei $n_{\mathfrak {p}}$ natürliche Zahlen sind mit $n_{\mathfrak {p}}=0$ für fast alle ${\mathfrak {p}}$.
Fakt zeigt, dass ein Hauptdivisor zu einem Ringelement $\neq 0$ wirklich ein effektiver Divisor ist. Ein effektiver Divisor gibt für jede Primstelle eine „Verschwindungsordnung“ an. Eine naheliegende Frage ist dann, ob dieses Ordnungsverhalten durch eine Funktion realisiert werden kann, also ob der Divisor ein Hauptdivisor ist. Wir werden im Weiteren sehen, dass die Frage, welche Divisoren Hauptdivisoren sind, eng mit der Frage nach der Faktorialität von Dedekindbereichen zusammenhängt. Der Zugang über Divisoren hat den Vorteil, dass er erlaubt (siehe weiter unten), eine Gruppe, die sogenannte Divisorenklassengruppe einzuführen, die die Abweichung von der Faktorialität messen kann. Die Menge der effektiven Divisoren wird mit $\operatorname {Eff\,Div} {\left(R\right)}$ bezeichnet, es handelt sich um ein kommutatives additives Monoid, das als Monoid von den Primdivisoren ${\mathfrak {p}}$ erzeugt wird.

## Definition

Es sei $R$ ein Dedekindbereich und ${\mathfrak {a}}\neq 0$ ein von $0$ verschiedenes Ideal in $R$. Dann nennt man den Divisor
    $\operatorname {div} {\left({\mathfrak {a}}\right)}=\sum _{\mathfrak {p}}m_{\mathfrak {p}}\cdot {\mathfrak {p}}\,$
mit
    $m_{\mathfrak {p}}=\operatorname {ord} _{\mathfrak {p}}\,({\mathfrak {a}}):=\operatorname {min} \left(\operatorname {ord} _{\mathfrak {p}}\,(f){|}f\in {\mathfrak {a}},\,f\neq 0\right)\,$
den Divisor zum Ideal ${\mathfrak {a}}$.

## Bemerkung

Man kann den Divisor zu einem Ideal auch durch
    $\operatorname {div} {\left({\mathfrak {a}}\right)}=\operatorname {min} {\left\{\operatorname {div} {\left(f\right)}\mid f\in {\mathfrak {a}},\,f\neq 0\right\}}\,$
definieren, wobei das Minimum über Divisoren komponentenweise erklärt ist. Es gibt im Allgemeinen kein Element, das an allen Primstellen simultan das Minimum annimmt. Da zu einem einzelnen Element $0\neq f\in {\mathfrak {a}}$ der zugehörige Hauptdivisor nur an endlich vielen Stellen von $0$ verschieden ist, gilt das erst recht für den Divisor zu einem Ideal.
Die Ordnung $\operatorname {ord} _{\mathfrak {p}}\,({\mathfrak {a}})$ kann man auch als Ordnung des Ideals $\operatorname {ord} ({\mathfrak {a}}R_{\mathfrak {p}})$ im diskreten Bewertungsring $R_{\mathfrak {p}}$ ansehen. Dabei ist ${\mathfrak {a}}R_{\mathfrak {p}}$ das Erweiterungsideal zu ${\mathfrak {a}}$ in $R_{\mathfrak {p}}$. Dieses Ideal hat einen Erzeuger $p^{k}$, wobei $p$ ein Primelement im diskreten Bewertungsring ist; die Ordnung ist dann $k$.

## Lemma

Es sei $R$ ein Dedekindbereich. Dann erfüllt die Zuordnung (für von $0$ verschiedene Ideale)
    ${\mathfrak {a}}\longmapsto \operatorname {div} {\left({\mathfrak {a}}\right)}$
folgende Eigenschaften.

### Beweis

* Für jedes Element $f\in {\mathfrak {p}}$ gilt auch $f\in {\mathfrak {p}}R_{\mathfrak {p}}$ und daher ist $\operatorname {ord} _{\mathfrak {p}}\,(f)\geq 1$. Umgekehrt besitzt der diskrete Bewertungsring $R_{\mathfrak {p}}$ ein Element $p$, das das maximale Ideal ${\mathfrak {p}}R_{\mathfrak {p}}$ erzeugt und die Ordnung $1$ hat. Man kann $p={\frac {a}{b}}$ mit $a,b\in R$ und $b\notin {\mathfrak {p}}$ schreiben. Dabei ist $a\in {\mathfrak {p}}$ und $a$ hat in $R_{\mathfrak {p}}$ die Ordnung $1$. Es sei nun ${\mathfrak {q}}\neq {\mathfrak {p}}$ ein weiteres Primideal $\neq 0$. Da beide Ideale maximal sind gibt es ein Element $g\in {\mathfrak {p}}$, $g\notin {\mathfrak {q}}$. Dieses hat dann in ${\mathfrak {q}}$ die Ordnung $0$.
* Fixiere ein Primideal ${\mathfrak {p}}$. Sei $h\in {\mathfrak {a}}\cdot {\mathfrak {b}}$ und schreibe $h=\sum _{i=1}^{k}f_{i}g_{i}$ mit $f_{i}\in {\mathfrak {a}}$ und $g_{i}\in {\mathfrak {b}}$. Dann ist nach Fakt Für die Umkehrung schreiben wir $\operatorname {div} {\left({\mathfrak {a}}\right)}=\sum _{\mathfrak {q}}n_{\mathfrak {q}}\cdot {\mathfrak {q}}$ und $\operatorname {div} {\left({\mathfrak {b}}\right)}=\sum _{\mathfrak {q}}m_{\mathfrak {q}}\cdot {\mathfrak {q}}$. Zu fixiertem ${\mathfrak {p}}$ gibt es ein $f\in {\mathfrak {a}}$ und ein $g\in {\mathfrak {b}}$ mit $\operatorname {ord} _{\mathfrak {p}}\,(f)=n_{\mathfrak {p}}$ und $\operatorname {ord} _{\mathfrak {p}}\,(g)=m_{\mathfrak {p}}$. Dann ist $fg\in {\mathfrak {a}}{\mathfrak {b}}$ und
    $\operatorname {div} {\left(h\right)}\geq \operatorname {min} \{\operatorname {div} {\left(f_{i}g_{i}\right)}:i=1,\ldots ,k\}\geq \operatorname {min} \{\operatorname {div} {\left(f_{i}\right)}+\operatorname {div} {\left(g_{i}\right)}:i=1,\ldots ,k\}\geq \operatorname {div} {\left({\mathfrak {a}}\right)}+\operatorname {div} {\left({\mathfrak {b}}\right)}\,.$
    $\operatorname {ord} _{\mathfrak {p}}\,(fg)=\operatorname {ord} _{\mathfrak {p}}\,(f)+\operatorname {ord} _{\mathfrak {p}}\,(g)=n_{\mathfrak {p}}+m_{\mathfrak {p}}\,.$
* Das ist trivial.
* Die Abschätzung „$\geq$“ folgt aus $\operatorname {div} {\left(f+g\right)}\geq {\min {\left(\operatorname {div} {\left(f\right)},\operatorname {div} {\left(g\right)}\right)}}$. Die Abschätzung „$\leq$“ folgt aus Teil (3).
$\Box$

## Definition

Es sei $R$ ein Dedekindbereich und
    $D=\sum _{\mathfrak {p}}n_{\mathfrak {p}}\cdot {\mathfrak {p}}\,$
ein effektiver Divisor (wobei ${\mathfrak {p}}$ durch die Menge der Primideale $\neq 0$ läuft). Dann nennt man
    ${\left\{f\in R\mid \operatorname {div} {\left(f\right)}\geq D\right\}}$
das Ideal zum Divisor $D$. Es wird mit $\operatorname {Id} (D)$ bezeichnet.
In der vorstehenden Definition verwenden wir die Konvention, dass in Ungleichungen der Ausdruck $\operatorname {div} {\left(0\right)}$ als $\infty$ zu verstehen ist. Damit gehört also $0$ zu $\operatorname {Id} (D)$. Es ergibt sich sofort, dass es sich in der Tat um ein Ideal handelt. Es ist auch nicht das Nullideal, da wir zu den endlich vielen Primidealen ${\mathfrak {p}}_{i}$, $i=1,\ldots ,k$, mit $n_{i}=n_{{\mathfrak {p}}_{i}}>0$ Elemente $0\neq f_{i}\in {\mathfrak {p}}_{i}$ mit $\operatorname {ord} _{{\mathfrak {p}}_{i}}\,(f_{i})=1$ wählen können. Dann gehört aber das Produkt $f_{1}^{n_{1}}\cdots f_{k}^{n_{k}}$ zu dem zu $D$ gehörenden Ideal.
Der folgende Satz zeigt, dass die beiden soeben eingeführten Zuordnungen zwischen den effektiven Divisoren und den von $0$ verschiedenen Idealen in einem Dedekindbereich invers zueinander sind. Dies sollte man als eine einfache und übersichtliche Beschreibung für die Menge aller Ideale ansehen.

## Satz

Es sei $R$ ein Dedekindbereich.
Dann sind die Zuordnungen
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

Wir starten mit einem Ideal ${\mathfrak {a}}\neq 0$ und vergleichen ${\mathfrak {a}}$ und $\operatorname {Id} (\operatorname {div} {\left({\mathfrak {a}}\right)})$. Es sei zunächst $f\in {\mathfrak {a}}$. Es ist dann $\operatorname {ord} _{\mathfrak {p}}\,(f)\geq \operatorname {min} {\left\{\operatorname {ord} _{\mathfrak {p}}\,(g)\mid g\in {\mathfrak {a}}\right\}}$ für jedes Primideal ${\mathfrak {p}}\neq 0$, sodass natürlich $\operatorname {div} {\left(f\right)}\geq \operatorname {div} {\left({\mathfrak {a}}\right)}$ gilt. Also ist $f\in \operatorname {Id} (\operatorname {div} {\left({\mathfrak {a}}\right)})$. Ist hingegen $f\notin {\mathfrak {a}}$, so gibt es nach Aufgabe auch ein Primideal ${\mathfrak {p}}\neq 0$ mit $f\notin {\mathfrak {a}}R_{\mathfrak {p}}$. Da $R_{\mathfrak {p}}$ ein diskreter Bewertungsring ist, gilt $\operatorname {ord} _{\mathfrak {p}}\,(f)<\operatorname {ord} _{\mathfrak {p}}\,({\mathfrak {a}})$. Also ist $\operatorname {div} {\left(f\right)}\not \geq \operatorname {div} {\left({\mathfrak {a}}\right)}$ und somit $f\notin \operatorname {Id} (\operatorname {div} {\left({\mathfrak {a}}\right)})$. Insbesondere ist die Abbildung injektiv. Die Surjektivität ergibt sich aus Fakt (1) in Verbindung mit Fakt (2), was auch den Zusatz ergibt.
$\Box$