Kurs:Algebraische Zahlentheorie (Osnabrück 2020-2021)/Vorlesung 26/latex
\setcounter{section}{26}
\zwischenueberschrift{Die Endlichkeit der Klassenzahl}
Das Ziel dieser Vorlesung ist es, die Endlichkeit der Idealklassengruppe eines Zahlbereichs zu beweisen. Dies geschieht mit den Gittermethoden der beiden letzten Vorlesungen. Diese Methoden erlauben es prinzipiell auch, die Idealklassengruppe algorithmisch zu berechnen und zu entscheiden, ob ein Zahlbereich faktoriell ist oder nicht.
\inputfaktbeweis
{Zahlbereich/Endlich viele Ideale unterhalb Norm/Fakt}
{Lemma}
{}
{
Es sei $R$ ein \definitionsverweis {Zahlbereich}{}{.} Dann gibt es nur endlich viele \definitionsverweis {Ideale}{}{} ${\mathfrak a}$ in $R$, deren \definitionsverweis {Norm}{}{} unterhalb einer gewissen Zahl liegt.
}
{
Es genügt zu zeigen, dass es zu einer natürlichen Zahl $n$ nur endlich viele Ideale ${\mathfrak a}$ in $R$ mit
\mavergleichskette
{\vergleichskette
{ N({\mathfrak a})
}
{ = }{ n
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gibt. Es sei also ${\mathfrak a}$ ein solches Ideal. Dann ist
\mavergleichskette
{\vergleichskette
{n
}
{ \in }{ {\mathfrak a}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
nach
Lemma 10.5
und damit entspricht ${\mathfrak a}$ einem Ideal aus
\mathl{R/(n)}{.} Dieser Ring ist aber nach
Satz 9.14
endlich und besitzt somit überhaupt nur endlich viele Ideale.
\inputfaktbeweis
{Zahlbereich/Ideal/Einbettungsbedingung/Element/Fakt}
{Lemma}
{}
{
\faktsituation {Es sei $R$ ein
\definitionsverweis {Zahlbereich}{}{}
mit
\definitionsverweis {Diskriminante}{}{}
$\triangle$ und $s$ Paaren von komplexen Einbettungen. Es sei
\mavergleichskette
{\vergleichskette
{ {\mathfrak a}
}
{ \neq }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ein
\definitionsverweis {Ideal}{}{.}}
\faktvoraussetzung {Es sei $d_\tau$ eine Familie von $n$ positiven reellen Zahlen zu jeder reellen oder komplexen Einbettung, wobei für konjugiert komplexe Einbettungen die gleiche Zahl vorliege. Ferner gelte
\mavergleichskettedisp
{\vergleichskette
{ \prod_\tau d_\tau
}
{ >} { \left( \frac{ 2 }{ \pi } \right)^s \sqrt{ \betrag { \Delta } } N( {\mathfrak a} )
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}}
\faktfolgerung {Dann gibt es ein
\mathbed {f \in {\mathfrak a}} {}
{f \neq 0} {}
{} {} {} {,}
mit der Eigenschaft
\mavergleichskettedisp
{\vergleichskette
{ \betrag { \tau (f) }
}
{ <} { d_\tau
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
für alle $\tau$.}
\faktzusatz {}
\faktzusatz {}
}
{
Wir nummerieren die Einbettungen mit
\mathl{1 , \ldots , r}{} für die reellen und
\mathl{r+1,r+2 , \ldots , r+2s-1, r+2s}{} durch, wobei die konjugiert-komplexen Einbettungen nebeneinander stehen. Wir betrachten die Menge
\mavergleichskettedisp
{\vergleichskette
{M
}
{ =} { { \left\{ (x_1 , \ldots , x_r, x_{r+1} , \ldots , x_{r+2s} ) \in \R^{r+2s} \mid \betrag { x_j } < d_j \text{ für } j = 1 , \ldots , r , \, x_{ r+j}^2 + x_{r+j+1}^2 < d_{r+j}^2 \text{ für } j = 1, 3 , \ldots , 2s-1 \right\} }
}
{ } {
}
{ } {
}
{ } {}
}
{}{}{.}
Dies ist eine Produktmenge aus $r$ Intervallen der Länge $2d_j$ und $s$ Kreisscheiben mit den Radien $d_j$. Diese Menge ist offensichtlich
\definitionsverweis {zentralsymmetrisch}{}{}
und
\definitionsverweis {konvex}{}{}
ist. Die Menge ist so nicht kompakt. Wir können aber jedes $r_j$ derart verkleinern, dass die Bedingung nach wie vor erfüllt ist und dann in der entsprechenden Menge $\leq$ statt $<$ schreiben. Da die Menge ein Produkt aus Intervallen und Kreisen ist, ist ihr Volumen gleich
\mavergleichskettedisp
{\vergleichskette
{ 2^r \prod_{j = 1}^r d_j \cdot \pi^s \prod_{j = r+1}^{r+2s} d_j
}
{ =} { 2^r \pi^s \prod_{j = 1}^n d_j
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
\zusatzklammer {man beachte, dass der Flächeninhalt des Kreises durch das zweifache Vorkommen der höheren $d_j$ berücksichtigt wird} {} {.}
Nach Voraussetzung und nach
Satz 25.9
ist dieses Volumen größer als
\mavergleichskettealignhandlinks
{\vergleichskettealignhandlinks
{ 2^r \pi^s \left( \frac{ 2 }{ \pi } \right)^s \sqrt{ \betrag { \Delta } } N( {\mathfrak a} )
}
{ =} { 2^{r+s} \sqrt{ \betrag { \Delta } } N( {\mathfrak a} )
}
{ =} { 2^{r+s} 2^s \operatorname{Vol} (\mathfrak N )
}
{ =} { 2^n \operatorname{Vol} (\mathfrak N )
}
{ } {}
}
{}
{}{,}
wobei $\mathfrak N$ die Grundmasche des Gitters zum Ideal ${\mathfrak a}$ unter der reellen Gesamteinbettung bezeichnet. Nach
dem Gitterpunktsatz von Minkowski
gibt es einen Gitterpunkt $\neq 0$, der in $M$ liegt. D.h. es gibt ein
\mavergleichskette
{\vergleichskette
{f
}
{ \in }{ {\mathfrak a}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit
\mavergleichskette
{\vergleichskette
{ \betrag { \tau_j(f) }
}
{ < }{ d_j
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
für alle $j$.
\inputfaktbeweis
{Zahlbereich/Einbettungsbedingung/Element/Fakt}
{Korollar}
{}
{
\faktsituation {Es sei $R$ ein
\definitionsverweis {Zahlbereich}{}{}
mit
\definitionsverweis {Diskriminante}{}{}
$\triangle$ und $s$ Paaren von komplexen Einbettungen.}
\faktvoraussetzung {Es sei $d_\tau$ eine Familie von positiven reellen Zahlen zu jeder reellen oder komplexen Einbettung, wobei für konjugiert komplexe Einbettungen die gleiche Zahl vorliege. Ferner gelte
\mavergleichskettedisp
{\vergleichskette
{ \prod_\tau d_\tau
}
{ >} { \left( \frac{ 2 }{ \pi } \right)^s \sqrt{ \betrag { \Delta } }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}}
\faktfolgerung {Dann gibt es ein
\mathbed {f \in R} {}
{f \neq 0} {}
{} {} {} {,}
mit der Eigenschaft
\mavergleichskettedisp
{\vergleichskette
{ \betrag { \tau (f) }
}
{ <} { d_\tau
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
für alle $\tau$.}
\faktzusatz {}
\faktzusatz {}
}
{
Dies folgt direkt aus
Lemma 26.2,
angewendet auf das Einheitsideal
\mavergleichskette
{\vergleichskette
{ {\mathfrak a}
}
{ = }{ R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
\inputfaktbeweis
{Zahlbereich/Ideal/Element mit beschränkter Norm/Fakt}
{Korollar}
{}
{
\faktsituation {Es sei $R$ ein
\definitionsverweis {Zahlbereich}{}{}
mit
\definitionsverweis {Diskriminante}{}{}
$\triangle$ und mit $s$ Paaren von komplexen Einbettungen.}
\faktfolgerung {Dann enthält jedes Ideal
\mavergleichskette
{\vergleichskette
{ {\mathfrak a}
}
{ \neq }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ein Element
\mavergleichskette
{\vergleichskette
{f
}
{ \in }{ {\mathfrak a}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
\mavergleichskette
{\vergleichskette
{f
}
{ \neq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
das die Normschranke
\mavergleichskettedisp
{\vergleichskette
{ \betrag { N(f) }
}
{ \leq} { \left( \frac{ 2 }{ \pi } \right)^s \sqrt{ \betrag { \triangle } } N( {\mathfrak a} )
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
erfüllt.}
\faktzusatz {}
\faktzusatz {}
}
{
Für jede Wahl von positiven reellen Zahlen $d_\tau$
\zusatzklammer {wobei $\tau$ die komplexen Einbettungen durchläuft, und wobei die Paarbedingung für nichtreelles $\tau$ gelte} {} {}
mit
\mavergleichskettedisp
{\vergleichskette
{ \prod_\tau d_\tau
}
{ >} { \left( \frac{ 2 }{ \pi } \right)^s \sqrt{ \betrag { \Delta } } N( {\mathfrak a} )
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
gibt es nach
Lemma 26.2
ein
\mavergleichskette
{\vergleichskette
{f
}
{ \in }{ {\mathfrak a}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
\mavergleichskette
{\vergleichskette
{f
}
{ \neq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
mit
\mavergleichskettedisp
{\vergleichskette
{ \betrag { \tau (f) }
}
{ <} { d_\tau
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
für jede komplexe Einbettung $\tau$. Nach
Lemma 7.14
ist somit
\mavergleichskettedisp
{\vergleichskette
{ \betrag { N(f) }
}
{ =} { \prod_\tau \betrag { \tau(f) }
}
{ <} { \prod_\tau d_\tau
}
{ } {
}
{ } {
}
}
{}{}{.}
Würde es kein $f$ mit Betragsnorm unterhalb
\zusatzklammer {einschließlich} {} {}
der angegebenen Grenze geben, könnte man daraus direkt einen Widerspruch produzieren.
\inputfaktbeweis
{Zahlbereich/Klassengruppe/Vertreter mit beschränkter Norm für Idealklasse/Fakt}
{Lemma}
{}
{
Es sei $R$ ein
\definitionsverweis {Zahlbereich}{}{}
mit
\definitionsverweis {Diskriminante}{}{}
$\triangle$ und mit $s$ Paaren von komplexen Einbettungen. Dann enthält jede Idealklasse aus der
\definitionsverweis {Klassengruppe}{}{}
ein
\definitionsverweis {Ideal}{}{}
\mavergleichskette
{\vergleichskette
{ {\mathfrak a}
}
{ \subseteq }{ R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
das die Normschranke
\mavergleichskettedisp
{\vergleichskette
{ N({\mathfrak a} )
}
{ \leq} { \left( \frac{ 2 }{ \pi } \right)^s \sqrt{ \betrag { \triangle } }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
erfüllt.
}
{
Es sei ${\mathfrak c}$ die Idealklasse. Die inverse Idealklasse ${\mathfrak c}^{-1}$ sei durch das Ideal
\mavergleichskette
{\vergleichskette
{ {\mathfrak b}
}
{ \subseteq }{ R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
repräsentiert, siehe
Lemma 13.5.
Nach
Korollar 26.4
gibt es ein
\mavergleichskette
{\vergleichskette
{f
}
{ \in }{ {\mathfrak b}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit
\mavergleichskettedisp
{\vergleichskette
{ N(f)
}
{ \leq} { \left( \frac{ 2 }{ \pi } \right)^s \sqrt{ \betrag { \triangle } } N( {\mathfrak b} )
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Dann ist $f \cdot {\mathfrak b}^{-1}$ ein Ideal, da ja ${\mathfrak b}^{-1}$ alle Elemente aus ${\mathfrak b}$ nach $R$ multipliziert, und das ${\mathfrak c}$ repräsentiert. Nach
Korollar 12.14
ist
\mavergleichskettedisp
{\vergleichskette
{ N ( f \cdot {\mathfrak b}^{-1})
}
{ =} { N(f) N( {\mathfrak b} )^{-1}
}
{ \leq} { \left( \frac{ 2 }{ \pi } \right)^s \sqrt{ \betrag { \triangle } } N( {\mathfrak b} ) N( {\mathfrak b} )^{-1}
}
{ =} { \left( \frac{ 2 }{ \pi } \right)^s \sqrt{ \betrag { \triangle } }
}
{ } {
}
}
{}{}{.}
\inputfaktbeweis
{Zahlbereich/Endlichkeit der Klassengruppe/Fakt}
{Satz}
{}
{
\faktsituation {Es sei $R$ ein
\definitionsverweis {Zahlbereich}{}{.}}
\faktfolgerung {Dann ist die
\definitionsverweis {Divisorenklassengruppe}{}{}
von $R$ eine endliche Gruppe.}
\faktzusatz {}
\faktzusatz {}
}
{
Nach Lemma 26.5 wird jede Klasse in der Klassengruppe durch ein Ideal mit einer Norm repräsentiert, die durch die dort angegebene Schranke beschränkt ist. D.h., dass die Ideale mit einer Norm unterhalb dieser Schranke alle Klassen repräsentieren. Nach Lemma 26.1 gibt es aber überhaupt nur endlich viele Ideale mit einer Norm unterhalb einer gegebenen Schranke.
Das im Beweis verwendete Lemma bietet prinzipiell eine Abschätzung für die Anzahl der Klassengruppe.
\inputdefinition
{}
{
Es sei $R$ ein \definitionsverweis {Zahlbereich}{}{.} Dann nennt man die Anzahl der Elemente in der \definitionsverweis {Klassengruppe}{}{} von $R$ die \definitionswort {Klassenzahl}{} von $R$.
}
Es ist üblich, die Klassenzahl mit $h_{ R }$ \zusatzklammer {oder $h_{ K }$, wenn $K$ der Quotientenkörper ist} {} {} zu bezeichnen.
\inputfaktbeweis
{Zahlbereich/Idealpotenz ist Hauptideal/Fakt}
{Korollar}
{}
{
Es sei $R$ ein
\definitionsverweis {Zahlbereich}{}{}
und sei ${\mathfrak a}$ ein
\definitionsverweis {Ideal}{}{}
in $R$. Dann gibt es ein
\mavergleichskette
{\vergleichskette
{n
}
{ \geq }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
derart, dass ${\mathfrak a}^n$ ein
\definitionsverweis {Hauptideal}{}{}
ist.
}
{
Für das Nullideal ist die Aussage richtig, sei also ${\mathfrak a}$ von $0$ verschieden. Die zugehörige Idealklasse $[ {\mathfrak a} ]$ besitzt aufgrund von
Satz 26.6
in der Idealklassengruppe endliche Ordnung, d.h., dass für ein
\mavergleichskette
{\vergleichskette
{n
}
{ \geq }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
\mavergleichskettedisp
{\vergleichskette
{ [ {\mathfrak a}^n ]
}
{ =} { [ {\mathfrak a} ]^n
}
{ =} { 0
}
{ } {
}
{ } {
}
}
{}{}{}
ist. Dies bedeutet aber gerade, dass ${\mathfrak a}^n$ ein Hauptideal ist.
Wir formulieren noch explizit die folgenden Kriterien für Faktorialität.
\inputfaktbeweis
{Zahlbereich/Kriterium für faktoriell/Primideale unterhalb von Normschranke Hauptideale/Fakt}
{Korollar}
{}
{
\faktsituation {Es sei $R$ ein
\definitionsverweis {Zahlbereich}{}{}
mit
\definitionsverweis {Diskriminante}{}{}
$\triangle$ und $s$ Paaren von
\definitionsverweis {komplexen Einbettungen}{}{.}}
\faktvoraussetzung {Es sei vorausgesetzt, dass jedes
\definitionsverweis {Primideal}{}{}
${\mathfrak p}$ in $R$, das die Normbedingung
\mavergleichskettedisp
{\vergleichskette
{ N({\mathfrak p} )
}
{ \leq} { \left( \frac{ 2 }{ \pi } \right)^s \sqrt{ \betrag { \triangle } }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
erfüllt, ein
\definitionsverweis {Hauptideal}{}{}
sei.}
\faktfolgerung {Dann ist $R$
\definitionsverweis {faktoriell}{}{.}}
\faktzusatz {}
\faktzusatz {}
}
{
Es sei ${\mathfrak a}$ ein Ideal $\neq 0$ unterhalb der angegebenen Normschranke. Nach
Satz 12.2
ist
\mavergleichskette
{\vergleichskette
{ {\mathfrak a}
}
{ = }{ {\mathfrak p}_1 \cdots {\mathfrak p}_k
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit
\definitionsverweis {Primidealen}{}{}
${\mathfrak p}_i$, und wegen
Korollar 12.14
sind die Normen dieser Primideale ebenfalls unter der Schranke. Da all diese Primideale nach Voraussetzung Hauptideale sind, ist auch ${\mathfrak a}$ ein Hauptideal. Da nach
Lemma 26.5
jede Idealklasse durch ein Ideal unterhalb der Normschranke repräsentiert wird, bedeutet dies, dass jede Idealklasse durch ein Hauptideal repräsentiert wird. Das heißt die Klassengruppe ist trivial und damit ist nach
Satz 14.2
der Ring $R$ faktoriell.
\inputfaktbeweis
{Zahlbereich/Kriterium für faktoriell/Primzahlen unterhalb von Normschranke haben Primfaktorzerlegung/Fakt}
{Korollar}
{}
{
\faktsituation {Es sei $R$ ein
\definitionsverweis {Zahlbereich}{}{}
mit
\definitionsverweis {Diskriminante}{}{}
$\triangle$ und $s$ Paaren von
\definitionsverweis {komplexen Einbettungen}{}{.}}
\faktvoraussetzung {Es sei vorausgesetzt, dass jede
\definitionsverweis {Primzahl}{}{}
$p$, die die Normbedingung
\mavergleichskettedisp
{\vergleichskette
{ p
}
{ \leq} { \left( \frac{ 2 }{ \pi } \right)^s \sqrt{ \betrag { \triangle } }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
erfüllt, ein Primfaktorzerlegung besitzt.}
\faktfolgerung {Dann ist $R$
\definitionsverweis {faktoriell}{}{.}}
\faktzusatz {}
\faktzusatz {}
}
{
Es sei ${\mathfrak p}$ ein
\definitionsverweis {Primideal}{}{}
derart, dass
\mathl{N( {\mathfrak p} )}{} unterhalb der angegebenen Schranke liegt, und es sei
\mavergleichskette
{\vergleichskette
{ \Z p
}
{ = }{ {\mathfrak p} \cap \Z
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit einer Primzahl $p$. Nach
Korollar 8.8
ist die Norm von ${\mathfrak p}$ gleich $p^i$ mit
\mavergleichskette
{\vergleichskette
{i
}
{ \leq }{n
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
so dass auch $p$ unterhalb der Schranke ist und somit nach Voraussetzung eine Primfaktorzerlegung für $p$ besteht. Daraus folgt aber, dass ${\mathfrak p}$ ein Hauptideal ist. Aus
Korollar 26.9
folgt die Behauptung.
{Quadratischer Zahlbereich/Kriterium für faktoriell/Primzahlen unterhalb von Normschranke haben Primfaktorzerlegung/Fakt}
{Korollar}
{}
{
Es sei
\mavergleichskette
{\vergleichskette
{D
}
{ \neq }{0,1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
eine
\definitionsverweis {quadratfreie Zahl}{}{}
und sei $A_D$ der zugehörige
\definitionsverweis {quadratische Zahlbereich}{}{}
mit
\definitionsverweis {Diskriminante}{}{}
$\triangle$. Es sei vorausgesetzt, dass jede Primzahl $p$ mit
\mavergleichskettedisp
{\vergleichskette
{p
}
{ \leq} { \begin{cases} \frac{2 \sqrt{ {{|\triangle|}} } }{\pi} & \mbox{ bei } \, D < 0 \, , \\ \frac{ \sqrt{ {{|\triangle|}} } }{2} & \mbox{ bei } \, D > 0 \, . \end{cases}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
in $A_D$ eine Primfaktorzerlegung besitzt. Dann ist $A_D$
\definitionsverweis {faktoriell}{}{.}
}
{Für
\mavergleichskette
{\vergleichskette
{D
}
{ < }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{} folgt dies direkt aus Korollar 26.10, für
\mavergleichskette
{\vergleichskette
{D
}
{ > }{0
}
{ }{
}
{ }{
}
{ }{
}
}
\inputbeispiel{}
{
Es sei
\mavergleichskette
{\vergleichskette
{R
}
{ = }{\Z[\sqrt{-5}]
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
also
\mavergleichskette
{\vergleichskette
{D
}
{ = }{-5
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{ \triangle
}
{ = }{ -20
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Jede Idealklasse enthält ein Ideal ${\mathfrak a}$ der Norm
\mavergleichskettedisp
{\vergleichskette
{ N({\mathfrak a})
}
{ \leq} { \frac{2 \sqrt{20} }{\pi}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
so dass nur Ideale mit Norm $2$ zu betrachten sind. Ein Ideal ${\mathfrak a}$ mit
\mavergleichskette
{\vergleichskette
{ N({\mathfrak a})
}
{ = }{ 2
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist ein Primideal ${\mathfrak p}$ mit
\mavergleichskette
{\vergleichskette
{ {\mathfrak p} \cap \Z
}
{ = }{ (2)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Daher ist
\mavergleichskettedisp
{\vergleichskette
{ {\mathfrak p}
}
{ =} { (2,1+ \sqrt{-5})
}
{ =} { (2,1- \sqrt{-5})
}
{ } {
}
{ } {
}
}
{}{}{}
die einzige Möglichkeit. Nach
Beispiel 10.7
ist ${\mathfrak p}$ kein Hauptideal. Daher ist die
\definitionsverweis {Idealklassengruppe}{}{}
isomorph zu
\mathl{\Z/(2)}{,} wobei das Nullelement durch die Hauptdivisoren
\zusatzklammer {oder Hauptideale} {} {}
repräsentiert wird und das andere Element durch ${\mathfrak p}$.
}
\inputbeispiel{}
{
Es sei
\mavergleichskette
{\vergleichskette
{R
}
{ = }{A_{-19}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
der
\definitionsverweis {quadratische Zahlbereich}{}{}
zu
\mavergleichskette
{\vergleichskette
{D
}
{ = }{-19
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
also
\mavergleichskette
{\vergleichskette
{ A_{-19}
}
{ = }{ \Z[\frac{1+ \sqrt{-19} }{2}]
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
bzw.
\mavergleichskette
{\vergleichskette
{ A_{-19}
}
{ \cong }{ \Z[Y]/(Y^2-Y+5)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Wir wissen aufgrund von
Satz Anhang 2.9,
dass $R$ nicht
\definitionsverweis {euklidisch}{}{}
ist. Dennoch ist $R$
\definitionsverweis {faktoriell}{}{}
und nach
[[Zahlbereich/Divisorenklassengruppe/Charakterisierung von faktoriell/Fakt|Satz 14.2 ]]
ein
\definitionsverweis {Hauptidealbereich}{}{}
und die
\definitionsverweis {Klassengruppe}{}{}
ist trivial. Hierfür benutzen wir
Korollar 26.11,
d.h. wir haben für alle Primzahlen
\mavergleichskette
{\vergleichskette
{p
}
{ \leq }{\frac{2 \sqrt{ {{|\triangle|}} } }{\pi}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
zu zeigen, dass sie eine Primfaktorzerlegung in $R$ besitzen. Diese Abschätzung wird nur von
\mavergleichskette
{\vergleichskette
{p
}
{ = }{2
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
erfüllt. Für
\mavergleichskette
{\vergleichskette
{p
}
{ = }{2
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist der Restklassenring
\mavergleichskettedisp
{\vergleichskette
{ R/(2)
}
{ \cong} { \Z/(2) [Y]/(Y^2+Y+1)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
ein Körper, so dass $2$
\definitionsverweis {träge}{}{}
in $R$ ist und insbesondere eine Primfaktorzerlegung besitzt.
}
\inputbeispiel{}
{
Wir wollen zeigen, dass der fünfte
\definitionsverweis {Kreisteilungsring}{}{}
\mavergleichskettedisp
{\vergleichskette
{R_5
}
{ =} { \Z[X]/ { \left( X^4+X^3+X^2+X+1 \right) }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
\definitionsverweis {faktoriell}{}{}
ist. Es gibt vier komplexe Einbettungen und die
\definitionsverweis {Diskriminante}{}{}
ist
nach Lemma 17.16
gleich $\pm 125$. Wegen
\mavergleichskettedisp
{\vergleichskette
{ \left( \frac{ 2 }{ \pi } \right)^2 \sqrt{125}
}
{ <} {5
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
ist nach
Korollar 26.10
nur zu überprüfen, ob die Primzahlen
\mavergleichskette
{\vergleichskette
{p
}
{ = }{2,3
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
in $R_5$ eine Primfaktorzerlegung besitzen. Da
\mathl{\Z/(2) [X]/ { \left( X^4+X^3+X^2+X+1 \right) }}{} und
\mathl{\Z/(3) [X]/ { \left( X^4+X^3+X^2+X+1 \right) }}{}
\definitionsverweis {Körper}{}{}
sind
\zusatzklammer {vergleiche
Satz 23.2} {} {,}
sind
\mathkor {} {2} {und} {3} {}
sogar Primelemente in $R_5$.
}
\inputbemerkung
{}
{
Für ein vorgegebenes quadratfreies $D$ kann man grundsätzlich effektiv entscheiden, ob der quadratische Zahlbereich $A_D$ faktoriell ist oder nicht. Für
\mavergleichskette
{\vergleichskette
{D
}
{ < }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist dies genau für
\mavergleichskettedisp
{\vergleichskette
{D
}
{ =} { -1, -2, -3, -7,-11,-19,-43,-67,-163
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
der Fall. Es war bereits von Gauß vermutet worden, dass dies alle sind, es wurde aber erst 1967 von Heegner und Stark bewiesen. Man weiß auch, für welche von diesen $D$ der Ganzheitsbereich euklidisch ist, nämlich
nach Satz Anhang 2.9
für
\mavergleichskette
{\vergleichskette
{D
}
{ = }{-1, -2, -3, -7,-11
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
aber nicht für die anderen vier Werte.
Für
\mavergleichskette
{\vergleichskette
{D
}
{ > }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
wird vermutet, dass für unendlich viele Werte der Ganzheitsbereich faktoriell ist. Für
\mavergleichskette
{\vergleichskette
{D
}
{ < }{100
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
liegt ein faktorieller Bereich für die Werte
\mathdisp {2,3,5,6,7,11,13,14,17,19,21,23,29,31,33,37,38,41,43, 46,47,} { }
\mathdisp {53,57,59,61,62,67,69,71, 73,77,83,86,89,93,94,97} { }
vor. Dagegen weiß man
\zusatzklammer {Chatland und Davenport 1950} {} {,}
für welche positiven $D$ der Ganzheitsbereich $A_D$ euklidisch ist, nämlich für
\mavergleichskette
{\vergleichskette
{D
}
{ = }{ 2, 3, 5,6,7,11,13,17,19,21,29,33, 37,41,57,73
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}