Kurs:Algebraische Zahlentheorie (Osnabrück 2020-2021)/Vorlesung 25

Zahlbereiche als Gitter

Es sei ${}\mathbb {Q} \subseteq K$ eine endliche Körpererweiterungvom Grad ${}n$ . GemäßSatz 7.12gibt es ${}n$ verschiedene Einbettungen von ${}K$ in ${}{\mathbb {C} }$ . Diese kann man zur komplexen Gesamteinbettung

\tau \colon K\longrightarrow {\mathbb {C} }^{n}

zusammenfassen. Insbesondere ist das Bild des Ganzheitsringes ${}R$ unter dieser Abbildung interessant und erlaubt einen Zugang zu ${}R$ , bei dem Methoden der diskreten Geometrie, der linearen Algebra, der Maßtheorie eingesetzt werden können. NachKorollar 8.6ist

{}R\cong \mathbb {Z} ^{n}\,,

wobei die Standardbasis einerGanzheitsbasis ${}b_{1},\ldots ,b_{n}$ von ${}R$ entspricht. Diese legt die komplexe Ganzheitsmatrix

{\left(\tau _{j}(b_{k})\right)}_{1\leq j,k\leq n}

fest. Sie definiert ein „komplexes Gitter“ im ${}{\mathbb {C} }^{n}$ , das Quadrat ihrerDeterminante istnach Lemma 8.9die Diskriminante,u.s.w. Allerdings entwickeln die angesprochen Methoden ihre Schlagkraft deutlicher, wenn man zu der komplexen Gesamteinbettung eine reelle Version entwickelt.

Bei einer Einbettung

\sigma \colon K\longrightarrow {\mathbb {C} }

unterscheidet man, ob das Bild innerhalb der reellen Zahlen liegt oder nicht. Im ersten Fall spricht man von einer reellen Einbettung. Wenn ${}\sigma$ keine reelle Einbettung ist, so spricht man von einer komplexen Einbettung, in diesem Sinn ist also eine reelle Einbettung nicht komplex. Zu einer komplexen Einbettung ${}\sigma$ ist auch die konjugiert-komplexe Einbettung

{\overline {\sigma }}:K{\stackrel {\sigma }{\longrightarrow }}{\mathbb {C} }{\stackrel {\text{komplexe Konjugation}}{\longrightarrow }}{\mathbb {C} }

eine komplexe Einbettung, und zwar ist ${}\sigma \neq {\overline {\sigma }}$ ,denn sonst wäre ${}\sigma$ eine reelle Einbettung. Komplexe Einbettungen treten also immer paarweise auf. Es sei ${}r$ die Anzahl der reellen Einbettungen und ${}2s$ die Anzahl der komplexen Einbettungen, also ${}s$ sei die Anzahl der Paare von komplexen Einbettungen. Dann gilt

{}n=r+2s\,.

Häufig fixiert man zu jedem Paar von komplexen Einbettungen eine Einbettung davon, da sich die andere daraus direkt ablesen lässt. Die Wahl ist dabei willkürlich. Alle numerisch möglichen Kombinationen von ${}r$ und ${}s$ treten auch auf.

Es seien ${}\rho _{i}$ , ${}i=1,\ldots ,r$ die reellen Einbettungen und ${}\sigma _{j}$ , ${}j=1,\ldots ,s$ Repräsentanten der Paare von komplexen Einbettungen. Dies definiert eine Gesamteinbettung

K\longrightarrow \mathbb {R} ^{r}\times {\mathbb {C} }^{s},

die wir die reelle Gesamteinbettung nennen. Wenn man einzelne komplexe Einbettungen durch ihre konjugierten Einbettungen ersetzt, so ergibt sich ein natürlicher ${}\mathbb {R}$ -linearer Isomorphismus. Dabei gilt als reeller Vektorraum

{}\mathbb {R} ^{r}\times {\mathbb {C} }^{s}\cong \mathbb {R} ^{r}\times \mathbb {R} ^{2s}=\mathbb {R} ^{n}\,,

