Quadratischer Zahlkörper

Ein quadratischer Zahlkörper ist eine algebraische Körpererweiterung $K/\mathbb{Q}$ der Form

$K=\mathbb{Q} ({\sqrt {d}})$

mit einer rationalen Zahl die kein Quadrat in $\mathbb {Q}$ ist. Dies sind genau die Erweiterungen vom Grad über $\mathbb{Q} .$

Quadratische Zahlkörper sind, nach $\mathbb {Q}$ selbst, die einfachsten Zahlkörper.

Einleitung

Die Theorie der quadratischen Zahlkörper entwickelte sich aus dem Studium der binären quadratischen Formen. Euler und Pierre de Fermat hatten bei ihren Untersuchungen zu diophantischen Gleichungen viele fundamentale Einzelergebnisse zusammengetragen, die anschließend Raum für weitere Forschungen boten. In seinen Disquisitiones Arithmeticae knüpft Gauß im Abschnitt V an die Arbeiten von Fermat, Euler und Lagrange an und behandelt dort ausgiebig die Theorie der binären quadratischen Formen. Obwohl sich Gauß bei seiner Darstellung im Bereich der ganzen Zahlen bewegt, ist es aus heutiger Sicht eleganter, den Körper der rationalen Zahlen so quadratisch zu erweitern, dass eine Zerlegung der quadratischen Formen in Linearfaktoren vorgenommen werden kann. Eine solche Zerlegung sieht dann z.B. wie folgt aus:

$x^{2}-5y^{2}=(x+y{\sqrt {5}})\cdot (x-y{\sqrt {5}})$

Damit wird die Theorie der quadratischen Zahlkörper zu einem Bestandteil der Theorie der binären quadratischen Formen.

Der Körper $\mathbb {Q}$ der rationalen Zahlen lässt sich auf verschiedene Arten zu einem umfassenden Körper $K\subseteq \mathbb {C}$ erweitern. So untersucht man etwa den Ring ${{\mathcal O}}$ der ganzalgebraischen Zahlen. Er enthält genau jene komplexen Zahlen, die Nullstelle eines normierten Polynoms mit ganzzahligen Koeffizienten sind. Es ist aber bei einer Erweiterung oft sinnvoll, nur so viele Zahlen hinzuzunehmen, wie für ein gegebenes Problem benötigt werden:

Seien $\alpha _{1},\ldots ,\alpha _{n}$ endlich viele algebraische Zahlen und sei der kleinste Teilkörper des Körpers $\overline{\Q}$ der algebraischen Zahlen, der diese Zahlen alle enthält. Dann schreibt man

$K=\mathbb{Q} (\alpha _{1},\ldots ,\alpha _{n})$

und sagt, der Körper ist ein Erweiterungskörper von $\mathbb{Q} ,$ der durch Adjunktion der Elemente $\alpha _{1},\ldots ,\alpha _{n}$ aus $\mathbb {Q}$ entsteht. Das Paar und $\mathbb {Q}$ bezeichnet man als Körpererweiterung und schreibt dafür $K\colon \mathbb{Q} .$

Insbesondere ist (K,+) eine abelsche Gruppe. Weil zudem die Multiplikation von Elementen aus mit den Skalaren aus $\mathbb {Q}$ über

${\begin{aligned}\cdot \colon \mathbb {Q} \times K&\;\to \;K\\(\eta ,\alpha )&\;\mapsto \;\eta \alpha \end{aligned}}$

erklärt ist, erhält man aus den Körperaxiomen für $\mathbb {Q}$ unmittelbar die Vektorraumaxiome, sodass als Vektorraum über $\mathbb {Q}$ aufgefasst werden kann. Der Körper besitzt über $\mathbb {Q}$ endlichen Grad $[K\colon \mathbb {Q} ]$ , das heißt, dass als $\mathbb {Q}$ -Vektorraum endlichdimensional ist.

Wird $K=\Q(\alpha)$ von einer algebraischen Zahl $\alpha$ erzeugt, dann hat eine Basis $\{1,\alpha ,\alpha ^{2},\ldots ,\alpha ^{{n-1}}\}$ und folglich die Dimension

