Kurs:Algebraische Zahlentheorie (Osnabrück 2020-2021)/Vorlesung 29/latex
\setcounter{section}{29}
Wir besprechen in verschiedenen Beispielen genauer, wie die Einheitengruppe eines
\definitionsverweis {Zahlbereiches}{}{}
aussieht und wie
\definitionsverweis {Fundamentaleinheiten}{}{}
zu finden sind. Nach
dem Dirichletschen Einheitensatz,
den wir in der letzten Vorlesung bewiesen haben, ist der Rang der Einheitengruppe eines Zahlbereichs $R$ mit $r$ reellen Einbettungen und $s$ Paaren von komplexen Einbettungen gleich
\mathl{r+s-1}{.}
Der Rang der Einheitengruppe
\mathl{r+s-1}{} ist in zwei Fällen gleich $0$, nämlich bei
\mavergleichskette
{\vergleichskette
{R
}
{ = }{\Z
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und wenn $R$ ein imaginär-quadratischer Zahlbereich ist. In diesem Fall wurden die möglichen Einheitengruppen
\zusatzklammer {= Einheitswurzelgruppen} {} {}
in
Lemma 27.7
besprochen. Für den Rang
\mavergleichskette
{\vergleichskette
{r+s-1
}
{ = }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
also
\mavergleichskette
{\vergleichskette
{r+s
}
{ = }{2
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
gibt es die folgenden Möglichkeiten:
\aufzaehlungdrei{
\mavergleichskette
{\vergleichskette
{r
}
{ = }{2
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{s
}
{ = }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Dann ist der Grad der Körpererweiterung gleich $2$ und es handelt sich um eine reell-quadratische Körpererweiterung.
}{
\mavergleichskette
{\vergleichskette
{r
}
{ = }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{s
}
{ = }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Dann ist der Grad der Körpererweiterung gleich $3$. Das Minimalpolynom der Körpererweiterung ist ein kubisches Polynom mit genau einer reellen Nullstelle, beispielsweise
\mavergleichskette
{\vergleichskette
{\Q
}
{ \subset }{K
}
{ \cong }{\Q[X]/(X^3-2)
}
{ }{
}
{ }{
}
}
{}{}{.}
}{
\mavergleichskette
{\vergleichskette
{r
}
{ = }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{s
}
{ = }{2
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Dann ist der Grad der Körpererweiterung gleich $4$. Das Minimalpolynom der Körpererweiterung ist ein Polynom vom Grad $4$ ohne reelle Nullstelle. Ein Beispiel ist
\mavergleichskette
{\vergleichskette
{\Q
}
{ \subset }{K
}
{ \cong }{\Q[X]/(X^4+X^3+X^2+X+1)
}
{ }{
}
{ }{
}
}
{}{}{,}
der fünfte Kreisteilungskörper.
}
\zwischenueberschrift{Fundamentaleinheiten im reell-quadratischen Fall}
\inputfaktbeweis
{Quadratischer Zahlbereich/Reell/Fundamentaleinheit/Größer 1/Fakt}
{Lemma}
{}
{
\faktsituation {Es sei $A_D$ ein
\definitionsverweis {reell-quadratischer Zahlbereich}{}{}
zu
\definitionsverweis {quadratfreiem}{}{}
\mavergleichskette
{\vergleichskette
{D
}
{ \geq }{2
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und sei
\mavergleichskette
{\vergleichskette
{A_D
}
{ \subseteq }{\R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
eine fixierte reelle Einbettung.}
\faktfolgerung {Dann besitzt
\mathl{A_D^{\times} \cap \R_{> 1}}{} ein Minimum und dieses ist eine
\definitionsverweis {Fundamentaleinheit}{}{.}}
\faktzusatz {}
\faktzusatz {}
}
{
Die Einheitengruppe von $A_D$ ist
nach Korollar 28.10
isomorph zu $\{1,-1\} \times \Z$, alle Einheiten sind von der Form
\mathl{\pm u^n}{} mit
\mavergleichskette
{\vergleichskette
{n
}
{ \in }{\Z
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und einer Fundamentaleinheit $u$. Diese Beschreibung gilt auch in der Einbettung nach $\R$. Mit $u$ ist genauso $-u$ und $u^{-1}$ eine Fundamentaleinheit. Damit können wir
\mavergleichskette
{\vergleichskette
{u
}
{ > }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
annehmen. Zwischen
\mathkor {} {1} {und} {u} {}
kann es keine weitere Einheit aus $A_D$ geben, da sie ja die Form
\mathl{\pm u^n}{} besitzt, was bei negativem Vorzeichen negativ ist und bei
\zusatzklammer {positivem Vorzeichen und} {} {}
\mavergleichskette
{\vergleichskette
{n
}
{ \leq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
zwischen
\mathkor {} {0} {und} {1} {}
liegt. Für
\mavergleichskette
{\vergleichskette
{n
}
{ \geq }{2
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist
\mavergleichskette
{\vergleichskette
{u^n
}
{ > }{u
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Wir werden die Fundamentaleinheit $>1$
\zusatzklammer {bezüglicher einer reellen Einbettung} {} {}
häufig als die Fundamentaleinheit schlechthin bezeichnen. Man beachte, dass das Bild der Einbettung
\mavergleichskette
{\vergleichskette
{A_D
}
{ \subseteq }{\R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
eine dichte Teilmenge ist. Zwischen
\mathkor {} {1} {und der gewählten Fundamentaleinheit} {u} {}
gibt es also unendlich viele Zahlen aus $A_D$, aber eben keine weiteren Einheiten.
\inputfaktbeweis
{Quadratischer Zahlbereich/Reell/Fundamentaleinheit/Größer 1/Komponenten positiv/Fakt}
{Lemma}
{}
{
\faktsituation {Es sei $A_D$ ein
\definitionsverweis {reell-quadratischer Zahlbereich}{}{}
zu
\definitionsverweis {quadratfreiem}{}{}
\mavergleichskette
{\vergleichskette
{D
}
{ \geq }{2
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und sei
\mavergleichskette
{\vergleichskette
{A_D
}
{ \subseteq }{\R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
eine fixierte reelle Einbettung.}
\faktfolgerung {Dann sind für jede Einheit
\mavergleichskette
{\vergleichskette
{a+b \sqrt{D}
}
{ \in }{A_D^{\times} \cap \R_{> 1}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
die Komponenten
\mathkor {} {a} {und} {b} {}
positiv.}
\faktzusatz {}
\faktzusatz {}
}
{
Mit
\mathl{a+b \sqrt{D}}{} sind auch
\mathl{-a -b \sqrt{D}, a-b \sqrt{D}, -a +b \sqrt{D}}{} Einheiten, wobei diese drei Elemente kleiner als $1$ sind, da konjugierte Elemente im quadratischen Fall bis eventuell auf das Vorzeichen invers zueinander sind. Deshalb ist
\mavergleichskette
{\vergleichskette
{ a+b \sqrt{D}
}
{ > }{a-b \sqrt{D}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
woraus
\mavergleichskette
{\vergleichskette
{b
}
{ > }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
folgt, und
\mavergleichskette
{\vergleichskette
{ a+b \sqrt{D}
}
{ > }{-a+b \sqrt{D}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
woraus
\mavergleichskette
{\vergleichskette
{a
}
{ > }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
folgt.
\inputfaktbeweis
{Quadratischer Zahlbereich/Reell/Fundamentaleinheit/Größer 1/Erste Komponente minimal/Fakt}
{Lemma}
{}
{
\faktsituation {Es sei $A_D$ ein
\definitionsverweis {reell-quadratischer Zahlbereich}{}{}
zu
\definitionsverweis {quadratfreiem}{}{}
\mavergleichskette
{\vergleichskette
{D
}
{ \geq }{2
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und sei
\mavergleichskette
{\vergleichskette
{A_D
}
{ \subseteq }{\R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
eine fixierte reelle Einbettung.}
\faktfolgerung {Dann ist die Fundamentaleinheit
\mavergleichskette
{\vergleichskette
{a+b \sqrt{D}
}
{ \in }{A_D^{\times} \cap \R_{> 1}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
dadurch charakterisiert, dass bei ihr unter allen Einheiten
\mavergleichskette
{\vergleichskette
{a'+b' \sqrt{D}
}
{ \in }{A_D^{\times} \cap \R_{> 1}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
die erste Komponente minimal ist.}
\faktzusatz {}
\faktzusatz {}
}
{
Nach
Lemma 29.1
gibt es eine Fundamentaleinheit
\mathl{a+b \sqrt{D}}{,} und diese ist unter den Einheiten oberhalb von $1$ minimal. Es sei
\mathl{a' + b' \sqrt{D}}{} eine weitere solche Einheit $> 1$. Dann ist diese von der Form
\mavergleichskettealignhandlinks
{\vergleichskettealignhandlinks
{ a'+b' \sqrt{D}
}
{ =} { { \left( a+b \sqrt{D} \right) }^n
}
{ =} { a^n+ \binom { n } { 2 } a^{n-2} b^2 D + \ldots { \left( \binom { n } { 1 } a^{n-1} b^{1} + \ldots \right) } \sqrt{D}
}
{ } {
}
{ } {
}
}
{}
{}{}
mit
\mavergleichskette
{\vergleichskette
{n
}
{ \geq }{2
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Bei
\mavergleichskette
{\vergleichskette
{a
}
{ \geq }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
folgt daraus sofort, dass
\mavergleichskette
{\vergleichskette
{a'
}
{ \geq }{a
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
und bei
\mavergleichskette
{\vergleichskette
{a
}
{ < }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
kommt wegen
Lemma 29.2
nach
Satz 9.8
nur
\mavergleichskette
{\vergleichskette
{a
}
{ = }{ { \frac{ 1 }{ 2 } }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
in Frage, was überhaupt
\zusatzklammer {unabhängig von der Einheitenbedingung} {} {}
das Minimum für die erste Komponente ist.
Explizit geht es bei
\mavergleichskette
{\vergleichskette
{D
}
{ = }{2,3 \mod 4
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
um die Lösungen der Gleichung
\mavergleichskettedisp
{\vergleichskette
{a^2-Db^2
}
{ =} { \pm 1
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
mit $a,b$ ganzzahlig und bei
\mavergleichskette
{\vergleichskette
{D
}
{ = }{1 \mod 4
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
um Lösungen der Gleichung
\mavergleichskettedisp
{\vergleichskette
{ \left( \frac{ a }{ 2 } \right)^2-D\left( \frac{ b }{ 2 } \right)^2
}
{ =} { \pm 1
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
mit $a,b$ ganzzahlig mit
\mathl{a+b}{} geradzahlig, was auf die ganzzahlige Gleichung
\mavergleichskettedisp
{\vergleichskette
{ a^2-Db^2
}
{ =} { \pm 4
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
führt. Diese Gleichung
\zusatzklammer {en} {} {}
nennt man auch die \stichwort {Pellsche Gleichung} {,} wobei der Sprachgebrauch nicht einheitlich ist. Die Gleichung in der letzten Form erfasst jedenfalls alle Möglichkeiten, wobei nicht jede Lösung zu einer Einheit führt, beispielsweise entspricht
\mavergleichskettedisp
{\vergleichskette
{(a,b)
}
{ =} { (2,0)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
direkt keiner Lösung
\zusatzklammer {die Hälfte davon aber wiederum schon} {} {.}
\inputbemerkung
{}
{
Mit
Lemma 29.3
kann man prinzipiell konstruktiv eine Fundamentaleinheit bestimmen, indem man zu aufsteigendem
\mavergleichskette
{\vergleichskette
{a
}
{ > }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
\zusatzklammer {ganzzahlig oder ein ganzzahliges Vielfaches von ${ \frac{ 1 }{ 2 } }$} {} {}
untersucht, ob die Gleichung
\mavergleichskettedisp
{\vergleichskette
{a^2- b^2D
}
{ =} { \pm 1
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
eine Lösung in $b$ besitzt, wofür nur endlich viele Kandidaten zu überprüfen sind. Man hat aber von vornherein keine Schranke für $a$, daher weiß man nicht, wie schnell diese Methode zum Erfolg führt.
}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Pell's equation.svg} }
\end{center}
\bildtext {} }
\bildlizenz { Pell's equation.svg } {} {David Eppstein} {Commons} {gemeinfrei} {}
\inputbeispiel{}
{
In $\Z[\sqrt{2}]$ ist wegen
\mavergleichskettedisp
{\vergleichskette
{ (1 + \sqrt{2})(1 - \sqrt{2})
}
{ =} { 1-2
}
{ =} {-1
}
{ } {
}
{ } {
}
}
{}{}{}
das Element
\mathl{1 + \sqrt{2}}{} eine
\definitionsverweis {Einheit}{}{.}
Nach
Lemma 29.3
handelt es sich um die eindeutig bestimmte Fundamentaleinheit $> 1$.
}
\inputbeispiel{}
{
Wir suchen in $\Z[\sqrt{3}]$ gemäß
Bemerkung 29.4
nach der Fundamentaleinheit, nach
Satz 9.8
müssen wir nur
\mathl{a+b \sqrt{3}}{} mit ganzzahligen
\mavergleichskette
{\vergleichskette
{a,b
}
{ \geq }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
überprüfen, ob
\mavergleichskettedisp
{\vergleichskette
{N(a+b \sqrt{3})
}
{ =} { a^2-3b^2
}
{ =} { \pm 1
}
{ } {
}
{ } {
}
}
{}{}{}
gilt. Für
\mavergleichskette
{\vergleichskette
{a
}
{ = }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gibt es keine Lösung, und bei
\mavergleichskette
{\vergleichskette
{a
}
{ = }{2
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist mit
\mavergleichskette
{\vergleichskette
{b
}
{ = }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
eine Lösung gefunden. Somit ist $2 + \sqrt{3}$ die Fundamentaleinheit. Die anderen Einheiten oberhalb von $1$ sind
\mavergleichskette
{\vergleichskette
{ { \left( 2 + \sqrt{3} \right) }^2
}
{ = }{ 7+ 4 \sqrt{3}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
\mavergleichskette
{\vergleichskette
{ { \left( 2 + \sqrt{3} \right) }^3
}
{ = }{ 26+ 15 \sqrt{3}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
u.s.w.
}
Für quadratfreies
\mavergleichskette
{\vergleichskette
{D
}
{ \geq }{2
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
kann man so algorithmisch die Fundamentaleinheit
\mavergleichskette
{\vergleichskette
{u
}
{ > }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
des quadratischen Zahlbereiches $A_D$ bestimmen. Für kleine $D$ ergibt sich die folgende Tabelle.
\wertetabellezehnausteilzeilen { $D$ }
{\mazeileundfuenf {2} {3} {5} {6} {7} }
{\mazeileundfuenf {10} {11} {13} {14} {15} }
{ $u$ }
{\mazeileundfuenf {1+ \sqrt{2}} {2+\sqrt{3}} { { \frac{ 1+\sqrt{5} }{ 2 } } } {5+ 2 \sqrt{6}} {8+3 \sqrt{7}} }
{\mazeileundfuenf {3+ \sqrt{10} } { 10+3 \sqrt{11} } {18+5 \sqrt{13} } {15+4 \sqrt{14}} {4 + \sqrt{15} } }
Die Norm der Fundamentaleinheit ist wie von jeder Einheit gleich $1$ oder $-1$. Es ist eine interessante Frage, ob die Fundamentaleinheit die Norm $1$ oder $-1$ ist. Für
\mavergleichskette
{\vergleichskette
{D
}
{ = }{2, 5, 10, 13, 17 ,...
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist die Norm der Fundamentaleinheit gleich $-1$.
\zwischenueberschrift{Weitere Beispiele}
\inputbeispiel{}
{
Wir betrachten den
\definitionsverweis {Zahlbereich}{}{}
\mavergleichskette
{\vergleichskette
{R
}
{ = }{ \Z[ \sqrt[3]{2}]
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
vom
\definitionsverweis {Grad}{}{}
$3$, eine
\definitionsverweis {Ganzheitsbasis}{}{}
ist $1, \sqrt[3]{2}, \sqrt[3]{2}^2$ nach
Korollar 16.2.
Es ist
\mavergleichskettedisp
{\vergleichskette
{ ( 1- \sqrt[3]{2} )( 1+ \sqrt[3]{2} + \sqrt[3]{2}^2)
}
{ =} { 1 - \sqrt[3]{2}^3
}
{ =} { 1-2
}
{ =} {-1
}
{ } {
}
}
{}{}{.}
d.h. das Element
\mathl{1- \sqrt[3]{2}}{} ist eine Einheit, und zwar keine Einheitswurzel.
}
In Fröhlich/Taylor wird erwähnt, dass in $\Q[\sqrt[3]{23}]$ das Element
\mathdisp {2166673601 + 761875860 \sqrt[3]{23} +267901370 \sqrt[3]{23}^2} { }
eine Fundamentaleinheit ist.
\inputbeispiel{}
{
Der fünfte Kreisteilungskörper
\zusatzklammer {vergleiche
Beispiel 17.5} {} {}
die Gestalt
\mavergleichskettedisp
{\vergleichskette
{ K_5
}
{ \cong} { \Q[X]/{ \left( X^4+X^3+X^2+X+1 \right) }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und die komplexen Einbettungen sind durch
\mathl{X \mapsto e^{j 2 \pi { \mathrm i} /5}}{} mit
\mavergleichskette
{\vergleichskette
{j
}
{ = }{1,2,3,4
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gegeben, wobei die Einbettungen zu
\mathkor {} {1} {und} {4} {}
und zu
\mathkor {} {2} {und} {3} {}
zueinander komplex-konjugiert sind. Es gibt keine reelle Einbettung und es ist
\mavergleichskette
{\vergleichskette
{r
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{s
}
{ = }{2
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Der Rang der Einheitengruppe ist also $1$ nach
Satz 28.7.
Wegen
\mavergleichskette
{\vergleichskette
{ \Q
}
{ \subset }{\Q[\sqrt{5}]
}
{ \subset }{K_5
}
{ }{
}
{ }{
}
}
{}{}{}
gibt es einen reellen Zwischenkörper und dieser enthält auch schon eine Einheitengruppe vom Rang $1$. Es ist
\mavergleichskettedisp
{\vergleichskette
{ { \frac{ 1+ \sqrt{5} }{ 2 } }
}
{ =} { x^4+x+1
}
{ =} { - x^2-x^3
}
{ } {
}
{ } {
}
}
{}{}{}
und wegen
\mavergleichskettedisp
{\vergleichskette
{ { \frac{ 1+ \sqrt{5} }{ 2 } } \cdot { \frac{ 1- \sqrt{5} }{ 2 } }
}
{ =} { -1
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
ist dies eine Einheit im quadratischen Zahlbereich zu $5$, und zwar nach
Lemma 29.3
die
\definitionsverweis {Fundamentaleinheit}{}{}
$>1$.
}
\zwischenueberschrift{Der Regulator}
\inputdefinition
{}
{
Es sei $R$ ein
\definitionsverweis {Zahlbereich}{}{}
mit $r$ reellen Einbettungen und $s$ Paaren von komplexen Einbettungen und es sei
\mathl{u_1 , \ldots , u_{r+s-1}}{} ein System von
\definitionsverweis {Fundamentaleinheiten}{}{.}
Dann nennt man den
\definitionsverweis {Betrag}{}{}
der
\definitionsverweis {Determinante}{}{}
der reellen
$(r+s-1) \times (r+s-1)$-\definitionsverweis {Matrix}{}{}
\mathdisp {\begin{pmatrix} L_1(u_1) & \ldots & L_1(u_{r+s-1}) \\ \vdots & \ddots & \vdots \\ L_{r+s-1}(u_1) & \ldots & L_{r+s-1} (u_{r+s-1}) \end{pmatrix}} { , }
wobei
\mavergleichskette
{\vergleichskette
{L
}
{ = }{(L_1 , \ldots , L_{r+s})
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
die
\definitionsverweis {logarithmische Gesamtabbildung}{}{}
bezeichnet, den
\definitionswort {Regulator}{}
von $R$. Er wird mit
\mathl{\operatorname{Reg} (R)}{} bezeichnet.
}
Man beachte, dass in der Definition des Regulators nur $r+s-1$ Komponenten der
\zusatzklammer {logarithmischen} {} {}
Gesamtabbildung verwendet werden. Das Bild der Einheiten liegt ja in einer Hyperebene des $\R^{r+s}$, ist also dort nicht volldimensional. Wir werden gleich sehen, dass es zur Berechnung egal ist, welche Komponente man weglässt. Wenn
\mavergleichskette
{\vergleichskette
{r+s
}
{ = }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist
\zusatzklammer {wie bei $\Z$ oder einem
\definitionsverweis {imaginär-quadratischen Zahlbereich}{}{}} {} {,}
so ist die Definition als $1$ zu interpretieren
\zusatzklammer {Determinante der leeren Matrix} {} {.}
{Zahlbereich/Regulator/Volumen/Fakt}
{Lemma}
{}
{
\faktsituation {Es sei $R$ ein
\definitionsverweis {Zahlbereich}{}{}
mit $r$ reellen Einbettungen und $s$ Paaren von komplexen Einbettungen und es sei
\mathl{u_1 , \ldots , u_{r+s-1}}{} ein System von
\definitionsverweis {Fundamentaleinheiten}{}{}
von $R$. Es sei $\Lambda$ das von
\mathl{L(u_1) , \ldots , L(u_{r+s-1})}{} im Untervektorraum
\mavergleichskette
{\vergleichskette
{H
}
{ = }{ { \left\{ (v_1 , \ldots , v_{r+s}) \mid \sum_{j = 1}^{r+s} v_j = 0 \right\} }
}
{ \subset }{ \R^{r+s}
}
{ }{
}
{ }{
}
}
{}{}{}
erzeugte
\definitionsverweis {Gitter}{}{.}}
\faktfolgerung {Dann besteht zwischen dem
\definitionsverweis {Regulator}{}{}
und dem Volumen einer
\definitionsverweis {Grundmasche}{}{}
$\mathfrak M$ von $\Lambda$ der Zusammenhang
\mavergleichskettedisp
{\vergleichskette
{ \sqrt{r+s} \cdot \operatorname{Reg} (R)
}
{ =} { \operatorname{vol} { \left( \mathfrak M \right) }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}}
\faktzusatz {}
\faktzusatz {}
{ Siehe Aufgabe 29.16. }
Dies zeigt insbesondere, dass es bei der Definition des Regulators auf die Reihenfolge der Einbettungen nicht ankommt und man eine beliebige Komponente weglassen kann.
\inputbemerkung
{}
{
Es sei
\mavergleichskette
{\vergleichskette
{D
}
{ \geq }{2
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
\definitionsverweis {quadratfrei}{}{}
und $A_D$ der zugehörige
\definitionsverweis {reell-quadratische Zahlbereich}{}{.}
Es sei
\mavergleichskette
{\vergleichskette
{A_D
}
{ \subseteq }{\R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
eine reelle Einbettung und sei $u$ eine
\definitionsverweis {Fundamentaleinheit}{}{}
von $R$. Dann ist der
\definitionsverweis {Regulator}{}{}
von $A_D$ gleich
\mavergleichskettedisp
{\vergleichskette
{ \operatorname{Reg} (A_D)
}
{ =} { \betrag { \ln \betrag { u } }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
An dieser Definition sieht man direkt, dass wenn man $u$ durch eine der anderen Fundamentaleinheiten
\mathl{-u,u^{-1}, -u^{-1}}{} ersetzt, dies zum gleichen Ergebnis führt: Das Vorzeichen wird durch den inneren Betrag und die Inversenbildung durch den äußeren Betrag aufgefangen. Auch von der gewählten Einbettung hängt es nicht ab, da ja die andere Einbettung aus der gegebenen Einbettung durch einen Automorphismus hervorgeht und dabei $u$ auf eines der drei Elemente abgebildet wird.
}