d.h. die reelle Dimension des Einbettungsraumes stimmt mit dem Grad der Körpererweiterung überein. Zwischen der reellen Gesamteinbettung und der komplexen Gesamteinbettung besteht der Zusammenhang

{\begin{matrix}K&{\stackrel {\tau ^{\mathbb {R} }}{\longrightarrow }}&\mathbb {R} ^{r}\times {\mathbb {C} }^{s}&\\&\!\!\!\!\!\tau \searrow &\downarrow \psi \!\!\!\!\!&\\&&{\mathbb {C} }^{r+2s}&\!\!\!\!\!\!\!\!,\\\end{matrix}}

wobei ${}\psi$ in den ersten ${}r$ Komponenten die natürliche Einbettung ${}\mathbb {R} \subset {\mathbb {C} }$ und in den hinteren Komponenten die Abbildung ${}{\mathbb {C} }\longrightarrow {\mathbb {C} }\times {\mathbb {C} }$ , ${}z\longmapsto (z,{\overline {z}})$ ,ist. Somit ist ${}\psi$ eine ${}\mathbb {R}$ -lineare Abbildung. Ein Element ${}b\in K$ wird unter der reellen Gesamteinbettung auf

{}\tau ^{\mathbb {R} }(b)={\begin{pmatrix}\rho _{1}(b)\\\vdots \\\rho _{r}(b)\\\operatorname {Re} \,{\left(\sigma _{1}(b)\right)}\\\operatorname {Im} \,{\left(\sigma _{1}(b)\right)}\\\vdots \\\operatorname {Re} \,{\left(\sigma _{s}(b)\right)}\\\operatorname {Im} \,{\left(\sigma _{s}(b)\right)}\end{pmatrix}}\,

und unter der komplexen Gesamteinbettung auf

{}\tau (b)={\begin{pmatrix}\rho _{1}(b)\\\vdots \\\rho _{r}(b)\\\sigma _{1}(b)\\{\overline {\sigma }}_{1}(b)\\\vdots \\\sigma _{s}(b)\\{\overline {\sigma }}_{s}(b)\end{pmatrix}}\,

abgebildet.

Das Gitter zum Zahlbereich ${}\mathbb {Z} [{\sqrt {-5}}]$ und zum Ideal ${}(2,1+{\sqrt {-5}})$ (blau, mit einer Grundmasche).

Die reelle Gesamtabbildung ist trivialerweise injektiv, da sie ja sogar in jeder einzelnen Komponente injektiv ist. Für die Gittertheorie der algebraischen Zahlen (Minkowski-Theorie)ist aber entscheidend, dass das Bild des Rings der ganzen Zahlen ein Gitter in diesem ${}\mathbb {R} ^{n}$ ist, also nicht in einem reellen Untervektorraum kleinerer Dimension liegt. Der Zahlbereich wird auf ein Gitter abgebildet, eine Ganzheitsbasis auf eine Gitterbasis.

Definition

Es sei ${}R$ einZahlbereichvomGrad ${}n$ mit ${}r$ reellen Einbettungen und ${}s$ Paaren von komplexen Einbettungen. Es sei

\tau ^{\mathbb {R} }\colon R\longrightarrow \mathbb {R} ^{r}\times {\mathbb {C} }^{s}\cong \mathbb {R} ^{r}\times \mathbb {R} ^{2s}

die reelle Gesamteinbettung. Es sei ${}b_{1},\ldots ,b_{n}$ eineGanzheitsbasisvon ${}R$ . Dann nennt man die reelle ${}n\times n$ -Matrix

{\left(\tau _{j}^{\mathbb {R} }(b_{k})\right)}_{1\leq j,k\leq n}

diereelle Ganzheitsmatrix (zu dieser Basis).

Die reelle Ganzheitsmatrix steht mit der komplexen Ganzheitsmatrix in dem oben durch ${}\psi$ beschriebenen Zusammenhang.

Satz

Es sei ${}\mathbb {Q} \subseteq K$ eineendliche KörpererweiterungvomGrad ${}n$ mit ${}r$ reellen Einbettungenund ${}s$ Paaren von komplexen Einbettungen. Es sei