$\dim _{\mathbb{Q} }K=[K\colon \mathbb{Q} ]=n,$

wobei gleich dem Grad des Minimalpolynoms $f_{{\alpha }}$ ist, das $\alpha$ als Nullstelle hat. Es lässt sich zeigen, dass den Grad 2 über $\mathbb {Q}$ besitzt, wenn das Minimalpolynom von $\alpha$ quadratisch ist. Somit ist ein quadratischer Zahlkörper.

Für einen Zahlkörper bezeichnet

${{\mathcal O}}_{K}=K\cap {{\mathcal O}}$

den Ganzheitsring von bzw. den ganzen Abschluss von $\mathbb {Z}$ in Somit besteht ${{\mathcal O}}_{K}$ aus allen Elementen, die in ganzalgebraisch sind; das heißt, es gilt:

${{\mathcal O}}_{K}=\left\{\alpha \in K\;|\;f_{\alpha }\in \mathbb{Z } [X]\right\}$

Definition

Ein quadratischer Zahlkörper ist eine quadratische Erweiterung der rationalen Zahlen. Quadratische Zahlkörper entstehen also aus $\mathbb {Q}$ durch Adjunktion der Quadratwurzel ${\sqrt {d}}$ .

Sei im Folgenden eine von 0 und 1 verschiedene quadratfreie ganze Zahl. Dann heißt die Menge

$\mathbb {Q} ({\sqrt {d}}):=\{x+y{\sqrt {d}}\in \mathbb {C} \;|\;x,y\in \mathbb {Q} \}$

ein quadratischer Zahlkörper.

Ist d>0 , so heißt reellquadratischer Zahlkörper, sonst imaginärquadratischer Zahlkörper. Dabei ist ${\sqrt {d}}\in \mathbb {C}$ eine willkürlich, aber fest gewählte komplexe Lösung der Gleichung $X^{2}=d$ . Die zweite Lösung dieser Gleichung führt zum gleichen Zahlkörper.

Eigenschaften

Konjugationsabbildung

Es gilt, dass jedes Element von $K=\mathbb{Q} ({\sqrt {d}})$ Nullstelle eines Polynoms $f\in \mathbb{Q} [X]$ vom Grad $\leq 2$ ist. Also ist jedes Element von algebraisch. Man erhält somit einen Turm von Körpern:

$\mathbb {Q} \;\subsetneq \;K\;\subsetneq \;{\overline {\mathbb {Q} }}\;\subsetneq \;\mathbb {C}$

Insbesondere ist $\{1,{\sqrt {d}}\}$ eine $\mathbb {Q}$ -Basis von , das heißt es ist

$K=\mathbb{Q} \oplus \mathbb{Q} {\sqrt {d}}$

Nun besitzt der Körper genau zwei Körperautomorphismen, zum einen die identische Abbildung

${\begin{aligned}\operatorname {id} _{K}\colon \qquad K&\;\to \;K\\x+y{\sqrt {d}}&\;\mapsto \;x+y{\sqrt {d}}\end{aligned}}$

und zum anderen die Konjugationsabbildung:

${\begin{aligned}\sigma \colon \qquad K&\;\to \;K\\x+y{\sqrt {d}}&\;\mapsto \;x-y{\sqrt {d}}\end{aligned}}$

Insbesondere ist $\operatorname {Aut}(K)=\{id_{K},\sigma \}$ eine Galoisgruppe der Ordnung 2. Für $\alpha \in K$ heißt $\sigma (\alpha )$ das konjugierte Element zu $\alpha$ .

Norm und Spur

Die beiden Größen Norm und Spur eines quadratischen Zahlkörpers lassen sich wie folgt mittels seines nichttrivialen Körperautomorphismus $\sigma$ darstellen:

${\begin{aligned}N\colon \;K&\;\to \;\mathbb {Q} \\\alpha &\;\mapsto \;\alpha \sigma (\alpha )\end{aligned}}$

und

${\begin{aligned}\operatorname {Sp} \colon \;K&\;\to \;\mathbb {Q} \\\alpha &\;\mapsto \;\alpha +\sigma (\alpha )\end{aligned}}$

