Algebraischer Zahlkörper

Ein algebraischer Zahlkörper oder kurz ein Zahlkörper (alt Rationalitätsbereich) ist in der Mathematik eine endliche Erweiterung des Körpers der rationalen Zahlen $\mathbb {Q}$. Die Untersuchung algebraischer Zahlkörper ist ein zentraler Gegenstand der algebraischen Zahlentheorie, eines Teilgebiets der Zahlentheorie.

Eine wichtige Rolle spielen dabei die Ganzheitsringe algebraischer Zahlkörper, die Analoga des Rings der ganzen Zahlen $\mathbb {Z}$ im Körper $\mathbb {Q}$ darstellen.

Definition und einfache Eigenschaften

Ein algebraischer Zahlkörper $K$ ist definiert als endliche Körpererweiterung des Körpers $\mathbb {Q}$ der rationalen Zahlen. Das bedeutet, dass $K$ als Vektorraum über $\mathbb {Q}$ eine endliche Dimension hat. Diese Dimension heißt Grad des Zahlkörpers.

Als endliche Erweiterungen sind Zahlkörper stets auch algebraische Erweiterungen von $\mathbb {Q}$; das heißt, jedes Element eines Zahlkörpers ist Nullstelle eines Polynoms mit rationalen Koeffizienten und ist daher eine algebraische Zahl. Umgekehrt ist allerdings nicht jede algebraische Erweiterung von $\mathbb {Q}$ ein Zahlkörper: Beispielsweise ist der Körper $\mathbb {A}$ aller algebraischen Zahlen zwar eine algebraische, aber keine endliche Erweiterung von $\mathbb {Q}$, also kein algebraischer Zahlkörper.

Nach dem Satz vom primitiven Element sind Zahlkörper einfache Körpererweiterungen von $\mathbb {Q}$, lassen sich also in der Form $\mathbb {Q} (\xi )$ als Adjunktion einer algebraischen Zahl $\xi$ zu $\mathbb {Q}$ darstellen.

Ganzheit

Ein Element $x$ eines Zahlkörpers $K$ wird ganz genannt, wenn es Nullstelle eines normierten Polynoms (Leitkoeffizient 1) mit Koeffizienten aus $\mathbb {Z}$ ist. Das heißt, $x$ erfüllt eine Gleichung der Gestalt

$x^{m}+c_{m-1}x^{m-1}+\dotsb +c_{1}x+c_{0}=0$

mit ganzen Zahlen $c_{0},\dotsc ,c_{m-1}\in \mathbb {Z}$. Solche Zahlen werden auch ganzalgebraische Zahlen genannt.

Die ganzen Zahlen bilden einen Unterring von $K$, der Ganzheitsring von $K$ genannt wird und üblicherweise mit ${\mathcal {O}}_{K}$, $O_{K}$ oder auch $\mathbb {Z} _{K}$ bezeichnet wird.

Beispiele

• Als triviales Beispiel ist $\mathbb {Q}$ selbst ein Zahlkörper (vom Grad 1). Erwartungsgemäß gilt ${\mathcal {O}}_{\mathbb {Q} }=\mathbb {Z}$, d. h., die ganzen rationalen Zahlen sind die „normalen“ ganzen Zahlen.
• Der Körper $\mathbb {Q} (i)=\{a+bi\in \mathbb {C} :a,b\in \mathbb {Q} \}$ der komplexen Zahlen mit rationalen Real- und Imaginärteilen ist ein Zahlkörper vom Grad 2. Der zugehörige Ganzheitsring ist $\mathbb {Z} [i]=\{a+bi\in \mathbb {C} :a,b\in \mathbb {Z} \}$, der Ring der (ganzen) gaußschen Zahlen.
• Allgemeiner bilden die quadratischen Zahlkörper $\mathbb {Q} \left({\sqrt {d}}\right)$ mit quadratfreiem $d\in \mathbb {Z} \setminus \{1\}$ genau die Zahlkörper vom Grad 2. Für die Ganzheitsringe ergibt sich

$\mathbb {Z} \left[{\sqrt {d}}\right]$, falls $d$ kongruent 2 oder 3 mod 4 ist,

$\mathbb {Z} \left[{\tfrac {1+{\sqrt {d}}}{2}}\right]$, falls $d$ kongruent 1 mod 4 ist.

