Kurs:Algebraische Zahlentheorie (Osnabrück 2020-2021)/Vorlesung 14/latex
\setcounter{section}{14}
\zwischenueberschrift{Die Divisorenklassengruppe}
In vielen Gebieten der Mathematik spielen homologische Methoden eine wichtige Rolle. Dabei wird den mathematischen Objekten eine Gruppe als Invariante zugeordnet, die relevante Information über das ursprüngliche Objekt beinhaltet aber zugleich deutlich einfacher strukturiert ist. Beispiele hierfür sind die Fundamentalgruppe in der Topologie, Homotopie- und Homologiegruppen in der algebraischen Topologie, Kohomologiegruppen zu Garben in der algebraischen Geometrie, ... . Das Verschwinden dieser Gruppen charakterisiert dabei wichtige geometrische Eigenschaften. Die Konstruktion dieser Gruppen ist im Allgemeinen aufwändig und geht dabei häufig über den Weg von \anfuehrung{sehr großen}{} Gruppen modulo sehr großen Untergruppen \zusatzklammer {Normalteilern} {} {,} wobei die Restklassengruppen dann \anfuehrung{ziemlich klein}{} sind. In diesen Zusammenhang fügt sich auch die Divisorenklassengruppe für algebraische Zahlbereiche ein.
\inputdefinition
{}
{
Es sei $R$ ein
\definitionsverweis {Dedekindbereich}{}{.}
Es sei
\mathl{\operatorname{Div} { \left( R \right) }}{} die Gruppe der
\definitionsverweis {Divisoren}{}{}
und
\mavergleichskette
{\vergleichskette
{H
}
{ \subseteq }{ \operatorname{Div} { \left( R \right) }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
sei die Untergruppe der
\definitionsverweis {Hauptdivisoren}{}{.}
Dann nennt man die
\definitionsverweis {Restklassengruppe}{}{}
\mavergleichskettedisp
{\vergleichskette
{ \operatorname{DKG} { \left( R \right) }
}
{ =} { \operatorname{Div} { \left( R \right) }/H
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
die \definitionswort {Divisorenklassengruppe}{} von $R$.
}
Die Divisorenklassengruppe wird häufig auch als \stichwort {Idealklassengruppe} {} oder einfach als \stichwort {Klassengruppe} {} bezeichnet. Sie ist kommutativ und wird additiv geschrieben. Ihre Elemente sind Äquivalenzklassen und werden durch Divisoren repräsentiert, wobei zwei Divisoren genau dann die gleiche Klasse repräsentieren, wenn ihre Differenz ein Hauptdivisor ist. Sie heißen \stichwort {Divisorklassen} {} oder \stichwort {Idealklassen} {.} Wegen Satz 13.16 kann man die Divisorenklasse auch als die Restklassengruppe zur Gruppe der gebrochenen Ideale modulo der Untergruppe der gebrochenen Hauptideale erhalten. Ein späteres Hauptresultat, das aber einige Vorbereitungen braucht, wird sein, dass die Klassengruppe von Zahlbereichen endlich ist, siehe Satz 26.6. Sie ist eine wesentliche \zusatzklammer {ko} {} {-}homologische Invariante eines Zahlbereichs und enthält wesentliche Informationen über diesen. Generell lässt sich sagen, dass ihre Größe zum Ausdruck bringt, wie weit ein Zahlbereich von der Faktorialität entfernt ist. Der nächste Satz charakterisiert die Faktorialität dadurch, dass die Klassengruppe trivial ist.
\inputfaktbeweis
{Dedekindbereich/Divisorenklassengruppe/Charakterisierung von faktoriell/Fakt}
{Satz}
{}
{
Es sei $R$ ein
\definitionsverweis {Dedekindbereich}{}{}
und es bezeichne
\mathl{\operatorname{DKG} { \left( R \right) }}{} die
\definitionsverweis {Divisorenklassengruppe}{}{}
von $R$. Dann sind folgende Aussagen äquivalent.
\aufzaehlungdrei{$R$ ist ein
\definitionsverweis {Hauptidealbereich}{}{.}
}{$R$ ist
\definitionsverweis {faktoriell}{}{.}
}{Es ist
\mavergleichskette
{\vergleichskette
{ \operatorname{DKG} { \left( R \right) }
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}
}
{
Die Implikation
\mathl{(1) \Rightarrow (2)}{} folgt aus
[[Hauptidealbereich/Ist faktoriell (ohne Begriff)/Fakt|Satz 2.19 ]].
\mathl{(2) \Rightarrow (3)}{.} Es sei also $R$
\definitionsverweis {faktoriell}{}{,}
und sei ${\mathfrak p}$ ein
\definitionsverweis {Primideal}{}{}
$\neq 0$. Sei
\mavergleichskette
{\vergleichskette
{f
}
{ \in }{{\mathfrak p}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
\mavergleichskette
{\vergleichskette
{f
}
{ \neq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
mit Primfaktorzerlegung
\mavergleichskette
{\vergleichskette
{f
}
{ = }{ p_1 \cdots p_s
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Da ${\mathfrak p}$ ein Primideal ist, muss einer der Primfaktoren zu ${\mathfrak p}$ gehören, sagen wir
\mavergleichskette
{\vergleichskette
{p
}
{ = }{p_1
}
{ \in }{ {\mathfrak p}
}
{ }{
}
{ }{
}
}
{}{}{.}
Dann ist
\mavergleichskette
{\vergleichskette
{(p)
}
{ \subseteq }{ {\mathfrak p}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Das von $p$ erzeugte Ideal ist ein Primideal, und in einem Dedekindbereich ist nach Definition jedes von $0$ verschiedene Primideal
\definitionsverweis {maximal}{}{,}
so dass hier
\mavergleichskette
{\vergleichskette
{(p)
}
{ = }{ {\mathfrak p}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gelten muss. Auf der Seite der Divisoren gilt aufgrund von
Satz 11.13
\mavergleichskette
{\vergleichskette
{ \operatorname{div} { \left( p \right) }
}
{ = }{ 1 {\mathfrak p}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
so dass ein Hauptdivisor vorliegt. Also sind alle Erzeuger der Divisorengruppe Hauptdivisoren und somit ist überhaupt
\mavergleichskettedisp
{\vergleichskette
{ \operatorname{Div} { \left( R \right) }
}
{ =} { H
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und die
\definitionsverweis {Divisorenklassengruppe}{}{}
ist trivial.
\mathl{(3) \Rightarrow (1)}{.} Es sei nun
\mavergleichskette
{\vergleichskette
{ \operatorname{DKG} { \left( R \right) }
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
vorausgesetzt. Wir zeigen zunächst, dass jedes Primideal
\mavergleichskette
{\vergleichskette
{{\mathfrak p}
}
{ \neq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ein Hauptideal ist. Nach Voraussetzung ist der Divisor ${\mathfrak p}$ ein Hauptdivisor, so dass
\mavergleichskette
{\vergleichskette
{ {\mathfrak p}
}
{ = }{ \operatorname{div}(p)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit einem
\mavergleichskette
{\vergleichskette
{p
}
{ \in }{R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gilt. Aufgrund von
Satz 11.13
entspricht dies auf der Idealseite der Gleichung
\mavergleichskette
{\vergleichskette
{ {\mathfrak p}
}
{ = }{ (p)
}
{ }{
}
{ }{
}
{ }{}
}
{}{}{,}
so dass jedes Primideal ein Hauptideal ist. Für ein beliebiges Ideal
\mathbed {{\mathfrak a} \subseteq R} {}
{{\mathfrak a} \neq 0} {}
{} {} {} {,}
ist nach
Satz 12.2
\mavergleichskettedisp
{\vergleichskette
{ {\mathfrak a}
}
{ =} { {\mathfrak p}_1^{r_1} \cdots {\mathfrak p}_k^{r_k}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Dies bedeutet aber, mit
\mavergleichskette
{\vergleichskette
{ {\mathfrak p}_i
}
{ = }{(p_i)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
dass ${\mathfrak a}$ ein Hauptideal ist, das von
\mathl{{ p}_1^{r_1} \cdots {p}_k^{r_k}}{} erzeugt wird. Also liegt ein Hauptidealbereich vor.
Insofern ist die erste wichtige Frage bei einem Dedekindbereich, ob seine Klassengruppe gleich $0$ ist oder nicht.
\inputbeispiel{}
{
Wir behaupten, dass im
\definitionsverweis {quadratischen Zahlbereich}{}{}
\mavergleichskette
{\vergleichskette
{R
}
{ = }{\Z[\sqrt{-5}]
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
das Ideal
\mavergleichskettedisp
{\vergleichskette
{ {\mathfrak p}
}
{ =} { (2, 1 + \sqrt{-5})
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
kein
\definitionsverweis {Hauptideal}{}{}
ist, was in
Beispiel 10.7
gezeigt wurde, aber die Eigenschaft besitzt, dass das Quadrat davon ein Hauptideal ist. Insbesondere definiert die zugehörige
\definitionsverweis {Idealklasse}{}{}
ein von $0$ verschiedenes Element in der Divsorenklassengruppe mit der Eigenschaft, dass das Doppelte davon trivial ist. Es ist
\mavergleichskettedisp
{\vergleichskette
{ {\mathfrak p}^2
}
{ =} { (4,2+ 2 \sqrt{-5}, -4+2 \sqrt{-5} )
}
{ =} { (2)
}
{ } {
}
{ } {
}
}
{}{}{.}
Dabei ist die Inklusion $\subseteq$ klar und die umgekehrte Inklusion $\supseteq$ ergibt sich aus
\mavergleichskettedisp
{\vergleichskette
{ -4 + (2 +2 \sqrt{-5}) - (-4 +2 \sqrt{-5})
}
{ =} { 2
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Wir betrachten nun das Ideal
\mavergleichskettedisp
{\vergleichskette
{ {\mathfrak q}
}
{ =} { (7, 3+ \sqrt{-5})
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Der Restklassenring ist
\mavergleichskettedisp
{\vergleichskette
{ \Z/(7) [X]/(X^2+5, 3+X)
}
{ \cong} { \Z/(7)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
so dass ein Primideal mit der Norm $7$ vorliegt, das kein Hauptideal ist, da es kein Element mit Norm $7$ gibt. Die beiden Ideale
\mathkor {} {{\mathfrak p}} {und} {{\mathfrak q}} {}
definieren die gleiche Idealklasse. Dazu betrachten wir die Multiplikation
\maabbeledisp {} {Q(R)} { Q(R)
} {h} {h { \frac{ 3+ \sqrt{-5} }{ 2 } }
} {.}
Wegen
\mavergleichskettedisp
{\vergleichskette
{ 2 \cdot { \frac{ 3+ \sqrt{-5} }{ 2 } }
}
{ =} {3+ \sqrt{-5}
}
{ \in} { {\mathfrak q}
}
{ } {
}
{ } {
}
}
{}{}{}
und
\mavergleichskettedisp
{\vergleichskette
{ (1+ \sqrt{-5} ) \cdot { \frac{ 3+ \sqrt{-5} }{ 2 } }
}
{ =} { { \frac{ -2 +4 \sqrt{-5} }{ 2 } }
}
{ =} { -1+2 \sqrt{-5}
}
{ =} { -7 +2 (3+ \sqrt{-5} )
}
{ \in} { {\mathfrak q}
}
}
{}{}{}
induziert dies einen injektiven
$R$-\definitionsverweis {Modulhomomorphismus}{}{}
\maabbdisp {} { {\mathfrak p} } { {\mathfrak q}
} {,}
der wegen
\mavergleichskettedisp
{\vergleichskette
{ 7
}
{ =} { - (-1+2 \sqrt{-5}) +2 (3+\sqrt{-5})
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
auch surjektiv ist. Somit ist
\mavergleichskettedisp
{\vergleichskette
{ {\mathfrak p} \cdot ( { \frac{ 3+ \sqrt{-5} }{ 2 } } )
}
{ =} { {\mathfrak q}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
In
Beispiel 24.11
wird darüber hinaus gezeigt, dass die Klassengruppe von $R$ gleich
\mathl{\Z/(2)}{} ist.
}
\zwischenueberschrift{Die Divisorenklassengruppe unter Homomorphismen}
Ein wichtiger Aspekt von homologischen Invarianten ist, dass sie nicht nur den Objekten Gruppen zuordnen, sondern auch den richtigen Abbildungen zwischen den Objekten Gruppenhomomorphismen. Wir besprechen zuerst den Fall einer Nenneraufnahme
\maabb {} {R} {R_S
} {}
zu einem
\definitionsverweis {multiplikativen System}{}{}
\mavergleichskette
{\vergleichskette
{S
}
{ \subseteq }{R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
in einem Dedekindbereich. Nach
Proposition 5.4 (2)
entsprechen die Primideale von $R_S$ den Primidealen von $R$, die mit $S$ einen leeren Schnitt haben. Bei gegebenem $S$ kann man also die Primideale von $R$ dahingehend aufteilen, ob sie einen leeren oder einen nichtleeren Durchschnitt mit $S$ haben.
\inputfaktbeweis
{Dedekindbereich/Divisorenklassengruppe/Nenneraufnahme/Fakt}
{Lemma}
{}
{
\faktsituation {Es sei $R$ ein
\definitionsverweis {Dedekindbereich}{}{}
und es sei
\mavergleichskette
{\vergleichskette
{S
}
{ \subseteq }{R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
\mavergleichskette
{\vergleichskette
{0
}
{ \notin }{S
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
ein
\definitionsverweis {multiplikatives System}{}{}
mit der
\definitionsverweis {Nenneraufnahme}{}{}
$R_S$.}
\faktfolgerung {Dann liegt eine
\definitionsverweis {exakter Komplex}{}{}
\mathdisp {1 \longrightarrow R^{\times} \longrightarrow R_S^{\times} \longrightarrow \Z^{ ( { \left\{ {\mathfrak p} \mid {\mathfrak p} \cap S \neq \emptyset \right\} } ) }\longrightarrow \operatorname{DKG} { \left( R \right) } \longrightarrow \operatorname{DKG} { \left( R_S \right) } \longrightarrow 0} { }
vor.}
\faktzusatz {Dabei ordnet die dritte Abbildung einer Einheit
\mavergleichskette
{\vergleichskette
{f
}
{ \in }{ R_S^{\times}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
die Einschränkung des
\definitionsverweis {Hauptdivisors}{}{}
auf die angegebene Primidealmenge zu. Die vierte Abbildung ordnet einen Divisor
\mathl{\sum_{ {\mathfrak p} \cap S \neq \emptyset} n_ {\mathfrak p} {\mathfrak p}}{} auf die zugehörige Klasse in $\operatorname{DKG} { \left( R \right) }$ zu.}
\faktzusatz {}
}
{
Die Injektivität links ist klar. Die Einheiten aus $R$ haben überhaupt an jedem Primideal die Ordnung $0$, deshalb ist an der nächsten Stelle die Zusammensetzung die triviale Abbildung. Sei
\mavergleichskette
{\vergleichskette
{f
}
{ \in }{ R_S^{\times}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
derart, dass es unter der folgenden Abbildung auf $0$ geht. Das bedeutet, das es an allen Primidealen, die nicht zu $R_S$ gehören, die Ordnung $0$ besitzt. Da es eine Einheit in $R_S$ ist, hat es auch an allen Primidealen, die zu $R_S$ gehören, und damit überhaupt an jedem Primideal von $R$ die Ordnung $0$ und ist somit eine Einheit in $R$.
Die dritte Abbildung ist einfach die Hauptdivisorabbildung, da in den Primidealen, die zu $S$ disjunkt sind, die Ordnung einer Einheit aus $R_S$ stets $0$ ist und sich der relevante Teil des Hauptdivisors in den angegebenen Primidealen abspielt. Die zusammengesetzte Abbildung ist daher die Nullabbildung, da in der Klassengruppe die Hauptdivisoren zu $0$ gemacht werden. Wenn ein Divisor
\mathl{\sum_{ {\mathfrak p} \cap S \neq \emptyset} n_{\mathfrak p} {\mathfrak p}}{} in der Klassengruppe von $R$ zu $0$ wird, so bedeutet dies die Existenz eines
\mavergleichskette
{\vergleichskette
{f
}
{ \in }{ Q(R) \setminus \{0 \}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit
\mavergleichskettedisp
{\vergleichskette
{ \operatorname{div} { \left( f \right) }
}
{ =} { \sum_{ {\mathfrak p} \cap S \neq \emptyset} n_ {\mathfrak p} {\mathfrak p}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Dabei sind dann insbesondere die Ordnungen von $f$ an den Primidealen, die mit $S$ einen leeren Durchschnitt haben, gleich $0$, und dann gehört $f$ zu $R_S$ und ist dort eine Einheit.
Ein Divisor mit der angegebenen Trägermenge wird in der Klassengruppe von $R_S$ zu $0$, da diese Primideale in der Nenneraufnahme nicht überleben. Es sei
\mavergleichskette
{\vergleichskette
{ [D]
}
{ \in }{ \operatorname{DKG} { \left( R \right) }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
eine Divisorklasse, repräsentiert durch
\mavergleichskette
{\vergleichskette
{D
}
{ = }{ \sum_{ {\mathfrak p} } n_{\mathfrak p} {\mathfrak p}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
die in der Divisorenklassengruppe von $R_S$ zu $0$ wird. Wir schreiben
\mavergleichskette
{\vergleichskette
{D
}
{ = }{ \sum_{ {\mathfrak p} } n_{\mathfrak p} {\mathfrak p}
}
{ = }{ \sum_{ {\mathfrak p} \cap S \neq \emptyset } n_{\mathfrak p} {\mathfrak p} + \sum_{ {\mathfrak p} \cap S = \emptyset } n_{\mathfrak p} {\mathfrak p}
}
{ = }{ D_1 +D_2
}
{ }{
}
}
{}{}{.}
Unter der Abbildung wird dies nach
\mathl{[D_2]}{} abgebildet. Aus
\mavergleichskettedisp
{\vergleichskette
{ D_2
}
{ =} { \operatorname{div} { \left( f \right) }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
in der Divisorengruppe zu $R_S$ folgt, dass die Differenz zwischen
\mathkor {} {D} {und} {\operatorname{div} { \left( f \right) }} {}
in der Divisorengruppe zu $R$ mit Primidealen geschrieben werden kann, die zu $S$ einen nichtleeren Durchschnitt haben. Diese Differenz kommt also von rechts. Die Surjektivität an der letzten Stelle ist klar.
Die Abbildung
\maabb {} { \operatorname{DKG} { \left( R \right) } } {\operatorname{DKG} { \left( R_S \right) }
} {}
fügt sich in das kommutative Diagramm
\mathdisp {\begin{matrix} \operatorname{Div} { \left( R \right) } & \stackrel{ }{\longrightarrow} & \operatorname{Div} { \left( R_S \right) } & \\ \downarrow & & \downarrow & \\ \operatorname{DKG} { \left( R \right) } & \stackrel{ }{\longrightarrow} & \operatorname{DKG} { \left( R_S \right) } & \!\!\!\!\! \\ \end{matrix}} { }
ein, wobei die obere horizontale Abbildung einen Divisor
\mathl{\sum_{\mathfrak p} n_{\mathfrak p} {\mathfrak p}}{} von $R$ einfach auf denjenigen Divisor von $R_S$ abbildet, bei dem die Primideale ${\mathfrak p}$ mit
\mavergleichskette
{\vergleichskette
{ {\mathfrak p} \cap S
}
{ \neq }{ \emptyset
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ignoriert
\zusatzklammer {\anfuehrung{vergessen}{}} {} {}
werden. Dies entspricht der Abbildung, bei der ein
\definitionsverweis {gebrochenes Ideal}{}{}
${\mathfrak f}$ auf das Erweiterungsideal ${\mathfrak f} R_S$ abgebildet wird.
\inputfaktbeweis
{Dedekindbereich/Erweiterung/Divisorenklassengruppe/Rückzug/Fakt}
{Lemma}
{}
{
\faktsituation {Zu einer Erweiterung von
\definitionsverweis {Dedekindbereichen}{}{}
\mavergleichskette
{\vergleichskette
{R
}
{ \subseteq }{S
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}}
\faktfolgerung {gehört in funktorieller Weise ein
\definitionsverweis {Gruppenhomomorphismus}{}{}
\maabbeledisp {} {\operatorname{DKG} { \left( R \right) } } {\operatorname{DKG} { \left( S \right) }
} { [ {\mathfrak a} ]} { [ {\mathfrak a} S ]
} {.}}
\faktzusatz {}
\faktzusatz {}
}
{
Wir gehen von der Zuordnung aus, die jedem von $0$ verschiedenen Ideal ${\mathfrak a}$ von $R$ das
\definitionsverweis {Erweiterungsideal}{}{}
${\mathfrak a} S$ zuordnet, das ebenfalls von $0$ verschieden ist. Diese Zuordnung ist mit dem
\definitionsverweis {Produkt}{}{}
von Idealen verträglich. Deshalb liegt ein
\definitionsverweis {Monoidhomomorphismus}{}{}
vor. Ein
\definitionsverweis {gebrochenes Ideal}{}{}
kann man nach
Aufgabe 13.31
in der Form
\mathl{{\mathfrak a} {\mathfrak b}^{-1}}{} mit Idealen ${\mathfrak a}, {\mathfrak b}$ schreiben und diesem das gebrochene Ideal
\mathl{{\mathfrak a}S ( {\mathfrak b} S)^{-1}}{} zuordnen. Dies ist wohldefiniert und so erhält man einen Gruppenhomomorphismus von der Gruppe der gebrochenen Ideale $\neq 0$ von $R$ in die Gruppe der gebrochenen Ideale $\neq 0$ von $S$. Das Erweiterungsideal eines Hauptideals ist wieder ein Hauptideal, und deshalb werden gebrochene Hauptideale auf gebrochene Hauptideale abgebildet.
Der Satz vom induzierten Homomorphismus
ergibt somit einen Gruppenhomomorphismus
\maabbdisp {} { \operatorname{DKG} { \left( R \right) } } { \operatorname{DKG} { \left( S \right) }
} {.}
Insgesamt liegt das kommutative Diagramm
\mathdisp {\begin{matrix} \operatorname{Gebrochene \, Hauptideale} { \left( R \right) } & \stackrel{ }{\longrightarrow} & \operatorname{Gebrochene \, Ideale} { \left( R \right) } & \stackrel{ }{\longrightarrow} & \operatorname{DKG} { \left( R \right) } & \\ \downarrow & & \downarrow & & \downarrow & & \\ \operatorname{Gebrochene \, Hauptideale} { \left( S \right) } & \stackrel{ }{\longrightarrow} & \operatorname{Gebrochene \, Ideale} { \left( S \right) } & \stackrel{ }{\longrightarrow} & \operatorname{DKG} { \left( S \right) } &\!\!\!\!\! \\ \end{matrix}} { }
vor. Auf der Divisorebene wird dabei einem Primdivisor ${\mathfrak p}$ der Divisor zum Ideal ${\mathfrak p}S$ zugeordnet. Das Erweiterungsideal zu ${\mathfrak p}$ beschreibt dabei die Faser der
\definitionsverweis {Spektrumsabbildung}{}{}
\maabb {} { \operatorname{Spek} { \left( S \right) } } { \operatorname{Spek} { \left( R \right) }
} {}
über ${\mathfrak p}$. Dies ist insbesondere bei endlichen Erweiterungen von Dedekindbereichen relevant.
Man kann sich fragen, ob die Abbildung zwischen den Klassengruppen stets injektiv ist, oder ob umgekehrt ein nichttriviales Ideal zu einem Hauptideal werden kann. Dies ist in der Tat der Fall.
\inputbeispiel{}
{
Wir betrachten im
\definitionsverweis {quadratischen Zahlbereich}{}{}
$R$ zu
\mavergleichskette
{\vergleichskette
{D
}
{ = }{-5
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
das
\definitionsverweis {Ideal}{}{}
\mavergleichskette
{\vergleichskette
{ {\mathfrak p}
}
{ = }{ (2, 1+ \sqrt{-5})
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
das nach
Beispiel 10.7
kein Hauptideal ist. Es sei $S$ der ganze Abschluss von $R$
\zusatzklammer {oder von $\Z$} {} {}
im Erweiterungskörper
\mavergleichskette
{\vergleichskette
{L
}
{ = }{ \Q[\sqrt{-5}, \sqrt{2}]
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
vom Grad vier über $\Q$. Wir haben also eine Kette
\mavergleichskettedisp
{\vergleichskette
{\Z
}
{ \subset} { R
}
{ \subset} { S
}
{ } {
}
{ } {
}
}
{}{}{}
von Zahlbereichen. Wir behaupten, dass das
\definitionsverweis {Erweiterungsideal}{}{}
\mavergleichskettedisp
{\vergleichskette
{ {\mathfrak p} S
}
{ =} { (2, 1+ \sqrt{-5} )S
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
ein Hauptideal in $S$ ist, und zwar behaupten wir, dass $\sqrt{2}$ ein Idealerzeuger davon ist. Dazu betrachten wir zunächst das rationale Element
\mavergleichskette
{\vergleichskette
{z
}
{ = }{ { \frac{ \sqrt{2} + \sqrt{2} \cdot \sqrt{-5} }{ 2 } }
}
{ = }{ { \frac{ 1 + \sqrt{-5} }{ \sqrt{2} } }
}
{ \in }{ L
}
{ }{
}
}
{}{}{.}
Wegen
\mavergleichskettedisp
{\vergleichskette
{z^2
}
{ =} { { \left( { \frac{ \sqrt{2} + \sqrt{2} \cdot \sqrt{-5} }{ 2 } } \right) }^2
}
{ =} { { \frac{ 2 -2 \cdot 5 +4 \sqrt{-5} }{ 4 } }
}
{ =} { -2 + \sqrt{-5}
}
{ \in} {R
}
}
{}{}{}
erfüllt $z$ eine Ganzheitsgleichung über $R$ und gehört somit zu $S$
\zusatzklammer {ebenso, wenn im Zähler ein Minuszeichen steht} {} {.}
Die Gleichheit
\mavergleichskettedisp
{\vergleichskette
{ {\mathfrak p} S
}
{ =} { (\sqrt{2})
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
folgt einerseits aus
\mavergleichskettedisp
{\vergleichskette
{2
}
{ =} { \sqrt{2} \cdot \sqrt{2}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und
\mavergleichskettedisp
{\vergleichskette
{1+ \sqrt{-5}
}
{ =} { z \cdot \sqrt{2}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und andererseits aus
\mavergleichskettedisp
{\vergleichskette
{ - \sqrt{2} \cdot 2 + { \frac{ 1-\sqrt{-5} }{ \sqrt{2} } } (1+ \sqrt{-5})
}
{ =} { - \sqrt{2} \cdot 2 + { \frac{ 6 }{ \sqrt{2} } }
}
{ =} { - \sqrt{2} \cdot 2 + 3 \cdot \sqrt{2}
}
{ =} { \sqrt{2} (-2+3)
}
{ =} { \sqrt{2}
}
}
{}{}{.}
}
Es gilt sogar, dass man im zahlentheoretischen Kontext jede Klasse trivialisieren kann. Dies bedeutet aber nicht, dass es zu jedem Zahlbereich eine faktorielle Erweiterung gibt, da durch die Trivialisierung typischerweise \anfuehrung{an anderer Stelle}{} nichttriviale Klassen auftreten.
\inputbeispiel{}
{
Wir betrachten den
\definitionsverweis {kommutativen Ring}{}{}
\mavergleichskette
{\vergleichskette
{ R
}
{ = }{\R[X,Y]/(X^2+Y^2-1)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
der dem Einheitskreis in dem Sinne entspricht, dass die
\definitionsverweis {Primideale}{}{}
der Form
\mathl{(X-a,Y-b)}{} darin den reellen Punkten des Kreis entsprechen. Dies ist ein
\definitionsverweis {Dedekindbereich}{}{,}
wobei die
\definitionsverweis {Normalität}{}{}
aus der Glattheit des Kreises folgt.
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Mobius_strip.jpg} }
\end{center}
\bildtext {Das \stichwort {Möbiusband} {.}} }
\bildlizenz { Möbius strip.jpg } {} {Dbenbenn} {Commons} {CC-by-sa 3.0} {}
Das Ideal
\mavergleichskette
{\vergleichskette
{ {\mathfrak p}
}
{ = }{(X, Y-1)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist ein Primideal darin, das kein Hauptideal ist. Für das Produkt dieses Ideals mit sich selbst haben wir
\mavergleichskettedisp
{\vergleichskette
{ (X,Y-1)^2
}
{ =} { ( X^2 , XY-X, (Y-1)^2 )
}
{ =} { (Y-1)
}
{ } {
}
{ } {
}
}
{}{}{,}
wobei die Inklusion $\subseteq$ klar ist und sich die andere Inklusion aus
\mavergleichskettedisp
{\vergleichskette
{ { \frac{ 1 }{ 2 } } { \left( -X^2 - (Y-1)^2 \right) }
}
{ =} { { \frac{ 1 }{ 2 } } { \left( -1+ Y^2 - (Y-1)^2 \right) }
}
{ =} { Y-1
}
{ } {
}
{ } {}
}
{}{}{}
ergibt. Da $Y-1$ in $R$ keine Quadratwurzel
\zusatzklammer {und auch nicht multipliziert mit einer Einheit} {} {}
besitzt, ist ${\mathfrak p}$ kein Hauptideal. Dieses Ideal ist eine algebraische Realisierung des Möbiusbandes
\zusatzklammer {ein Ideal definiert eine invertierbare Garbe und ein Geradenbündel; das Möbiusband ist das nichttriviale Geradenbündel auf dem Einheitskreis} {} {.}
Wir betrachten den
\definitionsverweis {Ringhomomorphismus}{}{}
\maabbeledisp {} {R =\R[X,Y]/(X^2+Y^2-1) } { S = \R[U,V]/(U^2+V^2-1)
} {(X,Y)} { (U^2-V^2,2UV)
} {,}
des Ringes in sich
\zusatzklammer {wir schreiben rechts $S$, um die unterschiedlichen Rollen zu betonen} {} {.}
Wegen
\mavergleichskettedisp
{\vergleichskette
{ X^2+Y^2
}
{ =} { (U^2-V^2)^2 + (2UV)^2
}
{ =} { U^4 -2U^2 V^2 +V^4 +4U^2V^2
}
{ =} { U^4 +2U^2V^2+V^4
}
{ =} { (U^2+V^2)^2
}
}
{
\vergleichskettefortsetzung
{ =} { 1
}
{ } {}
{ } {}
{ } {}
}{}{}
ist dies wohldefiniert
\zusatzklammer {es handelt sich um die komplexe Quadrierung eingeschränkt auf den Einheitskreis} {} {.}
Es handelt sich um eine
\definitionsverweis {ganze Ringerweiterung}{}{.}
Das
\definitionsverweis {Erweiterungsideal}{}{}
zu
\mathl{(X,Y-1)}{} ist
\mavergleichskettedisp
{\vergleichskette
{ (U^2-V^2,2UV-1)
}
{ =} { (1-2 V^2, 2UV-1)
}
{ =} { (U-V)
}
{ } {
}
{ } {
}
}
{}{}{,}
also ein Hauptideal. Dies beruht auf
\mavergleichskettedisp
{\vergleichskette
{U^2-V^2
}
{ =} { (U+V) (U-V)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
\mavergleichskettedisp
{\vergleichskette
{2UV -1
}
{ =} { 2UV - U^2-V^2
}
{ =} { (V-U) (U-V)
}
{ } {
}
{ } {
}
}
{}{}{}
und
\mavergleichskettedisp
{\vergleichskette
{U-V
}
{ =} { V { \left( U^2-V^2 \right) } -U { \left( 2UV -1 \right) }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
}