Da die Einbettung $\sigma$ einen Ringhomomorphismus bildet, wird die Norm multiplikativ und die Spur additiv. Durch Einsetzen erhält man:

${\begin{aligned}N(\alpha )&=(x+y{\sqrt {d}})(x-y{\sqrt {d}})=x^{{2}}-dy^{{2}}\\Sp(\alpha )&=(x-y{\sqrt {d}})+(x+y{\sqrt {d}})=2x\end{aligned}}$

Die Norm ist damit eine quadratische Form auf Aufgrund der Tatsache, dass die ganzalgebraischen Zahlen einen Ring ${{\mathcal O}}$ bilden, ist ${{\mathcal O}}_{K}$ offensichtlich ebenfalls ein Ring. Dieser übernimmt eine analoge Rolle in wie der Ring $\mathbb {Z}$ in $\mathbb{Q} ,$ und es gilt ${{\mathcal O}}_{K}\cap \mathbb{Q} =\mathbb{Z } .$ Also ist ${{\mathcal O}}_{K}$ ein Unterring von Damit sind alle Elemente der Form $x+y{\sqrt {d}},x,y\in \mathbb{Z }$ stets ganzalgebraisch, und man erhält eine Inklusion von Ringen:

$\mathbb{Z } [{\sqrt {d}}]\subseteq {{\mathcal O}}_{K}$

Dass hier nicht notwendigerweise Gleichheit gilt, zeigt das nachfolgende

Beispiel: Betrachten wir die dritte Einheitswurzel $\zeta _{3}={\tfrac {-1+{\sqrt {-3}}}{2}}\in {\mathbb{Q} ({\sqrt {-3}})}.$ Diese ist eine Nullstelle des normierten Polynoms $X^{3}-1\in \mathbb{Z } [X],$ das übrigens nicht ihr Minimalpolynom ist, und somit eine ganzalgebraische Zahl. Also ist $\zeta _{3}\in {{\mathcal O}}_{{\mathbb{Q} ({\sqrt {-3}})}},$ den sogenannten Eisenstein-Zahlen, aber $\zeta _{3}\notin \mathbb{Z } [{\sqrt {-3}}].$

Es gibt eine sehr einfache Möglichkeit, die ganzalgebraischen Zahlen in einem quadratischen Zahlkörper zu identifizieren, denn eine Zahl $\alpha \in K$ liegt genau dann in ${{\mathcal O}}_{K},$ wenn ihre Norm und Spur ganze Zahlen sind.

Da $\mathbb {Q}$ abzählbar unendlich ist, ist auch $\mathbb {Q} [X]$ abzählbar unendlich, denn jedes $f\in \mathbb{Q} [X]$ hat nur endlich viele Nullstellen. Daher ist auch die Menge der algebraischen Zahlen abzählbar unendlich.

Es bleibt noch die Frage nach der Form der ganzalgebraischen Elemente aus ${{\mathcal O}}_{K}.$ Dabei hängen die vielfältigen Varianten der Elemente und von der Kongruenzklasse modulo 4 ab. Als quadratfreie Zahl kann modulo 4 von vornherein nur zu 1, 2 oder 3 kongruent sein. Es gilt nun:

Es sei $d\in \mathbb{Z } \setminus \{0,1\}$ quadratfrei und $K=\mathbb{Q} ({\sqrt {d}})$ der zugehörige quadratische Zahlkörper, dann gilt:

${{\mathcal O}}_{K}={\begin{cases}{\mathbb{Z } +\mathbb{Z } {\sqrt {d}}},\;&{\text{falls }}d\equiv 2,3{\text{ mod }}4\\\mathbb{Z } +\mathbb{Z } {\frac {1+{\sqrt {d}}}{2}},\;&{\text{falls }}d\equiv 1{\text{ mod }}4\end{cases}}$