\tau ^{\mathbb {R} }\colon K\longrightarrow \mathbb {R} ^{r}\times {\mathbb {C} }^{s}\cong \mathbb {R} ^{n}

die reelle Gesamteinbettung.

Dann ist das Bild des Ganzheitsringesvon ${}K$ unter ${}\tau$ einGitterin ${}\mathbb {R} ^{n}$

Beweis

Es sei ${}b_{1},\ldots ,b_{n}$ eine Ganzheitsbasisvon ${}R$ . Es ist zu zeigen, dass die ${}\tau ^{\mathbb {R} }(b_{k})$ , ${}k=1,\ldots ,n$ ,linear unabhängig sind. Über die ${}\mathbb {R}$ -lineare Abbildung

\mathbb {R} ^{r}\times \mathbb {R} ^{2s}\longrightarrow {\mathbb {C} }^{r}\times {\mathbb {C} }^{2s},\,{\begin{pmatrix}x_{1}\\\vdots \\x_{r}\\u_{1}\\v_{1}\\\vdots \\u_{s}\\v_{s}\end{pmatrix}}\longmapsto {\begin{pmatrix}x_{1}\\\vdots \\x_{r}\\u_{1}+{\mathrm {i} }v_{1}\\u_{1}-{\mathrm {i} }v_{1}\\\vdots \\u_{s}+{\mathrm {i} }v_{s}\\u_{s}-{\mathrm {i} }v_{s}\end{pmatrix}},

erhält man aus der reellen Gesamteinbettung die komplexe Gesamteinbettung. Wären die Elemente ${}\mathbb {R}$ -linear abhängig, so würde das auch für die Bilder unter der komplexen Gesamteinbettung gelten. Doch dies wäre ein Widerspruch zur Tatsache, dass die Diskriminante von ${}b_{1},\ldots ,b_{n}$ nicht ${}0$ ist, sieheLemma 8.3.

\Box

Wir werden dieses Gitter im ${}\mathbb {R} ^{n}$ zumeist mit ${}\Gamma$ oder ${}\Gamma _{R}$ oder ${}\Gamma _{K}$ bezeichnen. Die reelle Gesamteinbettung liefert einen Gruppenisomorphismus ${}R\cong \Gamma \subseteq \mathbb {R} ^{n}$ .

Beispiel

Es sei ${}D<0$ quadratfreiund ${}A_{D}$ der zugehörige imaginär-quadratische Zahlbereich.Dann liefert eine fixierte Einbettung ${}A_{D}\subseteq \mathbb {Q} [{\sqrt {D}}]\subseteq {\mathbb {C} }\cong \mathbb {R} ^{2}$ direkt eine Realisierung als Gitter im Sinne vonSatz 25.2.Dem Element ${}q_{1}+q_{2}{\sqrt {D}}=q_{1}+q_{2}{\sqrt {\vert {D}\vert }}{\mathrm {i} }$ entspricht in der reellen Ebene das Element ${}{\begin{pmatrix}q_{1}\\q_{2}{\sqrt {-D}})\end{pmatrix}}={\begin{pmatrix}q_{1}\\q_{2}{\sqrt {\vert {D}\vert }})\end{pmatrix}}$ .DieGanzheitsbasis ${}1,{\sqrt {D}}$ bei ${}D=2,3\mod 4$ bzw. ${}1,{\frac {1+{\sqrt {D}}}{2}}$ bei ${}D=1\mod 4$ (vergleicheSatz 9.8)wird unter der reellen Gesamteinbettung auf diereelle Ganzheitsmatrix

{\begin{pmatrix}1&0\\0&{\sqrt {\vert {D}\vert }}\end{pmatrix}}

bzw.

{\begin{pmatrix}1&{\frac {1}{2}}\\0&{\frac {\sqrt {\vert {D}\vert }}{2}}\end{pmatrix}}

abgebildet.

Beispiel