• Die Kreisteilungskörper $\mathbb {Q} (\zeta _{n})$ mit einer primitiven $n$-ten Einheitswurzel $\zeta _{n}$ sind Zahlkörper vom Grad $\varphi (n)$ mit der eulerschen φ-Funktion. Der Ganzheitsring ist $\mathbb {Z} [\zeta _{n}]$.

Basen

Da ein Zahlkörper $K$ vom Grad $n$ ein $n$-dimensionaler $\mathbb {Q}$-Vektorraum ist, besteht jede Basis von $K$ aus genau $n$ Elementen. Ist $\{x_{1},\dotsc ,x_{n}\}$ eine solche Basis, dann lässt sich jedes Element $x\in K$ schreiben in der Form

$x=a_{1}x_{1}+\dotsb +a_{n}x_{n}$

mit eindeutig bestimmten Koeffizienten $a_{j}\in \mathbb {Q}$, die jedoch von der Wahl der Basis abhängen. Gilt $K=\mathbb {Q} (\xi )$, dann besitzt $K$ die spezielle Basis $\left\{1,\xi ,\xi ^{2},\dotsc ,\xi ^{n-1}\right\}$, wobei der Grad $n$ von $K$ gleich dem Grad des Minimalpolynoms der algebraischen Zahl $\xi$ ist.

Eine Basis von $K$ heißt Ganzheitsbasis, wenn sich jedes ganze Element $x\in {\mathcal {O}}_{K}$ in der Form $x=a_{1}x_{1}+\dotsb +a_{n}x_{n}$ mit $a_{1},\dotsc ,a_{n}\in \mathbb {Z}$ schreiben lässt. Beispielsweise ist $\left\{1,{\sqrt {5}}\right\}$ eine Basis von $\mathbb {Q} \left({\sqrt {5}}\right)$, aber keine Ganzheitsbasis, denn nicht alle Elemente des Ganzheitsrings $\mathbb {Z} \left[{\tfrac {1+{\sqrt {5}}}{2}}\right]$ lassen sich als ganzzahlige Linearkombinationen von 1 und ${\sqrt {5}}$ schreiben. Dagegen ist $\left\{1,{\tfrac {1+{\sqrt {5}}}{2}}\right\}$ eine Ganzheitsbasis von $\mathbb {Q} \left({\sqrt {5}}\right)$.

Eine andere basisabhängige Darstellung von Elementen eines Zahlkörpers $K$ ist die Matrixdarstellung. Sei dazu $x\in K$ fest gewählt, dann ist durch die Multiplikation mit $x$ eine lineare Abbildung $A_{x}\colon K\to K$, $A_{x}(z)=x\cdot z$ gegeben. Dieser Endomorphismus lässt sich bezüglich einer festen Basis durch eine quadratische Matrix darstellen. Die Determinante und die Spur der Abbildung (also der darstellenden Matrix), die von der Wahl der Basis unabhängig sind, werden Norm bzw. Spur von $x$ genannt und sind wichtige Hilfsmittel für Rechnungen und Beweise in algebraischen Zahlkörpern.

Verallgemeinerung und Einordnung

Die algebraischen Zahlkörper bilden zusammen mit den Funktionenkörpern $\mathbb {F} _{p}(T)$ der Charakteristik $p$ die Klasse der globalen Körper, die zusammen mit den lokalen Körpern, zu denen etwa die Körper $\mathbb {Q} _{p}$ der p-adischen Zahlen gehören, die wichtigsten Untersuchungsobjekte der algebraischen Zahlentheorie darstellen.

Siehe auch

• Idealklassengruppe
• Dirichletscher Einheitensatz
• Kummer-Erweiterung
• Quadratisches Reziprozitätsgesetz, Artinsches Reziprozitätsgesetz
• Klassenkörpertheorie
• Brauer-Gruppe
• Iwasawa-Theorie
• Dedekindsche Zeta-Funktion

Literatur

• Falko Lorenz: Algebraische Zahlentheorie. BI-Wissenschaftsverlag, Mannheim 1993, ISBN 3-411-16701-7.
• Stefan Müller-Stach, Jens Piontkowski: Elementare und algebraische Zahlentheorie. Ein moderner Zugang zu klassischen Themen. Vieweg, Wiesbaden 2006, ISBN 3-8348-0211-5 (Vieweg Studium).
• Jürgen Neukirch: Algebraische Zahlentheorie. Springer-Verlag, Berlin 2006. ISBN 3-540-37547-3.