Beispiel: Die dritte Einheitswurzel $\zeta _{3}={\tfrac {-1+{\sqrt {-3}}}{2}}$ liegt wegen $d=-3\equiv 1{\text{ mod }}4$ in ${\mathcal O}_{{\mathbb{Q} ({\sqrt {-3}})}}$ und ist von der Form $x+y{\tfrac {1+{\sqrt {-3}}}{2}}.$ Hingegen besitzen die ganzen Gaußschen Zahlen in $\mathbb{Q} [i]$ wegen der Kongruenz $d=-1\equiv 3{\text{ mod }}4$ die Form $x+y{\sqrt {-1}}=x+yi.$

Einheiten

Ein erster wesentlicher Unterschied zwischen reell- und imaginärquadratischen Zahlkörpern besteht hinsichtlich ihrer Einheiten. So ist z.B. die Einheitengruppe $\mathbb{Z } ^{\times }=\{-1,1\}$ des Ringes $\mathbb {Z}$ die zyklische Gruppe der Ordnung Die Beschreibung der Einheitengruppe ${{\mathcal O}}_{K}^{\times }$ des Ganzheitsrings ${{\mathcal O}}_{K}$ hängt jedoch davon ab, ob reell- oder imaginärquadratisch ist. So ist die Einheitengruppe für imaginärquadratische Zahlkörper endlich und wir können sie folgendermaßen beschreiben:

Sei

und $K=\mathbb{Q} ({\sqrt {d}})$ der zugehörige (imaginär-) quadratische Zahlkörper. Für seine Einheitengruppe ${{\mathcal O}}_{K}^{\times }$ gilt:

${{\mathcal O}}_{K}^{\times }={\begin{cases}\{\pm 1,\pm i\}\cong \mathbb{Z } /4\mathbb{Z } ,&{\text{falls }}d=-1\\\left\{\pm 1,{\frac {1\pm {\sqrt {-3}}}{2}},{\frac {-1\pm {\sqrt {-3}}}{2}}\right\}\cong \mathbb{Z } /6\mathbb{Z } ,&{\text{falls }}d=-3\\\{-1,1\}\cong \mathbb{Z } /2\mathbb{Z } ,&{\text{sonst}}\end{cases}}$

Im Falle eines reellquadratischen Zahlkörpers ist die Beschreibung der Einheitengruppe aufwändiger. Es zeigt sich, dass jeder reellquadratische Zahlkörper unendlich viele Einheiten besitzt. Dabei läuft die Bestimmung der Einheitengruppe auf die Lösung der Pellschen Gleichung $x^{{2}}-dy^{{2}}=\pm 1$ hinaus. Man kann nun mittels des Dirichletschen Schubfachprinzips zeigen, dass diese Gleichung unendlich viele Einheiten (Lösungen) liefert. Da das Schubfachprinzip nicht konstruktiv ist, verwendet man zur Ermittlung der Einheiten die Kettenbruchentwicklung von ${\sqrt {d}}.$

Konstruktion quadratischer Zahlkörper

Ein klassisches Beispiel der Konstruktion eines quadratischen Zahlkörpers ist es, den eindeutig bestimmten quadratischen Zwischenkörper eines von einer primitiven -ten Einheitswurzel gebildeten Kreisteilungskörpers zu nehmen, eine ungerade Primzahl. Die Eindeutigkeit folgt daraus, dass die Galoisgruppe von $\mathbb{Q} (\zeta _{p})/\mathbb{Q}$ isomorph zu $(\mathbb{Z } /p\mathbb{Z } )^{\times }$ und damit zyklisch ist. Durch Betrachten der Verzweigung erkennt man, dass der quadratische Zwischenkörper gleich $\mathbb{Q} ({\sqrt {p^{*}}})$ mit $p^{*}=(-1)^{{{\frac {p-1}{2}}}}p$ ist; die Diskriminante von $\mathbb{Q} (\zeta _{p})/\mathbb{Q}$ ist nämlich eine -Potenz, und daher muss dies auch für die Diskriminante des quadratischen Zwischenkörpers gelten. Nach obiger Aussage muss daher $p^{*}\equiv 1{\text{ mod }}4$ sein, da sonst auch verzweigt ist. Dasselbe gilt auch für beliebige Potenzen einer ungeraden Primzahl.