Es sei ${}D\geq 2$ quadratfreiund ${}A_{D}\subseteq \mathbb {Q} [{\sqrt {D}}]=K$ der zugehörige reell-quadratische Zahlbereich.Es sei ${}{\sqrt {D}}$ einerseits ein fixierte Quadratwurzel aus ${}D$ in ${}A_{D}$ und andererseits die positive reelle Quadratwurzel. Die Abbildung

K\longrightarrow \mathbb {R} ^{2},\,(q_{1}+q_{2}{\sqrt {D}})\longmapsto {\begin{pmatrix}q_{1}+q_{2}{\sqrt {D}}\\q_{1}-q_{2}{\sqrt {D}}\end{pmatrix}},

ist dann die reelle Gesamteinbettung und liefert insbesondere eine explizite Realisierung von ${}A_{D}$ als Gitter im Sinne vonSatz 25.2.Das Gitter hängt wie die Ganzheitsbasis für ${}A_{D}$ vom Rest von ${}D$ modulo ${}4$ ab, sieheSatz 9.8.

DieGanzheitsbasis ${}1,{\sqrt {D}}$ bei ${}D=2,3\mod 4$ bzw. ${}1,{\frac {1+{\sqrt {D}}}{2}}$ bei ${}D=1\mod 4$ (vergleicheSatz 9.8)wird unter der reellen Gesamteinbettung auf diereelle Ganzheitsmatrix

{\begin{pmatrix}1&{\sqrt {D}}\\1&-{\sqrt {D}}\end{pmatrix}}

bzw.

{\begin{pmatrix}1&{\frac {1+{\sqrt {D}}}{2}}\\1&{\frac {1-{\sqrt {D}}}{2}}\end{pmatrix}}

abgebildet.

Wenn ${}\mathbb {Q} \subseteq K$ eine Galoiserweiterung mit einer fixierten reellen Einbettung ${}\rho$ ist, so sind alle Einbettungen reell, und die gesamte Gitterabbildung wird durch

R\longrightarrow \mathbb {R} ^{n},\,f\longmapsto (\rho (\sigma (f)),\sigma \in \operatorname {Gal} \,(K{|}\mathbb {Q} ))

realisiert.

Beispiel

Die Körpererweiterung ${}\mathbb {Q} \subset \mathbb {Q} [X]/(X^{3}-3X+1)=K$ ist eine Galoiserweiterung,wenn ${}\alpha \in \mathbb {R}$ eine Nullstelle von ${}X^{3}-3X+1$ , so sind auch ${}\beta =\alpha ^{2}-2$ und ${}\gamma =-\alpha ^{2}-\alpha +2$ Nullstellen, sieheAufgabe 5.31.Die Galoisgruppe permutiert diese Nullstellen. Der Automorphismus, der ${}\alpha$ auf ${}\alpha ^{2}-2$ abbildet, schickt ${}\alpha ^{2}$ auf

{}{\left(\alpha ^{2}-2\right)}^{2}=\alpha ^{4}-4\alpha ^{2}+4=3\alpha ^{2}-\alpha -4\alpha ^{2}+4=-\alpha ^{2}-\alpha +4\,.

Wegen

{}R=\mathbb {Z} +\mathbb {Z} \alpha +\mathbb {Z} \alpha ^{2}\,

wird die gesamte Gitterabbildung durch

R\cong \mathbb {Z} ^{3}\longrightarrow \mathbb {R} ^{3},\,a+b\alpha +c\alpha ^{2}\longmapsto {\begin{pmatrix}a+b\alpha +c\alpha ^{2}\\a+b(\alpha ^{2}-2)+c(-\alpha ^{2}-\alpha +4)\\a+b(-\alpha ^{2}-\alpha +2)+c(\alpha +2)\end{pmatrix}},

gegeben. Die Basis ${}1,\alpha ,\alpha ^{2}$ wird auf die Gitterbasis

{\begin{pmatrix}1\\1\\1\end{pmatrix}},{\begin{pmatrix}\alpha \\\alpha ^{2}-2\\-\alpha ^{2}-\alpha +4\end{pmatrix}},{\begin{pmatrix}\alpha ^{2}\\-\alpha ^{2}-\alpha +4\\\alpha +2\end{pmatrix}}

