Kurs:Algebraische Zahlentheorie (Osnabrück 2020-2021)/Vorlesung 11/latex
\setcounter{section}{11}
\zwischenueberschrift{Die Ordnung an einem Primideal}
Zu einem
\definitionsverweis {Dedekindbereich}{}{}
$R$ und einem
\definitionsverweis {Primideal}{}{}
\mavergleichskette
{\vergleichskette
{ {\mathfrak p}
}
{ \neq }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist nach
Korollar 10.18
die Lokalisierung $R_{\mathfrak p}$ ein
\definitionsverweis {diskreter Bewertungsring}{}{}
und somit ergibt sich insgesamt eine Abbildung
\mathdisp {R \setminus \{0\} \longrightarrow R_{\mathfrak p} \setminus \{0\} \stackrel{\text{ord} }{\longrightarrow} \N} { . }
\inputdefinition
{}
{
Es sei $R$ ein
\definitionsverweis {Dedekindbereich}{}{,}
\mavergleichskette
{\vergleichskette
{ {\mathfrak p}
}
{ \neq }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ein
\definitionsverweis {Primideal}{}{}
in $R$ und
\mavergleichskette
{\vergleichskette
{f
}
{ \in }{R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
\mavergleichskette
{\vergleichskette
{f
}
{ \neq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Dann heißt die
\definitionsverweis {Ordnung}{}{}
\mathl{\operatorname{ord} \, (f )}{} im
\definitionsverweis {diskreten Bewertungsring}{}{}
$R_{\mathfrak p}$ die \definitionswort {Ordnung}{} von $f$ am Primideal ${\mathfrak p}$
\zusatzklammer {oder an der Primstelle ${\mathfrak p}$ oder in $R_{\mathfrak p}$} {} {.}
Sie wird mit
\mathl{\operatorname{ord}_{ {\mathfrak p} } \, (f)}{} bezeichnet.
}
\inputfaktbeweis
{Dedekindbereich/Ordnung an Primstelle/Erste Eigenschaften/Fakt}
{Lemma}
{}
{
Es sei $R$ ein
\definitionsverweis {Dedekindbereich}{}{}
und
\mavergleichskette
{\vergleichskette
{ {\mathfrak p}
}
{ \neq }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ein
\definitionsverweis {Primideal}{}{}
in $R$. Dann hat die
\definitionsverweis {Ordnung}{}{}
an ${\mathfrak p}$, also die Abbildung
\maabbeledisp {} {R \setminus \{0\}} { \N
} {f} { \operatorname{ord}_{ {\mathfrak p} } \, (f)
} {,}
folgende Eigenschaften.
\aufzaehlungdrei{
\mavergleichskette
{\vergleichskette
{ \operatorname{ord}_{ {\mathfrak p} } \, (fg)
}
{ = }{ \operatorname{ord}_{ {\mathfrak p} } \, (f) + \operatorname{ord}_{ {\mathfrak p} } \, (g)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}{
\mavergleichskette
{\vergleichskette
{ \operatorname{ord}_{ {\mathfrak p} } \, (f+g)
}
{ \geq }{ {\min { \left( \operatorname{ord}_{ {\mathfrak p} } \, (f) , \operatorname{ord}_{ {\mathfrak p} } \, (g) \right) } }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}{Es ist
\mavergleichskette
{\vergleichskette
{f
}
{ \in }{ {\mathfrak p}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
genau dann, wenn
\mavergleichskette
{\vergleichskette
{ \operatorname{ord}_{ {\mathfrak p} } \, (f)
}
{ \geq }{ 1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}}
}
{
(1) und (2) folgen direkt aus
Lemma 10.15.
Bei (3) ist zu beachten, dass für
\mavergleichskette
{\vergleichskette
{f
}
{ \in }{R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gilt, dass
\mavergleichskette
{\vergleichskette
{f
}
{ \in }{ {\mathfrak p}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
genau dann gilt, wenn
\mavergleichskette
{\vergleichskette
{f
}
{ \in }{ {\mathfrak p} R_{\mathfrak p}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist. Letzteres bedeutet nämlich, dass
\mavergleichskette
{\vergleichskette
{f
}
{ = }{ q_1f_1 + \cdots + q_nf_n
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit
\mavergleichskette
{\vergleichskette
{f_i
}
{ \in }{ {\mathfrak p}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{q_i
}
{ \in }{ R_{\mathfrak p}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist, also
\mavergleichskette
{\vergleichskette
{q_i
}
{ = }{ { \frac{ r_i }{ s_i } }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit
\mavergleichskette
{\vergleichskette
{s_i
}
{ \notin }{ {\mathfrak p}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Mit dem Hauptnenner
\mavergleichskette
{\vergleichskette
{s
}
{ = }{s_1 \cdots s_n
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist dann
\mavergleichskette
{\vergleichskette
{sf
}
{ = }{ a_1f_1 + \cdots + a_n f_n
}
{ \in }{ {\mathfrak p}
}
{ }{
}
{ }{
}
}
{}{}{,}
woraus
\mavergleichskette
{\vergleichskette
{f
}
{ \in }{ {\mathfrak p}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
folgt. Damit folgt die Behauptung aus
Lemma 10.15.
\inputdefinition
{}
{
Es sei $R$ ein
\definitionsverweis {Dedekindbereich}{}{}
und
\mathbed {f \in R} {}
{f \neq 0} {}
{} {} {} {.}
Dann heißt die Abbildung, die jedem
\definitionsverweis {Primideal}{}{}
\mavergleichskette
{\vergleichskette
{ {\mathfrak p}
}
{ \neq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
in $R$ die
\definitionsverweis {Ordnung}{}{}
\mathl{\operatorname{ord}_{ {\mathfrak p} } \, (f)}{} zuordnet, der durch $f$ definierte \definitionswort {Hauptdivisor}{.} Er wird mit $\operatorname{div} { \left( f \right) }$ bezeichnet und als formale Summe
\mavergleichskettedisp
{\vergleichskette
{ \operatorname{div} { \left( f \right) }
}
{ =} { \sum_{\mathfrak p} \operatorname{ord}_{ {\mathfrak p} } \, (f) \cdot {\mathfrak p}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
geschrieben.
}
Die Ordnung an einem Primideal nennt man in diesem Zusammenhang auch die Verschwindungsordnung. Die Ordnung ist ja genau dann positiv, wenn $f$ zum Primideal ${\mathfrak p}$ gehört, und dies ist genau dann der Fall, wenn unter der Abbildung
\mathdisp {R \longrightarrow R/ {\mathfrak p} \longrightarrow Q(R/{\mathfrak p})} { }
das Element $f$ auf $0$ abgebildet wird, also an dieser Stelle verschwindet. Eine höhere Verschwindungsordnung bedeutet, dass $f$ nicht nur einfach, sondern mit einer gewissen Vielfachheit verschwindet. Der Hauptdivisor zu $f$ notiert also, mit welcher Verschwindungsordnung die Funktion $f$ an den verschiedenen Primstellen verschwindet.
\inputbemerkung
{}
{
Es sei $R$ ein
\definitionsverweis {faktorieller}{}{} \definitionsverweis {Dedekindbereich}{}{.}
Dann lässt sich der
\definitionsverweis {Hauptdivisor}{}{}
zu einem Ringelement
\mathbed {f \in R} {}
{f \neq 0} {}
{} {} {} {,}
unmittelbar aus der Primfaktorzerlegung ablesen. Wenn
\mavergleichskettedisp
{\vergleichskette
{f
}
{ =} { u p_1^{r_1} \cdots p_k^{ r_k}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
mit einer Einheit $u$ und paarweise nicht assoziierten Primelementen $p_i$ ist, so ist der Hauptdivisor zu $f$ gleich
\mavergleichskettedisp
{\vergleichskette
{ \operatorname{div} { \left( f \right) }
}
{ =} { \sum_{ i = 1}^k r_i (p_i)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Dies beruht einfach darauf, dass die Ordnung von $f$ in der Lokalisierung
\mathl{R_{(p_i)}}{} gleich $r_i$ ist.
}
\inputfaktbeweis
{Dedekindbereich/Hauptdivisor/Erste Eigenschaften/Fakt}
{Lemma}
{}
{
Es sei $R$ ein
\definitionsverweis {Dedekindbereich}{}{.}
Dann hat die Abbildung, die einem Ringelement $\neq 0$ den
\definitionsverweis {Hauptdivisor}{}{}
zuordnet, also
\maabbeledisp {} {R \setminus \{0\} } { \operatorname{Hauptdivisoren}
} {f} { \operatorname{div} { \left( f \right) }
} {,}
folgende Eigenschaften.
\aufzaehlungdrei{
\mavergleichskettedisp
{\vergleichskette
{ \operatorname{div} { \left( fg \right) }
}
{ =} { \operatorname{div} { \left( f \right) } + \operatorname{div} { \left( g \right) }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
}{
\mavergleichskettedisp
{\vergleichskette
{ \operatorname{div} { \left( f+g \right) }
}
{ \geq} { {\min { \left( \operatorname{div} { \left( f \right) } , \operatorname{div} { \left( g \right) } \right) } }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
}{Es ist $f$ genau dann eine
\definitionsverweis {Einheit}{}{,}
wenn
\mavergleichskette
{\vergleichskette
{ \operatorname{div} { \left( f \right) }
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist.
}
}
{
Dies folgt direkt aus Lemma 11.2 durch Betrachtung an den einzelnen Primidealen.
\inputfaktbeweis
{Dedekindbereich/Hauptdivisor/Endlich/Fakt}
{Lemma}
{}
{
\faktsituation {Es sei $R$ ein
\definitionsverweis {Dedekindbereich}{}{}
und
\mathbed {f \in R} {}
{f \neq 0} {}
{} {} {} {.}}
\faktfolgerung {Dann ist nur für endlich viele
\definitionsverweis {Primideale}{}{}
\mavergleichskette
{\vergleichskette
{ {\mathfrak p}
}
{ \neq }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
in $R$ die
\definitionsverweis {Ordnung}{}{}
\mathl{\operatorname{ord}_{ {\mathfrak p} } \, (f)}{} von $0$ verschieden.}
\faktzusatz {Das heißt, dass der
\definitionsverweis {Hauptdivisor}{}{}
\mavergleichskette
{\vergleichskette
{ \operatorname{div} (f)
}
{ = }{\sum_{\mathfrak p} \operatorname{ord}_{ {\mathfrak p} } \, (f) \cdot {\mathfrak p}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
eine endliche Summe ist.}
\faktzusatz {}
}
{
Es ist $R/(f)$ nulldimensional, deshalb folgt die Aussage aus [[Krulldimension/Noethersch/Charakterisierung von nulldimensional/Fakt|Kurs:Algebraische Zahlentheorie (Osnabrück 2020-2021)/Krulldimension/Noethersch/Charakterisierung von nulldimensional/Fakt/Beweis/Aufgabe/Faktreferenznummer ]].
Im zahlentheoretischen Kontext folgt die letzte Aussage auch direkt aus der Endlichkeit der Restklassenringe.
\inputbeispiel{}
{
Wir betrachten im
\definitionsverweis {quadratischen Zahlbereich}{}{}
$R$ zu
\mavergleichskette
{\vergleichskette
{D
}
{ = }{-5
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
also
\mavergleichskette
{\vergleichskette
{R
}
{ = }{A_{-5}
}
{ = }{ \Z[ \sqrt{-5}]
}
{ = }{ \Z[X]/(X^2+5)
}
{ }{
}
}
{}{}{,}
das
\definitionsverweis {Ideal}{}{}
\mavergleichskettedisp
{\vergleichskette
{ {\mathfrak p}
}
{ =} { (2, 1+ \sqrt{-5})
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Nach
Beispiel 10.7
ist dies kein
\definitionsverweis {Hauptideal}{}{.}
Wir wollen die Hauptdivisoren zu den beiden Idealerzeugern
\mathkor {} {2} {und} {1 + \sqrt{-5}} {}
berechnen. Der erste Schritt ist dabei, die Primideale oberhalb des Elementes zu bestimmen, was am einfachsten durch eine Restklassenbetrachtung geschieht. Der Restklassenring modulo $2$ ist
\mavergleichskettedisp
{\vergleichskette
{ R/(2)
}
{ =} { \Z[X]/(X^2+5,2)
}
{ =} { \Z/(2) [X]/(X^2+5)
}
{ =} { \Z/(2) [X]/(X^2+1)
}
{ =} { \Z/(2) [X]/(X+1)^2
}
}
{}{}{.}
Dies ist ein
\definitionsverweis {nichtreduzierter Ring}{}{}
mit nur einem maximalen Ideal. In der Lokalisierung $R_{(2,1+\sqrt{-5} ) }$ gilt
\mavergleichskettedisp
{\vergleichskette
{2
}
{ =} { { \frac{ 1 }{ { \left( -2 + \sqrt{5} \right) } } } { \left( 1+\sqrt{-5} \right) }^2
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
was zeigt, dass $1+\sqrt{-5}$ dort ein Erzeuger des maximalen Ideals ist und dass die Ordnung von $2$ dort gleich $2$ ist. Deshalb gilt
\mavergleichskettedisp
{\vergleichskette
{ \operatorname{div} { \left( 2 \right) }
}
{ =} { 2 {\mathfrak p}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Wegen
\mavergleichskettedisp
{\vergleichskette
{R/(1+ \sqrt{-5})
}
{ =} { \Z [X]/(X^2+5, 1+X)
}
{ =} { \Z/(6)
}
{ =} { \Z/(2) \times \Z/(3)
}
{ } {
}
}
{}{}{}
ist
\mathl{1+ \sqrt{-5}}{} auch noch im Primideal
\mavergleichskette
{\vergleichskette
{ {\mathfrak q}
}
{ = }{ (3,1+ \sqrt{-5})
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
enthalten und besitzt dort ebenfalls die Ordnung $1$. Daher ist
\mavergleichskettedisp
{\vergleichskette
{ \operatorname{div} { \left( 1+ \sqrt{-5} \right) }
}
{ =} { {\mathfrak p} + {\mathfrak q}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
}
\zwischenueberschrift{Effektive Divisoren}
\inputdefinition
{}
{
Es sei $R$ ein
\definitionsverweis {Dedekindbereich}{}{.}
Ein \definitionswort {effektiver Divisor}{} ist eine formale Summe
\mathdisp {\sum_{\mathfrak p} n_{\mathfrak p} \cdot {\mathfrak p}} { , }
die sich über alle
\definitionsverweis {Primideale}{}{}
\mavergleichskette
{\vergleichskette
{ {\mathfrak p}
}
{ \neq }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
aus $R$ erstreckt und wobei $n_{\mathfrak p}$ natürliche Zahlen sind mit
\mavergleichskette
{\vergleichskette
{ n_{\mathfrak p}
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
für fast alle ${\mathfrak p}$.
}
Lemma 11.6
zeigt, dass ein Hauptdivisor zu einem Ringelement $\neq 0$ wirklich ein effektiver Divisor ist. Ein effektiver Divisor gibt für jede Primstelle eine \anfuehrung{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
\zusatzklammer {siehe weiter unten} {} {,}
eine Gruppe, die sogenannte \stichwort {Divisorenklassengruppe} {} einzuführen, die die Abweichung von der Faktorialität messen kann. Die Menge der effektiven Divisoren wird mit
\mathl{\operatorname{Eff \, Div} { \left( R \right) }}{} bezeichnet, es handelt sich um ein kommutatives additives
\definitionsverweis {Monoid}{}{,}
das als Monoid von den \stichwort {Primdivisoren} {} ${\mathfrak p}$ erzeugt wird.
\inputdefinition
{}
{
Es sei $R$ ein
\definitionsverweis {Dedekindbereich}{}{}
und
\mavergleichskette
{\vergleichskette
{ {\mathfrak a}
}
{ \neq }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ein von $0$ verschiedenes
\definitionsverweis {Ideal}{}{}
in $R$. Dann nennt man den
\definitionsverweis {Divisor}{}{}
\mavergleichskettedisp
{\vergleichskette
{ \operatorname{div} { \left( {\mathfrak a} \right) }
}
{ =} {\sum_{\mathfrak p} m_{\mathfrak p} \cdot {\mathfrak p}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
mit
\mavergleichskettedisp
{\vergleichskette
{ m_{\mathfrak p}
}
{ =} { \operatorname{ord}_{ {\mathfrak p} } \, ( {\mathfrak a} )
}
{ \defeq} { \operatorname{min} \left( \operatorname{ord}_{ {\mathfrak p} } \, (f) {{|}} f \in {\mathfrak a} ,\, f \neq 0 \right)
}
{ } {
}
{ } {
}
}
{}{}{}
den \definitionswort {Divisor zum Ideal}{} ${\mathfrak a}$.
}
\inputbemerkung
{}
{
Man kann den
\definitionsverweis {Divisor zu einem Ideal}{}{}
auch durch
\mavergleichskettedisp
{\vergleichskette
{ \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
\mavergleichskette
{\vergleichskette
{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
\mathl{\operatorname{ord}_{ {\mathfrak p} } \, ( {\mathfrak a} )}{} kann man auch als Ordnung des Ideals
\mathl{\operatorname{ord}( {\mathfrak a} R_ {\mathfrak p})}{} im diskreten Bewertungsring $R_{\mathfrak p}$ ansehen. Dabei ist
\mathl{{\mathfrak a} R_ {\mathfrak p}}{} das
\definitionsverweis {Erweiterungsideal}{}{}
zu ${\mathfrak a}$ in
\mathl{R_{\mathfrak p}}{.} Dieses Ideal hat einen Erzeuger $p^k$, wobei $p$ ein Primelement im diskreten Bewertungsring ist; die Ordnung ist dann $k$.
}
\inputfaktbeweis
{Dedekindbereich/Ideale und Divisoren/Verträglichkeit mit Operationen/Fakt}
{Lemma}
{}
{
\faktsituation {Es sei $R$ ein
\definitionsverweis {Dedekindbereich}{}{.}}
\faktuebergang {Dann erfüllt die Zuordnung
\zusatzklammer {für von $0$ verschiedene
\definitionsverweis {Ideale}{}{}} {} {}
\mathdisp {{\mathfrak a} \longmapsto \operatorname{div} { \left( {\mathfrak a} \right) }} { }
folgende Eigenschaften.}
\faktfolgerung {\aufzaehlungvier{
\mavergleichskettedisp
{\vergleichskette
{ \operatorname{div} { \left( {\mathfrak p} \right) }
}
{ =} { 1 \cdot {\mathfrak p}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
für ein Primideal
\mavergleichskette
{\vergleichskette
{ {\mathfrak p}
}
{ \neq }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}{
\mavergleichskettedisp
{\vergleichskette
{ \operatorname{div} { \left( {\mathfrak a} \cdot {\mathfrak b} \right) }
}
{ =} { \operatorname{div} { \left( {\mathfrak a} \right) } + \operatorname{div} { \left( {\mathfrak b} \right) }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
}{Für
\mavergleichskette
{\vergleichskette
{ {\mathfrak a}
}
{ \subseteq }{ {\mathfrak b}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist
\mavergleichskette
{\vergleichskette
{ \operatorname{div} { \left( {\mathfrak a} \right) }
}
{ \geq }{ \operatorname{div} \operatorname{div} { \left( {\mathfrak b} \right) }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}{
\mavergleichskettedisp
{\vergleichskette
{ \operatorname{div} { \left( {\mathfrak a} + {\mathfrak b} \right) }
}
{ =} { \operatorname{min} \{ \operatorname{div} { \left( {\mathfrak a} \right) } , \operatorname{div} { \left( {\mathfrak b} \right) } \}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
}}
\faktzusatz {}
\faktzusatz {}
}
{
\aufzaehlungvier{Für jedes Element
\mavergleichskette
{\vergleichskette
{f
}
{ \in }{ {\mathfrak p}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gilt auch
\mavergleichskette
{\vergleichskette
{f
}
{ \in }{ {\mathfrak p} R_{\mathfrak p}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und daher ist
\mavergleichskette
{\vergleichskette
{ \operatorname{ord}_{ {\mathfrak p} } \, (f)
}
{ \geq }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Umgekehrt besitzt der diskrete Bewertungsring $R_{\mathfrak p}$ ein Element $p$, das das maximale Ideal
\mathl{{\mathfrak p} R_{\mathfrak p}}{} erzeugt und die Ordnung $1$ hat. Man kann
\mavergleichskette
{\vergleichskette
{p
}
{ = }{ { \frac{ a }{ b } }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit
\mavergleichskette
{\vergleichskette
{a,b
}
{ \in }{R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{b
}
{ \notin }{ {\mathfrak p}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
schreiben. Dabei ist
\mavergleichskette
{\vergleichskette
{a
}
{ \in }{ {\mathfrak p}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und $a$ hat in $R_{\mathfrak p}$ die Ordnung $1$.
Es sei nun
\mavergleichskette
{\vergleichskette
{ {\mathfrak q}
}
{ \neq }{ {\mathfrak p}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ein weiteres Primideal $\neq 0$. Da beide Ideale maximal sind gibt es ein Element
\mavergleichskette
{\vergleichskette
{g
}
{ \in }{{\mathfrak p}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
\mavergleichskette
{\vergleichskette
{g
}
{ \notin }{{\mathfrak q}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Dieses hat dann in ${\mathfrak q}$ die Ordnung $0$.
}{Fixiere ein Primideal ${\mathfrak p}$. Sei
\mavergleichskette
{\vergleichskette
{h
}
{ \in }{{\mathfrak a} \cdot {\mathfrak b}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und schreibe
\mavergleichskette
{\vergleichskette
{h
}
{ = }{ \sum_{i = 1}^k f_ig_i
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit
\mavergleichskette
{\vergleichskette
{f_i
}
{ \in }{ {\mathfrak a}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{g_i
}
{ \in }{ {\mathfrak b}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Dann ist nach
Lemma 11.5
\mavergleichskettedisp
{\vergleichskette
{ \operatorname{div} { \left( h \right) }
}
{ \geq} { \operatorname{min} \{ \operatorname{div} { \left( f_ig_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) }
}
{ } {}
}
{}{}{.}
Für die Umkehrung schreiben wir
\mathkor {} {\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
\mavergleichskette
{\vergleichskette
{f
}
{ \in }{ {\mathfrak a}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und ein
\mavergleichskette
{\vergleichskette
{g
}
{ \in }{ {\mathfrak b}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit
\mavergleichskette
{\vergleichskette
{ \operatorname{ord}_{ {\mathfrak p} } \, (f)
}
{ = }{ n_{\mathfrak p}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{ \operatorname{ord}_{ {\mathfrak p} } \, (g)
}
{ = }{ m_{\mathfrak p}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Dann ist
\mavergleichskette
{\vergleichskette
{fg
}
{ \in }{ {\mathfrak a} {\mathfrak b}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskettedisp
{\vergleichskette
{ \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 \anfuehrung{$\geq$}{} folgt aus
\mavergleichskette
{\vergleichskette
{ \operatorname{div} { \left( f+g \right) }
}
{ \geq }{ {\min { \left( \operatorname{div} { \left( f \right) } , \operatorname{div} { \left( g \right) } \right) } }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Die Abschätzung \anfuehrung{$\leq$}{} folgt aus Teil (3).
}
\inputdefinition
{}
{
Es sei $R$ ein
\definitionsverweis {Dedekindbereich}{}{}
und
\mavergleichskettedisp
{\vergleichskette
{D
}
{ =} {\sum_{\mathfrak p} n_{\mathfrak p} \cdot {\mathfrak p}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
ein
\definitionsverweis {effektiver Divisor}{}{}
\zusatzklammer {wobei ${\mathfrak p}$ durch die Menge der Primideale $\neq 0$ läuft} {} {.}
Dann nennt man
\mathdisp {{ \left\{ f \in R \mid \operatorname{div} { \left( f \right) } \geq D \right\} }} { }
das \definitionswort {Ideal zum Divisor}{} $D$. Es wird mit
\mathl{\operatorname{Id} (D)}{} bezeichnet.
}
In der vorstehenden Definition verwenden wir die Konvention, dass in Ungleichungen der Ausdruck
\mathl{\operatorname{div} { \left( 0 \right) }}{} als $\infty$ zu verstehen ist. Damit gehört also $0$ zu
\mathl{\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
\mathbed {{\mathfrak p}_i} {}
{i=1 , \ldots , k} {}
{} {} {} {,}
mit
\mavergleichskette
{\vergleichskette
{n_i
}
{ = }{ n_{ {\mathfrak p}_i}
}
{ > }{ 0
}
{ }{
}
{ }{
}
}
{}{}{}
Elemente
\mavergleichskette
{\vergleichskette
{0
}
{ \neq }{ f_i
}
{ \in }{{\mathfrak p}_i
}
{ }{
}
{ }{
}
}
{}{}{}
mit
\mavergleichskette
{\vergleichskette
{ \operatorname{ord}_{ {\mathfrak p}_i } \, (f_i)
}
{ = }{ 1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
wählen können. Dann gehört aber das Produkt
\mathl{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.
\inputfaktbeweis
{Dedekindbereich/Ideale und Divisoren/Bijektion/Fakt}
{Satz}
{}
{
\faktsituation {Es sei $R$ ein
\definitionsverweis {Dedekindbereich}{}{.}}
\faktfolgerung {Dann sind die Zuordnungen
\mathdisp {{\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
\definitionsverweis {Ideale}{}{}
und der Menge der
\definitionsverweis {effektiven Divisoren}{}{.}}
\faktzusatz {Diese Bijektion übersetzt das Produkt von Idealen in die Summe von Divisoren.}
\faktzusatz {}
}
{
Wir starten mit einem Ideal
\mavergleichskette
{\vergleichskette
{ {\mathfrak a}
}
{ \neq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und vergleichen
\mathkor {} {{\mathfrak a}} {und} {\operatorname{Id} ( \operatorname{div} { \left( {\mathfrak a} \right) } )} {.}
Es sei zunächst
\mavergleichskette
{\vergleichskette
{f
}
{ \in }{{\mathfrak a}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Es ist dann
\mavergleichskette
{\vergleichskette
{ \operatorname{ord}_{ {\mathfrak p} } \, (f)
}
{ \geq }{ \operatorname{min} { \left\{ \operatorname{ord}_{ {\mathfrak p} } \, (g) \mid g \in {\mathfrak a} \right\} }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
für jedes Primideal
\mavergleichskette
{\vergleichskette
{ {\mathfrak p}
}
{ \neq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
sodass natürlich
\mavergleichskette
{\vergleichskette
{ \operatorname{div} { \left( f \right) }
}
{ \geq }{ \operatorname{div} { \left( {\mathfrak a} \right) }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gilt. Also ist
\mavergleichskette
{\vergleichskette
{f
}
{ \in }{ \operatorname{Id}(\operatorname{div} { \left( {\mathfrak a} \right) } )
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Ist hingegen
\mavergleichskette
{\vergleichskette
{f
}
{ \notin }{ {\mathfrak a}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
so gibt es
nach Aufgabe 4.19
auch ein Primideal
\mavergleichskette
{\vergleichskette
{ {\mathfrak p}
}
{ \neq }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit
\mavergleichskette
{\vergleichskette
{f
}
{ \notin }{ {\mathfrak a} R_{\mathfrak p}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Da $R_{\mathfrak p}$ ein
\definitionsverweis {diskreter Bewertungsring}{}{}
ist, gilt
\mavergleichskette
{\vergleichskette
{ \operatorname{ord}_{ {\mathfrak p} } \, (f)
}
{ < }{ \operatorname{ord}_{ {\mathfrak p} } \, ( {\mathfrak a} )
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Also ist
\mavergleichskette
{\vergleichskette
{ \operatorname{div} { \left( f \right) }
}
{ \not\geq }{ \operatorname{div} { \left( {\mathfrak a} \right) }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und somit
\mavergleichskette
{\vergleichskette
{f
}
{ \notin }{\operatorname{Id}(\operatorname{div} { \left( {\mathfrak a} \right) } )
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Insbesondere ist die Abbildung injektiv. Die Surjektivität ergibt sich aus
Lemma 11.11 (1)
in Verbindung mit
Lemma 11.11 (2),
was auch den Zusatz ergibt.