Der Körper $\mathbb{Q} (\zeta _{8})/\mathbb{Q}$ besitzt dagegen genau die drei Körper $\mathbb{Q} ({\sqrt {-1}})$ , $\mathbb{Q} ({\sqrt {2}})$ und $\mathbb{Q} ({\sqrt {-2}})$ als quadratische Zwischenkörper; dies liegt daran, dass die Galoisgruppe der Erweiterung $(\mathbb{Z } /8\mathbb{Z } )^{\times }\simeq \mathbb{Z } /2\mathbb{Z } \times \mathbb{Z } /2\mathbb{Z }$ nicht mehr zyklisch ist (siehe prime Restklassengruppe).

Für den Spezialfall d=-1 erhält man den Ganzheitsring der Gaußschen Zahlen, für d=-3 den Ganzheitsring der Eisenstein-Zahlen. Diese beiden Ganzheitsringe sind die einzigen Ganzheitsringe quadratischer Zahlkörper, die zugleich Kreisteilungskörper sind.

Nichteindeutigkeit der Primfaktorzerlegung

Im Jahre 1843 machte Peter Gustav Lejeune Dirichlet Ernst Eduard Kummer auf die Nichteindeutigkeit der Primfaktorzerlegung in gewissen Zahlenringen aufmerksam. Kummer hatte bei seinem vermeintlichen Beweis zur Fermatschen-Vermutung, welcher die algebraischen Zahlen einbezog, den Fundamentalsatz der Zahlentheorie auch für alle algebraischen Zahlen als erwiesen angesehen, sodass diese ebenfalls eine eindeutige Zerlegung wie die gewöhnlichen ganzen Zahlen besitzen. Dass dieser aber schon im Ring ${{\rm {{{\mathcal O}}}}}_{{{\mathbb{Q} }({\sqrt {-5}})}}$ nicht mehr gegeben ist, kann leicht für die Zahl 21 gezeigt werden.

So ist einerseits $21=3\cdot 7$ und andererseits $21=(1+2{\sqrt {-5}})(1-2{\sqrt {-5}})$ . Dass die Zahlen $3,{{\rm {\;}}}7{{\rm {\;}}},1\pm 2{\sqrt {-5}}$ in ${{\rm {{{\mathcal O}}}}}_{{{\mathbb{Q} }({\sqrt {-5}})}}$ alle irreduzibel und nicht zueinander assoziiert sind, sieht man mit Hilfe der Norm folgendermaßen ein. Angenommen die Zahl 3 wäre zerlegbar. Etwa mit $3=\alpha \cdot \beta$ , wobei $\alpha ,\beta \in {{\rm {{{\mathcal O}}}}}_{{{\mathbb{Q} }({\sqrt {-5}})}}$ keine Einheiten seien. Dann ist $N_{{{\mathbb{Q} }({\sqrt {-5}})}}(3)=N_{{{\mathbb{Q} }({\sqrt {-5}})}}(\alpha )N_{{{\mathbb{Q} }({\sqrt {-5}})}}(\beta )=9$ und folglich müssen $N_{{{\mathbb{Q} }({\sqrt {-5}})}}(\alpha )=N_{{{\mathbb{Q} }({\sqrt {-5}})}}(\beta )=\pm 3$ sein. Nun sind $\alpha,\beta$ von der Form $x+y{\sqrt {-5}}$ mit $x,y\in {\mathbb{Z } }$ und damit folgt, dass die Norm $N_{{{\mathbb{Q} }({\sqrt {-5}})}}(x+y{\sqrt {-5}})=x^{{2}}+5y^{{2}}\in {\mathbb{Z } }$ ist. Nun ist die Gleichung $x^{{2}}+5y^{{2}}=\pm 3$ aber offensichtlich unlösbar in den ganzen Zahlen, was im Widerspruch zu unserer Annahme steht. Also ist die Zahl in ${{\rm {{{\mathcal O}}}}}_{{{\mathbb{Q} }({\sqrt {-5}})}}$ irreduzibel und man beweist analog, dass es auch die Zahlen $7{{\rm {\;}}},1\pm 2{\sqrt {-5}}{{\rm {\;}}}$ sind. Dass die Zahlen und nicht zueinander assoziiert sind, ist klar. Genauso können $1+2{\sqrt {-5}}{{\rm {\;}}}$ und $1-2{\sqrt {-5}}$ als Konjugierte nicht zueinander assoziiert sein. Angenommen, die Zahlen und seien zu $1\pm 2{\sqrt {-5}}$ assoziiert, dann wären die Brüche ${\frac {1\pm 2{\sqrt {-5}}}{3}},{\frac {1\pm 2{\sqrt {-5}}}{7}}\in {{\rm {{{\mathcal O}}}}}_{{{\mathbb{Q} }({\sqrt {-5}})}}$ . Da aber sowohl die Spur von ${\frac {1\pm 2{\sqrt {-5}}}{3}}$ als auch von ${\frac {1\pm 2{\sqrt {-5}}}{7}}$ nicht ganzzahlig sind, können die Elemente ${\frac {1\pm 2{\sqrt {-5}}}{3}},{\frac {1\pm 2{\sqrt {-5}}}{7}}$ somit nicht in ${{\rm {{{\mathcal O}}}}}_{{{\mathbb{Q} }({\sqrt {-5}})}}$ liegen. Also sind die Zahlen nicht zueinander assoziiert. Folglich liegen für die Zahl zwei verschiedene Primfaktorzerlegungen in ${{\rm {{{\mathcal O}}}}}_{{{\mathbb{Q} }({\sqrt {-5}})}}$ vor.