abgebildet.

Wenn man ${}1,\alpha ,\beta$ als Ganzheitsbasis nimmt, so wird die Abbildung durch

R\cong \mathbb {Z} ^{3}\longrightarrow \mathbb {R} ^{3},\,a+b\alpha +d\beta \longmapsto {\begin{pmatrix}a+b\alpha +d\beta \\a+b\beta +d(-\alpha -\beta )\\a+b(-\alpha -\beta )+d\alpha \end{pmatrix}},

beschrieben. Diese Basis wird dann auf die Gitterbasis

{\begin{pmatrix}1\\1\\1\end{pmatrix}},{\begin{pmatrix}\alpha \\\beta \\-\alpha -\beta \end{pmatrix}},{\begin{pmatrix}\beta \\-\alpha -\beta \\\alpha \end{pmatrix}}

abgebildet.

Satz

Es sei ${}R$ einZahlbereichmit ${}r$ reellen Einbettungen und ${}s$ Paaren von komplexen Einbettungen. Es sei ${}{\mathfrak {M}}$ eine Grundmaschedes Gitters ${}\Gamma _{R}$ unter der reellen Gesamteinbettung

\tau ^{\mathbb {R} }\colon R\longrightarrow \mathbb {R} ^{r}\times {\mathbb {C} }^{s}\cong \mathbb {R} ^{r}\times \mathbb {R} ^{2s}.

Dann ist das Volumen der Grundmasche bezüglich der euklidischen Standardmetrik des ${}\mathbb {R} ^{r}\times \mathbb {R} ^{2s}$ gleich

${}{\begin{aligned}\operatorname {Vol} ({\mathfrak {M}})&={\frac {1}{2^{s}}}{\sqrt {\vert {\triangle _{R}}\vert }}\\\end{aligned}}$

Beweis

Wir haben die Zusammenstellung zu allen komplexen Einbettungen

\tau \colon R\longrightarrow {\mathbb {C} }^{r+2s}

und die reelle Gittereinbettung

\tau ^{\mathbb {R} }\colon R\longrightarrow \mathbb {R} ^{r}\times {\mathbb {C} }^{s},

die durch die Einbettung

\mathbb {R} ^{r}\times {\mathbb {C} }^{s}\longrightarrow {\mathbb {C} }^{r+2s},\,(x_{1},\ldots ,x_{r};z_{1},\ldots ,z_{s})\longmapsto (x_{1},\ldots ,x_{r};z_{1},{\overline {z_{1}}},\ldots ,z_{s},{\overline {z_{s}}})

miteinander verbunden sind.

Zu einer ${}\mathbb {Q}$ -Basis ${}b_{1},\ldots ,b_{n}$ von ${}Q(R)$ haben wir einerseits die reelle Ganzheitsmatrix

{\begin{pmatrix}\rho _{1}(b_{1})&\rho _{1}(b_{2})&\ldots &\ldots &\rho _{1}(b_{n})\\\vdots &\vdots &\ddots &\ddots &\vdots \\\rho _{r}(b_{1})&\rho _{r}(b_{2})&\ldots &\ldots &\rho _{r}(b_{n})\\\operatorname {Re} \,{\left(\sigma _{1}(b_{1})\right)}&\operatorname {Re} \,{\left(\sigma _{1}(b_{2})\right)}&\ldots &\ldots &\operatorname {Re} \,{\left(\sigma _{1}(b_{n})\right)}\\\operatorname {Im} \,{\left(\sigma _{1}(b_{1})\right)}&\operatorname {Im} \,{\left(\sigma _{1}(b_{2})\right)}&\ldots &\ldots &\operatorname {Im} \,{\left(\sigma _{1}(b_{n})\right)}\\\vdots &\vdots &\ddots &\ddots &\vdots \\\operatorname {Re} \,{\left(\sigma _{s}(b_{1})\right)}&\operatorname {Re} \,{\left(\sigma _{s}(b_{2})\right)}&\ldots &\ldots &\operatorname {Re} \,{\left(\sigma _{s}(b_{n})\right)}\\\operatorname {Im} \,{\left(\sigma _{s}(b_{1})\right)}&\operatorname {Im} \,{\left(\sigma _{s}(b_{2})\right)}&\ldots &\ldots &\operatorname {Im} \,{\left(\sigma _{s}(b_{n})\right)}\end{pmatrix}}

