Algebraischer Zahlkörper

Ein algebraischer Zahlkörper oder kurz ein Zahlkörper 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

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

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.

Trenner
Basierend auf einem Artikel in: Wikipedia.de
Seitenende
Seite zurück
©  biancahoegel.de
Datum der letzten Änderung:  Jena, den: 19.09. 2019