Wir sehen also, dass der Fundamentalsatz der Zahlentheorie und damit die Eindeutigkeit der Primfaktorzerlegung im Allgemeinen nicht mehr vorausgesetzt werden kann.

Probleme dieser Art sind heute mit der Kummerschen Idealtheorie in den Griff zu bekommen. Geleitet von den komplexen Zahlen bestand Kummers Absicht darin, einen erweiterten Bereich neuer idealer Zahlen zu schaffen, sodass diese sich eindeutig in das Produkt idealer Primzahlen zerlegen lassen. Die von Kummer entwickelte Theorie der idealen Zahlen wurde durch den deutschen Mathematiker Richard Dedekind systematisiert und man bezeichnet heute die idealen Zahlen einfach als die Dedekindschen Ideale des Ringes ${{\rm {{{\mathcal O}}}}}_{{{\mathbb{Q} }({\sqrt {d}})}}$ . Das Fundamentaltheorem der Dedekindschen Idealtheorie liefert nun die Verallgemeinerung des Satzes der eindeutigen Primfaktorzerlegung und zeigt einen Weg auf, mit der Mehrdeutigkeit der Primfaktorzerlegung umzugehen und eine Analogie zum Fundamentalsatz der Zahlentheorie wiederherzustellen. (Siehe dazu etwa Dedekindring).

Primidealzerlegung

Dass die Primidealzerlegung eines Hauptideals $p{{\rm {{{\mathcal O}}}}}_{{{\mathbb{Q} }({\sqrt {d}})}}$ , für eine Primzahl , nicht willkürlich sein kann, folgt schon aus der Norm $N(p{{\rm {{{\mathcal O}}}}}_{{{\mathbb{Q} }({\sqrt {d}})}})=p^{{2}}$ . Das heißt $p{{\rm {{{\mathcal O}}}}}_{{{\mathbb{Q} }({\sqrt {d}})}}$ ist entweder ein Primideal oder zerfällt in das Produkt zweier (nicht notwendigerweise verschiedener) Primideale der Norm . Eine Primzahl heißt in ${\mathbb{Q} }({\sqrt {d}})$

träge, wenn $p{{\rm {{{\mathcal O}}}}}_{{{\mathbb{Q} }({\sqrt {d}})}}={{\rm {{{\mathfrak p}}}}}$ ein Primideal ist,