und andererseits diekomplexe Ganzheitsmatrix

{\begin{pmatrix}\rho _{1}(b_{1})&\rho _{1}(b_{2})&\ldots &\ldots &\rho _{1}(b_{n})\\\vdots &\vdots &\ddots &\ddots &\vdots \\\rho _{r}(b_{1})&\rho _{r}(b_{2})&\ldots &\ldots &\rho _{r}(b_{n})\\\sigma _{1}(b_{1})&\sigma _{1}(b_{2})&\ldots &\ldots &\sigma _{1}(b_{n})\\{\overline {\sigma }}_{1}(b_{1})&{\overline {\sigma }}_{1}(b_{2})&\ldots &\ldots &{\overline {\sigma }}_{1}(b_{n})\\\vdots &\vdots &\ddots &\ddots &\vdots \\\sigma _{s}(b_{1})&\sigma _{s}(b_{2})&\ldots &\ldots &\sigma _{s}(b_{n})\\{\overline {\sigma }}_{s}(b_{1})&{\overline {\sigma }}_{s}(b_{2})&\ldots &\ldots &{\overline {\sigma }}_{s}(b_{n})\end{pmatrix}}.

Wenn man diese komplexe Matrix mit der Matrix(diese steht links)

{\begin{pmatrix}1&&&&&&&\\&\ddots &&&&&&\\&&1&&&&&\\&&&1&1&&&\\&&&-{\mathrm {i} }&{\mathrm {i} }&&&\\&&&&&1&&\\&&&&&&\ddots &\\&&&&&&&1\end{pmatrix}}

multipliziert, wobei der quadratische Block sich auf ${}\sigma _{j}$ und ${}{\overline {\sigma }}_{j}$ bezieht, so erhält man in der Zeile zu ${}\sigma _{j}$ das Doppelte des Realteils von ${}\sigma _{j}$ und in der darauf folgenden Zeile das Doppelte des Imaginärteils von ${}\sigma _{j}$ . Die Determinante der zuletzt notierten Matrix ist ${}2{\mathrm {i} }$ . Wenn man diese Multiplikation für jede komplexe Doppelzeile durchführt( ${}s$ Multiplikationen),so erhält man die Matrix, die aus der reellen Ganhzeitsmatrix hervorgeht, indem man die hinteren ${}2s$ Zeilen jeweils mit ${}2$ multipliziert. Deshalb gilt insgesamt

{}2^{2s}{\left(\det \left(\tau _{j}^{\mathbb {R} }(b_{k})\right)\right)}=2^{s}{\mathrm {i} }^{s}{\left(\det \left(\tau _{j}(b_{k})\right)\right)}\,.

NachLemma 8.9undSatz 24.8ist

{}{\begin{aligned}{\sqrt {\vert {\triangle (b_{1},\ldots ,b_{n})}\vert }}&=\vert {\left(\det \left(\tau _{j}(b_{k})\right)\right)}\vert \\&=2^{s}{\left(\det \left(\tau _{j}^{\mathbb {R} }(b_{k})\right)\right)}\\&=2^{s}\operatorname {Vol} ({\mathfrak {M}}).\end{aligned}}

\Box

Beispiel

Es sei ${}D<0$ quadratfreiund ${}A_{D}$ der zugehörige imaginär-quadratische Zahlbereich.Es gibt also ${}s=1$ Paare von zueinander komplex-konjugierten Einbettungen. ZurGanzheitsbasis ${}1,{\sqrt {D}}$ bei ${}D=2,3\mod 4$ bzw. ${}1,{\frac {1+{\sqrt {D}}}{2}}$ bei ${}D=1\mod 4$ gehört wie inBeispiel 25.3berechnet diereelle Ganzheitsmatrix

