Kurs:Algebraische Zahlentheorie (Osnabrück 2020-2021)/Vorlesung 13/latex
\setcounter{section}{13}
\zwischenueberschrift{Divisoren}
Die Menge der effektiven Divisoren zu einem
\definitionsverweis {Dedekindbereich}{}{}
bilden mit der natürlichen Addition ein kommutatives Monoid, aber keine Gruppe, da ja die Koeffizienten $n_{\mathfrak p}$ alle nichtnegativ sind. Lässt man auch negative ganze Zahlen zu, so gelangt man zum Begriff des Divisors, die eine Gruppe bilden. Auch den Begriff des Hauptdivisors kann man so erweitern, dass er nicht nur für ganze Elemente aus $R$, sondern auch für rationale Elemente, also Elemente aus dem Quotientenkörper
\mathl{Q(R)}{,} definiert ist.
\inputdefinition
{}
{
Es sei $R$ ein
\definitionsverweis {Dedekindbereich}{}{.}
Ein \definitionswort {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}$ ganze Zahlen mit
\mavergleichskette
{\vergleichskette
{ n_{\mathfrak p}
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
für fast alle ${\mathfrak p}$ sind.
}
Für einen diskreten Bewertungsring lässt sich die Ordnung \maabbele {\operatorname{ord}} {R \setminus \{0\}} {\N } {q} {\operatorname{ord}(q) } {,} zu einer Ordnungsfunktion auf dem Quotientenkörper fortsetzen, \maabbeledisp {\operatorname{ord}} {Q(R) \setminus \{0\}} {\Z } {q} { \operatorname{div} { \left( q \right) } } {,} siehe Aufgabe 13.1, wobei sich die Eigenschaften von Lemma 10.15 hierher übertragen.
\inputdefinition
{}
{
Es sei $R$ ein
\definitionsverweis {Dedekindbereich}{}{}
und
\mathbed {q \in Q(R)} {}
{q \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} } \, (q)}{} zuordnet, der durch $q$ definierte \definitionswort {Hauptdivisor}{.} Er wird mit
\mathl{\operatorname{div} { \left( q \right) }}{} bezeichnet und als formale Summe
\mavergleichskettedisp
{\vergleichskette
{ \operatorname{div} { \left( q \right) }
}
{ =} {\sum_{\mathfrak p} \operatorname{ord}_{ {\mathfrak p} } \, (q) \cdot {\mathfrak p}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
geschrieben.
}
Wenn man die rationale Funktion
\mavergleichskette
{\vergleichskette
{q
}
{ \in }{Q(R)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
als
\mavergleichskette
{\vergleichskette
{q
}
{ = }{ { \frac{ f }{ g } }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit
\mavergleichskette
{\vergleichskette
{f,g
}
{ \in }{R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ansetzt, so gilt
\mavergleichskettedisp
{\vergleichskette
{ \operatorname{div} { \left( q \right) }
}
{ =} { \operatorname{div} { \left( f \right) } - \operatorname{div} { \left( g \right) }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
da dies punktweise an jedem Primideal gilt. Bei
\mavergleichskettedisp
{\vergleichskette
{ \operatorname{ord}_{ {\mathfrak p} } \, (q)
}
{ <} {0
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
sagt man auch, dass $q$ einen \stichwort {Pol} {} an der Stelle ${\mathfrak p}$ besitzt, und zwar mit der Polordnung
\mathl{- \operatorname{ord}_{ {\mathfrak p} } \, (q)}{.}
Die Menge der Divisoren bildet eine additive kommutative freie Gruppe, die wir mit
\mathl{\operatorname{Div} { \left( R \right) }}{} bezeichnen.
{Dedekindbereich/Quotientenkörper/Hauptdivisor/Eigenschaften/Fakt}
{Lemma}
{}
{
\faktsituation {Es sei $R$ ein
\definitionsverweis {Dedekindbereich}{}{}
mit
\definitionsverweis {Quotientenkörper}{}{}
$Q(R)$, und seien
\mavergleichskette
{\vergleichskette
{q,q_1,q_2
}
{ \in }{Q(R) \setminus \{0\}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}}
\faktuebergang {Dann gelten folgende Aussagen.}
\faktfolgerung {\aufzaehlungvier{Es ist
\mavergleichskette
{\vergleichskette
{ \operatorname{div} { \left( q_1 q_2 \right) }
}
{ = }{ \operatorname{div} { \left( q_1 \right) } + \operatorname{div} { \left( q_2 \right) }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}{Es ist
\mavergleichskette
{\vergleichskette
{ \operatorname{div} { \left( q_1+ q_2 \right) }
}
{ \geq }{ \min \{ \operatorname{div} { \left( q_1 \right) } , \operatorname{div} { \left( q_2 \right) } \}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}{Es ist
\mavergleichskette
{\vergleichskette
{q
}
{ \in }{R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
genau dann, wenn der
\definitionsverweis {Hauptdivisor}{}{}
\mathl{\operatorname{div} { \left( q \right) }}{}
\definitionsverweis {effektiv}{}{}
ist.
}{Zu jedem
\definitionsverweis {Divisor}{}{}
$D$ gibt es ein
\mavergleichskette
{\vergleichskette
{h
}
{ \in }{R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
derart, dass
\mathl{D + \operatorname{div} { \left( h \right) }}{} effektiv ist.
}}
\faktzusatz {}
\faktzusatz {}
}
{
Für (1) und (2) siehe Aufgabe 13.2, für (3) siehe Aufgabe 13.3, für (4) siehe Aufgabe 13.4.
Es liegt also insbesondere ein Gruppenhomomorphismus
\maabbeledisp {} { { \left( Q(R) \right) }^{\times} } { \operatorname{Div} { \left( R \right) }
} {q} { \operatorname{div} { \left( q \right) }
} {,}
vor. Das Bild unter diesem Gruppenhomomorphismus ist die Untergruppe der Hauptdivisoren, die wir mit $H$ bezeichnen.
\zwischenueberschrift{Gebrochene Ideale}
In
Satz 11.13
haben wir eine Bijektion zwischen effektiven Divisoren und von $0$ verschiedenen Idealen
\zusatzklammer {und von effektiven Hauptdivisoren mit von $0$ verschiedenen Hauptidealen} {} {}
gestiftet. Von daher liegt die Frage nahe, welche \anfuehrung{Ideal-ähnlichen}{} Objekte den Divisoren entsprechen. Wir wollen also wissen, durch welche Objekte wir das Fragezeichen im folgenden Diagramm ersetzen müssen.
\mathdisp {\begin{matrix} \operatorname{Ideale}(R) & \stackrel{ \sim }{\longrightarrow} & \operatorname{Eff \, Div} { \left( R \right) } & \\ \downarrow & & \downarrow & \\ ? & \stackrel{ \sim }{\longrightarrow} & \operatorname{Div} { \left( R \right) } & \!\!\!\!\! \\ \end{matrix}} { }
Da wir einen Divisor $D$ stets als
\mavergleichskette
{\vergleichskette
{D
}
{ = }{E-F
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit effektiven Divisoren $E$ und $F$ schreiben können, liegt die Vermutung nahe, nach etwas wie dem Inversen
\zusatzklammer {bezüglich der Multiplikation} {} {}
eines Ideals zu suchen. Im Fall eines faktoriellen Dedekindbereichs entsprechen sich
\zusatzklammer {bis auf die Einheiten} {} {}
Elemente und Hauptdivisoren, und zwar sowohl auf der Ringebene
\zusatzklammer {siehe
Bemerkung 11.4} {} {}
als auch auf der Ebene des Quotientenkörpers. Zu einer rationale Funktion $q$ bzw. dem Hauptdivisor
\mathl{\operatorname{div} { \left( q \right) }}{} gehört in diesem Fall einfach der von $q$ erzeugte
$R$-\definitionsverweis {Untermodul}{}{}
$q R$ des Quotientenkörpers $Q(R)$. Im Fall der rationalen Zahlen sind dies Untergruppen der Form
\mathl{{ \frac{ 1 }{ 10 } } \Z}{} oder
\mathl{{ \frac{ 7 }{ 3 } } \Z}{.} Für allgemeine Integritätsbereiche führt man ganz allgemein die sogenannten gebrochenen Ideale ein.
\inputdefinition
{}
{
Es sei $R$ ein
\definitionsverweis {Integritätsbereich}{}{}
mit
\definitionsverweis {Quotientenkörper}{}{}
\mathl{Q(R)}{.} Dann nennt man einen
\definitionsverweis {endlich erzeugten}{}{}
$R$-\definitionsverweis {Untermodul}{}{}
${\mathfrak f}$ des
$R$-\definitionsverweis {Moduls}{}{}
\mathl{Q(R)}{} ein \definitionswort {gebrochenes Ideal}{.}
}
\inputfaktbeweis
{Integritätsbereich/Gebrochenes Ideal/Beschreibung/Fakt}
{Lemma}
{}
{
\faktsituation {Es sei $R$ ein
\definitionsverweis {Integritätsbereich}{}{}
mit
\definitionsverweis {Quotientenkörper}{}{}
\mathl{Q(R)}{} und sei
\mavergleichskette
{\vergleichskette
{ {\mathfrak f}
}
{ \subseteq }{ Q(R)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
eine Teilmenge.}
\faktuebergang {Dann sind folgende Aussagen äquivalent.}
\faktfolgerung {\aufzaehlungzwei {${\mathfrak f}$ ist ein
\definitionsverweis {gebrochenes Ideal}{}{.}
} {Es gibt ein
\definitionsverweis {endlich erzeugtes}{}{}\zusatzfussnote {Dies ist bei $R$ noethersch natürlich automatisch erfüllt} {.} {}
\definitionsverweis {Ideal}{}{}
${\mathfrak a}$ in $R$ und ein Element
\mathbed {r \in R} {}
{r \neq 0} {}
{} {} {} {,}
derart, dass
\mavergleichskettedisp
{\vergleichskette
{ {\mathfrak f}
}
{ =} { { \frac{ {\mathfrak a} }{ r } }
}
{ =} { { \left\{ { \frac{ a }{ r } } \mid a \in {\mathfrak a} \right\} }
}
{ } {
}
{ } {
}
}
{}{}{}
gilt.
}}
\faktzusatz {}
\faktzusatz {}
}
{
Es sei zunächst ${\mathfrak f}$ ein
\definitionsverweis {gebrochenes Ideal}{}{.}
Dann ist
\mavergleichskettedisp
{\vergleichskette
{ {\mathfrak f}
}
{ =} { R { \left( { \frac{ a_1 }{ r_1 } } , \ldots , { \frac{ a_n }{ r_n } } \right) }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Nach Übergang zu einem Hauptnenner kann man annehmen, dass
\mavergleichskette
{\vergleichskette
{r
}
{ = }{r_1
}
{ = }{ \ldots
}
{ = }{r_n
}
{ }{
}
}
{}{}{}
ist. Dann hat man mit dem Ideal
\mavergleichskette
{\vergleichskette
{ {\mathfrak a}
}
{ = }{ (a_1 , \ldots , a_n)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
eine Beschreibung der gewünschten Art. Ist umgekehrt
\mavergleichskette
{\vergleichskette
{ {\mathfrak f}
}
{ = }{ { \frac{ {\mathfrak a} }{ r } }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
so ist dies natürlich ein endlich erzeugter
$R$-\definitionsverweis {Untermodul}{}{}
von
\mathl{Q(R)}{.}
Wie für Ideale spielen diejenigen gebrochenen Ideale, die von einem Element erzeugt sind, eine besondere Rolle.
\inputdefinition
{}
{
Es sei $R$ ein
\definitionsverweis {Integritätsbereich}{}{}
mit
\definitionsverweis {Quotientenkörper}{}{}
\mathl{Q(R)}{.} Dann nennt man ein
\definitionsverweis {gebrochenes Ideal}{}{}
der Form
\mavergleichskette
{\vergleichskette
{ {\mathfrak f}
}
{ = }{ Rq
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit
\mavergleichskette
{\vergleichskette
{q
}
{ \in }{Q(R)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ein \definitionswort {gebrochenes Hauptideal}{.}
}
Aus Lemma 13.5 ergibt sich sofort, dass für einen Hauptidealbereich jedes gebrochene Ideal ein gebrochenes Hauptideal ist.
\inputdefinition
{}
{
Es sei $R$ ein
\definitionsverweis {Integritätsbereich}{}{}
mit
\definitionsverweis {Quotientenkörper}{}{}
\mathl{Q(R)}{.} Dann definiert man für
\definitionsverweis {gebrochene Ideale}{}{}
\mathkor {} {{\mathfrak f}} {und} {{\mathfrak g}} {}
das \definitionswort {Produkt}{}
\mathl{{\mathfrak f} \cdot {\mathfrak g}}{} als den von allen Produkten erzeugten
$R$-\definitionsverweis {Untermodul}{}{}
von
\mathl{Q(R)}{,} also
\mavergleichskettedisp
{\vergleichskette
{ {\mathfrak f} \cdot {\mathfrak g}
}
{ \defeq} { R \langle g f : \, f \in {\mathfrak f} ,\, g \in {\mathfrak g} \rangle
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
wobei die Produkte in
\mathl{Q(R)}{} zu nehmen sind.
}
Wird das gebrochene Ideal ${\mathfrak f}$ als $R$-Modul von
\mathl{f_1 , \ldots , f_n}{} erzeugt und wird das gebrochene Ideal ${\mathfrak g}$ von
\mathl{g_1 , \ldots , g_m}{} erzeugt, so wird das Produkt ${\mathfrak f} {\mathfrak g}$ von den Produkten
\mathbed {f_ig_j} {}
{1 \leq i \leq n} {}
{1 \leq j \leq m} {} {} {,}
erzeugt. Also ist das Produkt in der Tat wieder endlich erzeugt und damit ein gebrochenes Ideal. Für Ideale stimmt natürlich das Idealprodukt mit dem hier definierten Produkt von gebrochenen Idealen überein. Das Produkt von gebrochenen Hauptidealen ist wieder ein gebrochenes Hauptideal.
In einem beliebigen Integritätsbereich bilden die gebrochenen Ideale $\neq 0$ keine Gruppe. Für stärkere Aussagen müssen wir jetzt wieder voraussetzen, dass $R$ ein Dedekindbereich ist.
\inputdefinition
{}
{
Zu einem
\definitionsverweis {gebrochenen Ideal}{}{}
\mavergleichskette
{\vergleichskette
{ {\mathfrak f}
}
{ \neq }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
in einem
\definitionsverweis {Dedekindbereich}{}{}
$R$ nennt man
\mavergleichskettedisp
{\vergleichskette
{ {\mathfrak f}^{-1}
}
{ \defeq} { { \left\{ q \in Q(R) \mid q \cdot {\mathfrak f} \subseteq R \right\} }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
das zugehörige
\definitionswort {inverse gebrochene Ideal}{.}
}
\inputfaktbeweis
{Dedekindbereich/Gebrochenes Ideal/Inverses Ideal/Eigenschaften/Fakt}
{Lemma}
{}
{
\faktsituation {Es sei $R$ ein
\definitionsverweis {Dedekindbereich}{}{.}}
\faktuebergang {Dann gelten folgende Aussagen.}
\faktfolgerung {\aufzaehlungdrei{Zu
\definitionsverweis {gebrochenen Idealen}{}{}
mit der Beziehung
\mavergleichskette
{\vergleichskette
{ {\mathfrak g}
}
{ = }{ r {\mathfrak f}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit
\mavergleichskette
{\vergleichskette
{r
}
{ \in }{Q(R)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
\mavergleichskette
{\vergleichskette
{r
}
{ \neq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
gilt für die
\definitionsverweis {inversen gebrochenes Ideale}{}{}
die Beziehung
\mavergleichskette
{\vergleichskette
{ {\mathfrak g}^{-1}
}
{ = }{ r^{-1} {\mathfrak f}^{-1}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}{Zu einem gebrochenen Ideal ${\mathfrak f}$ ist das inverse gebrochene Ideal in der Tat ein gebrochenes Ideal.
}{Es ist
\mavergleichskette
{\vergleichskette
{ {\mathfrak f} \cdot {\mathfrak f}^{-1}
}
{ = }{ R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}}
\faktzusatz {}
\faktzusatz {}
}
{
\aufzaehlungdrei{Der
$R$-\definitionsverweis {Modulisomorphismus}{}{}
\maabbele {} { {\mathfrak f} } { {\mathfrak g}
} {f} {rf
} {,}
führt direkt zu einem Isomorphismus
\maabbele {} { {\mathfrak f}^{-1} } { r^{-1} {\mathfrak g}^{-1}
} {q} {r^{-1} q
} {,}
da ja
\mavergleichskette
{\vergleichskette
{q {\mathfrak f}
}
{ \subseteq }{R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
zu
\mavergleichskette
{\vergleichskette
{ { \left( r^{-1} q \right) } { \left( r {\mathfrak f} \right) }
}
{ \subseteq }{R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
äquivalent ist.
}{Es ist klar, dass ${\mathfrak f}^{-1}$ ein von $0$ verschiedener
$R$-\definitionsverweis {Untermodul}{}{}
von
\mathl{Q(R)}{} ist. Wenn ${\mathfrak f}$ durch
\mathl{{ \frac{ a_1 }{ b_1 } } , \ldots , { \frac{ a_n }{ b_n } }}{} erzeugt wird, so betrachten wir
\mavergleichskette
{\vergleichskette
{ {\mathfrak g}
}
{ = }{ { \frac{ {\mathfrak f} }{ a } }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit
\mavergleichskette
{\vergleichskette
{a
}
{ = }{a_1 \cdots a_n
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
wobei jetzt ${\mathfrak g}$ ein Erzeugendensystem der Form
\mathl{{ \frac{ 1 }{ c_1 } } , \ldots , { \frac{ 1 }{ c_n } }}{} mit
\mavergleichskette
{\vergleichskette
{c_i
}
{ \in }{R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
besitzt. Die Bedingung
\mavergleichskettedisp
{\vergleichskette
{q { \frac{ 1 }{ c_i } }
}
{ \in} {R
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
impliziert
\mavergleichskette
{\vergleichskette
{q
}
{ \in }{R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Daher ist das inverse gebrochene Ideal zu ${\mathfrak g}$ selbst ein Ideal, also endlich erzeugt. Dies überträgt sich wegen (1) auf ${\mathfrak f}$.
}{Für das
\definitionsverweis {Produkt}{}{}
ist offenbar
\mavergleichskettedisp
{\vergleichskette
{ {\mathfrak f} \cdot {\mathfrak f}^{-1}
}
{ \subseteq} {R
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Wenn diese Inklusion echt wäre, so würde es auch ein maximales Ideal ${\mathfrak p}$ oberhalb von
\mathl{{\mathfrak f} \cdot {\mathfrak f}^{-1}}{} geben. Es sei
\mavergleichskette
{\vergleichskette
{ {\mathfrak f}_{\mathfrak p}
}
{ = }{ (\pi^n)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit einer Ortsuniformisierenden $\pi$ und mit
\mavergleichskette
{\vergleichskette
{n
}
{ \in }{\Z
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Es gibt dann auch ein Element
\mavergleichskette
{\vergleichskette
{f
}
{ \in }{ {\mathfrak f}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
das an der Stelle ${\mathfrak p}$ die Ordnung $n$ besitzt. Dazu gibt es auch ein
\mavergleichskette
{\vergleichskette
{q
}
{ \in }{Q(R)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
das an der Stelle ${\mathfrak p}$ die Ordnung $-n$ und sonst überall eine hinreichend große Ordnung besitzt derart, dass
\mavergleichskette
{\vergleichskette
{fq
}
{ \in }{R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist. Dies ist ein Widerspruch, da $fg$ an der Stelle ${\mathfrak p}$ die Ordnung $0$ besitzt.
}
\inputbeispiel{}
{
Wir betrachten im
\definitionsverweis {quadratischen Zahlbereich}{}{}
$\Z[\sqrt{-5}]$ das Ideal
\mavergleichskettedisp
{\vergleichskette
{ {\mathfrak a}
}
{ =} { (2, 1 + \sqrt{-5})
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Aufgrund der Gleichung
\mavergleichskettedisp
{\vergleichskette
{2 \cdot 3
}
{ =} { (1+\sqrt{-5})(1 -\sqrt{-5})
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
ist
\mathdisp {{ \frac{ 1-\sqrt{-5} }{ 2 } } \cdot {\mathfrak a} \subseteq R, \, { \frac{ 3 }{ 1 +\sqrt{-5} } } \cdot {\mathfrak a} \subseteq R, \, 1 \cdot {\mathfrak a} \subseteq R} { . }
Wir behaupten, dass das inverse gebrochene Ideal
\mathl{{\mathfrak a}^{-1}}{} gleich
\mavergleichskettedisp
{\vergleichskette
{ {\mathfrak f}
}
{ =} { R { \left( 1, { \frac{ 1-\sqrt{-5} }{ 2 } } \right) }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
ist, wobei sich die Inklusion
\mavergleichskette
{\vergleichskette
{ {\mathfrak f}
}
{ \subseteq }{ {\mathfrak a}^{-1}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
aus der vorstehenden Zeile ergibt. Andererseits gilt wegen
\mavergleichskettedisp
{\vergleichskette
{ - 2 \cdot 1 + (1+ \sqrt{-5}) { \frac{ 1- \sqrt{-5} }{ 2 } }
}
{ =} { -2 +3
}
{ =} { 1
}
{ } {
}
{ } {
}
}
{}{}{}
für das Produkt
\mavergleichskettedisp
{\vergleichskette
{ {\mathfrak a} \cdot {\mathfrak f}
}
{ =} { R
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
und dies impliziert nach
Aufgabe 13.2
die Gleichheit
\mavergleichskette
{\vergleichskette
{ {\mathfrak f}
}
{ = }{ {\mathfrak a}^{-1}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}
\inputbemerkung
{}
{
Ein
\definitionsverweis {gebrochenes Ideal}{}{}
\mavergleichskette
{\vergleichskette
{ {\mathfrak f}
}
{ \neq }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
in einem
\definitionsverweis {Dedekindbereich}{}{}
ist ein sogenannter \stichwort {invertierbarer Modul} {.} D.h. es ist \stichwort {lokal isomorph} {} zum Ring selbst. Mit diesen Formulierungen ist folgendes gemeint: Für ein maximales Ideal
\zusatzklammer {also für ein von $0$ verschiedenes Primideal} {} {}
${\mathfrak p}$ ist
\mavergleichskette
{\vergleichskette
{ {\mathfrak f} R_{\mathfrak p}
}
{ = }{ {\mathfrak f}_{\mathfrak p}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
\zusatzklammer {dies ist die
\definitionsverweis {Lokalisierung}{}{}
eines Moduls an einem Primideal} {} {}
ein endlich erzeugter $R_{\mathfrak p}$-Modul $\neq 0$, der zugleich im
\definitionsverweis {Quotientenkörper}{}{}
liegt. Solche Moduln sind isomorph zu $R_{\mathfrak p}$. Siehe
Aufgabe 4.29.
}
\inputdefinition
{}
{
Es sei $R$ ein
\definitionsverweis {Dedekindbereich}{}{}
und
\mavergleichskettedisp
{\vergleichskette
{D
}
{ =} { \sum_{\mathfrak p} n_{\mathfrak p} \cdot {\mathfrak p}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
ein
\definitionsverweis {Divisor}{}{}
\zusatzklammer {wobei ${\mathfrak p}$ durch die Menge der Primideale $\neq 0$ läuft} {} {.}
Dann nennt man
\mathdisp {{ \left\{ f \in Q(R) \mid \operatorname{div} { \left( f \right) } \geq D \right\} }} { }
das \definitionswort {gebrochene Ideal zum Divisor}{} $D$. Es wird mit
\mathl{\operatorname{Id} (D)}{} bezeichnet.
}
Das folgende Lemma zeigt, dass man in der Tat ein gebrochenes Ideal erhält, und dass diese Definition mit der früheren Definition 11.12 verträglich ist.
\inputfaktbeweis
{Dedekind/Ideale und Divisoren/Gebrochenes Ideal/Fakt}
{Lemma}
{}
{
\faktsituation {Es sei $R$ ein
\definitionsverweis {Dedekindbereich}{}{}}
\faktvoraussetzung {und
\mavergleichskette
{\vergleichskette
{D
}
{ = }{ \sum_{\mathfrak p} n_{\mathfrak p} \cdot {\mathfrak p}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ein
\definitionsverweis {Divisor}{}{.}}
\faktfolgerung {Dann ist die Menge
\mathl{{ \left\{ f \in Q(R) \mid \operatorname{div} { \left( f \right) } \geq D \right\} }}{} ein
\definitionsverweis {gebrochenes Ideal}{}{.}}
\faktzusatz {Ist $D$ ein effektiver Divisor, dann ist das so definierte gebrochene Ideal ein Ideal und stimmt mit dem Ideal überein, das einem effektiven Divisor gemäß der
Definition 11.12
zugeordnet wird.}
\faktzusatz {}
}
{
Es sei
\mavergleichskette
{\vergleichskette
{ {\mathfrak f}
}
{ = }{ { \left\{ f \in Q(R) \mid \operatorname{div} { \left( f \right) } \geq D \right\} }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Gemäß der Konvention, dass
\mavergleichskette
{\vergleichskette
{ \operatorname{div} { \left( 0 \right) }
}
{ = }{ \infty
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
zu interpretieren ist, ist
\mavergleichskette
{\vergleichskette
{0
}
{ \in }{{\mathfrak f}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Für Elemente
\mavergleichskette
{\vergleichskette
{f_1,f_2
}
{ \in }{Q(R)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit
\mavergleichskette
{\vergleichskette
{ \operatorname{div} { \left( f_1 \right) } , \operatorname{div} { \left( f_2 \right) }
}
{ \geq }{D
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gilt
nach Lemma 13.3
\mavergleichskettedisp
{\vergleichskette
{ \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
\mavergleichskettedisp
{\vergleichskette
{\operatorname{div} { \left( rf \right) }
}
{ =} { \operatorname{div} { \left( r \right) } + \operatorname{div} { \left( f \right) }
}
{ \geq} {D
}
{ } {
}
{ } {
}
}
{}{}{}
für
\mavergleichskette
{\vergleichskette
{r
}
{ \in }{R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
da ja
\mathl{\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
\mavergleichskettedisp
{\vergleichskette
{ { \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
Lemma 13.3 (3).
Zum Nachweis der endlichen Erzeugtheit bemerken wir, dass es nach
Lemma 13.3 (4)
zu jedem Divisor $D$ ein
\mavergleichskette
{\vergleichskette
{r
}
{ \in }{R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
derart gibt, dass
\mavergleichskette
{\vergleichskette
{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$.
\inputdefinition
{}
{
Es sei $R$ ein
\definitionsverweis {Dedekindbereich}{}{}
und
\mavergleichskette
{\vergleichskette
{ {\mathfrak f}
}
{ \neq }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ein von $0$ verschiedenes
\definitionsverweis {gebrochenes Ideal}{}{.}
Dann nennt man den
\definitionsverweis {Divisor}{}{}
\mavergleichskettedisp
{\vergleichskette
{ \operatorname{div}({\mathfrak f})
}
{ =} {\sum_{\mathfrak p} m_{\mathfrak p} \cdot {\mathfrak p}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
mit
\mavergleichskettedisp
{\vergleichskette
{ m_ {\mathfrak p}
}
{ =} { \operatorname{min} \left( \operatorname{ord}_{ {\mathfrak p} } \, (f) {{|}} f \in {\mathfrak f} ,\, f \neq 0 \right)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
den \definitionswort {Divisor zum gebrochenen Ideal}{} ${\mathfrak f}$.
}
Da das gebrochene Ideal ${\mathfrak f}$ nach Definition endlich erzeugt ist, muss man das Minimum nur über eine endliche Menge nehmen. Insbesondere ist der zugehörige Divisor wohldefiniert. Für ein Ideal stimmt diese Definition offensichtlich mit der \definitionsverweis {alten}{}{} überein.
{Dedekindbereich/Divisoren und gebrochene Ideale/Beziehung zu effektiven Divisoren und Idealen/Fakt}
{Lemma}
{}
{
\faktsituation {Es sei $R$ ein
\definitionsverweis {Dedekindbereich}{}{.}}
\faktuebergang {Dann gelten folgende Aussagen.}
\faktfolgerung {\aufzaehlungzwei {Es sei ${\mathfrak f}$ ein
\definitionsverweis {gebrochenes Ideal}{}{}
mit einer Darstellung
\mavergleichskette
{\vergleichskette
{ {\mathfrak f}
}
{ = }{ { \frac{ {\mathfrak a} }{ h } }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit
\mavergleichskette
{\vergleichskette
{h
}
{ \in }{R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und einem Ideal
\mavergleichskette
{\vergleichskette
{ {\mathfrak a}
}
{ \subseteq }{ R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Dann ist
\mavergleichskettedisp
{\vergleichskette
{ \operatorname{div} { \left( {\mathfrak f} \right) }
}
{ =} { \operatorname{div} { \left( {\mathfrak a} \right) } - \operatorname{div} { \left( h \right) }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
} {Zu einem
\definitionsverweis {Divisor}{}{}
$D$ mit
\mavergleichskette
{\vergleichskette
{E
}
{ = }{ D+ \operatorname{div} { \left( h \right) }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
\definitionsverweis {effektiv}{}{}
ist
\mavergleichskettedisp
{\vergleichskette
{ \operatorname{Id}(D)
}
{ =} { { \frac{ \operatorname{Id}(E) }{ h } }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
}}
\faktzusatz {}
\faktzusatz {}
{ Siehe Aufgabe 13.33. }
Auch die Einzelheiten des Beweises des folgenden Satzes überlassen wir dem Leser, siehe
Aufgabe 13.34.
\inputfaktbeweis
{Dedekindbereich/Gebrochene Ideale und Divisoren/Bijektion/Fakt}
{Satz}
{}
{
Es sei $R$ ein
\definitionsverweis {Dedekindbereich}{}{.}
Dann sind die Zuordnungen
\mathdisp {{\mathfrak f} \longmapsto \operatorname{div}({\mathfrak f}) \, \, \, \text{ und } \, \, \, D \longmapsto \operatorname{Id}(D)} { }
zueinander inverse Abbildungen zwischen der Menge der von $0$ verschiedenen
\definitionsverweis {gebrochenen Ideale}{}{}
und der Menge der
\definitionsverweis {Divisoren}{}{.}
Diese Bijektion ist ein Isomorphismus von Gruppen.
}
{
Wir haben zu zeigen, dass die hintereinandergeschalteten Abbildungen jeweils die Identität ergeben. Dies kann man mittels
Lemma 13.15
auf
den effektiven Fall
zurückführen. Die Zuordnung
\mathl{{\mathfrak f} \mapsto \operatorname{div} ( {\mathfrak f} )}{} führt die Multiplikation von gebrochenen Idealen in die Addition von Divisoren über, da dies an jedem diskreten Bewertungsring $R_{\mathfrak p}$ gilt. Wegen der Bijektivität liegt dann auch links eine Gruppe vor und die Abbildungen sind Gruppenisomorphismen.