zerlegt, wenn $p{{\rm {{{\mathcal O}}}}}_{{{\mathbb{Q} }({\sqrt {d}})}}={{\rm {{{\mathfrak p}}}}}{{\rm {{{\mathfrak p}}}}}'$ mit Primideale ${{\rm {{{\mathfrak p}}}}}\neq {{\rm {{{\mathfrak p}}}}}'{{\rm {\trianglelefteq }}}{{\rm {{{\mathcal O}}}}}_{{{\mathbb{Q} }({\sqrt {d}})}}$ ,

verzweigt, wenn $p{{\rm {{{\mathcal O}}}}}_{{{\mathbb{Q} }({\sqrt {d}})}}={{\rm {{{\mathfrak p}}}}}^{{2}}$ für ein Primideal ${{\rm {{{\mathfrak p}}}}}{{\rm {\trianglelefteq }}}{{\rm {{{\mathcal O}}}}}_{{{\mathbb{Q} }({\sqrt {d}})}}$ .

Der dritte Fall tritt genau für die (endlich vielen) Primteiler der Diskriminante auf. Die anderen beiden Fälle treten in einem gewissen Sinne »gleichhäufig« auf; dies folgt aus dem Chebotarevschen Dichtigkeitssatz.

Man findet nun ohne großen Aufwand, dass für $d\neq 0,1$ die Diskriminante eines quadratischen Zahlkörpers:

$\Delta _{{{\mathbb{Q} }({\sqrt {d}})}}:={\begin{cases}4d&{\text{falls }}d\equiv 2,3\,{\text{mod }}4\\d&{\text{falls}}\,\,\,d\equiv 1\,{\text{mod }}4.\end{cases}}$

Man beachte, dass stets ${\mathbb{Q} }({\sqrt {d}})={\mathbb{Q} }({\sqrt {\Delta _{{{\mathbb{Q} }({\sqrt {d}})}}}})$ gilt.

Mit Hilfe der Diskriminante und des Legendre-Symbols lässt sich eine übersichtliche Beschreibung des Verhaltens von ungeraden Primzahlen in einem quadratischen Zahlkörper geben:

Satz (Zerlegungsgesetz): Für eine ungerade Primzahl in ${\mathbb{Q} }({\sqrt {d}})$ gilt:

$\bullet$ Ist $p\mid \Delta _{{\mathbb {Q} }({\sqrt {d}})}$ , dann ist $(p)=(p,{\sqrt {d}})^{{2}}$ und ist verzweigt,

$\bullet$ Ist $\left({\frac {\Delta _{{{\mathbb{Q} }({\sqrt {d}})}}}{p}}\right)=+1$ , dann ist zerlegt,

$\bullet$ Ist $\left({\frac {\Delta _{{{\mathbb{Q} }({\sqrt {d}})}}}{p}}\right)=-1$ , dann ist träge.

Bemerkung: Die Primzahl wurde ausgeschlossen. Es gilt aber, dass in ${\mathbb{Q} }({\sqrt {d}})$ träge ist, wenn $d\equiv 5{\text{ mod }}8$ . Sie ist zerlegt, wenn $d\equiv 1{\text{ mod }}8$ , und sie ist verzweigt, falls $d\equiv 2,3{\text{ mod }}4$ .

Die Aussage für die Trägheit gilt auch für die Zerlegung in Primelemente; im Allgemeinen lassen sich solche Aussagen aber genau dann auf Primelemente fortsetzten, wenn ${{\mathbb{Q} }({\sqrt {d}})}$ Hauptidealring ist, also eindeutige Zerlegung in Primelemente besitzt, oder äquivalenterweise Klassenzahl hat.

Beispiel

Betrachten man beispielsweise $\left({\frac {-15}{37}}\right)$ . Dann erhalten wir durch mehrfache Anwendung des quadratischen Reziprozitätsgesetzes, dass die Primzahl in ${\mathbb{Q} }({\sqrt {-15}})$ träge ist. Denn $\left({\frac {-15}{37}}\right)=\left({\frac {-1}{37}}\right)\left({\frac {3}{37}}\right)\left({\frac {5}{37}}\right)=(-1)^{{18}}\left({\frac {1}{8}}\right)\left({\frac {2}{5}}\right)=1\cdot 1\cdot (-1)=-1$ .

Basierend auf einem Artikel in:

Wikipedia.de