{\begin{pmatrix}1&0\\0&{\sqrt {\vert {D}\vert }}\end{pmatrix}}

bzw.

{\begin{pmatrix}1&{\frac {1}{2}}\\0&{\frac {\sqrt {\vert {D}\vert }}{2}}\end{pmatrix}}.

Deren Determinante, also bis auf das Vorzeichen der Flächeninhalt derGrundmaschedes Gitters, ist

{}\det {\begin{pmatrix}1&0\\0&{\sqrt {\vert {D}\vert }}\end{pmatrix}}={\sqrt {\vert {D}\vert }}\,

bzw.

{}\det {\begin{pmatrix}1&{\frac {1}{2}}\\0&{\frac {\sqrt {\vert {D}\vert }}{2}}\end{pmatrix}}={\frac {\sqrt {\vert {D}\vert }}{2}}\,.

DieDiskriminanteist nachLemma 9.9gleich ${}4D$ bzw. ${}D$ . In beiden Fällen erhält man also eine direkte Bestätigung von Satz 25.6.

Beispiel

Es sei ${}D>2$ quadratfreiund ${}A_{D}$ der zugehörige reell-quadratische Zahlbereich.Es gibt also zwei reelle Einbettungen und somit ist ${}s=0$ .ZurGanzheitsbasis ${}1,{\sqrt {D}}$ bei ${}D=2,3\mod 4$ bzw. ${}1,{\frac {1+{\sqrt {D}}}{2}}$ bei ${}D=1\mod 4$ gehört wie inBeispiel 25.4berechnet diereelle Ganzheitsmatrix

{\begin{pmatrix}1&{\sqrt {D}}\\1&-{\sqrt {D}}\end{pmatrix}}

bzw.

{\begin{pmatrix}1&{\frac {1+{\sqrt {D}}}{2}}\\1&{\frac {1-{\sqrt {D}}}{2}}\end{pmatrix}}

Deren Determinante ist

{}\det {\begin{pmatrix}1&{\sqrt {D}}\\1&-{\sqrt {D}}\end{pmatrix}}=-2{\sqrt {D}}\,

bzw.

{}\det {\begin{pmatrix}1&{\frac {1+{\sqrt {D}}}{2}}\\1&{\frac {1-{\sqrt {D}}}{2}}\end{pmatrix}}={\frac {1-{\sqrt {D}}}{2}}-{\frac {1+{\sqrt {D}}}{2}}=-{\sqrt {D}}\,.

DieDiskriminanteist nachLemma 9.9gleich ${}4D$ bzw. ${}D$ . In beiden Fällen erhält man also wieder eine direkte Bestätigung von Satz 25.6.

Satz

Es sei ${}R$ einZahlbereichmit ${}r$ reellen Einbettungen und ${}s$ Paaren von komplexen Einbettungen. Es sei ${}{\mathfrak {a}}\subseteq R$ ein von ${}0$ verschiedenesIdealund es sei ${}{\mathfrak {N}}$ eine Grundmaschedes vollständigen Gitters ${}\tau ^{\mathbb {R} }({\mathfrak {a}})$ .

Dann ist das Volumen von ${}{\mathfrak {N}}$ (bezüglich der euklidischen Standardmetrik des ${}\mathbb {R} ^{r}\times \mathbb {R} ^{2s}$ )gleich

${}{\begin{aligned}\operatorname {Vol} ({\mathfrak {N}})&={\frac {1}{2^{s}}}{\sqrt {\vert {\triangle _{R}}\vert }}\cdot N({\mathfrak {a}})\\\end{aligned}}$

Beweis

Das wird ähnlich wieSatz 25.6bewiesen.

\Box

<< | Kurs:Algebraische Zahlentheorie (Osnabrück 2020-2021) | >>

PDF-Version dieser Vorlesung

Arbeitsblatt zur Vorlesung(PDF)