Kurs:Elemente der Algebra (Osnabrück 2024-2025)/Vorlesung 27

Das Delische Problem

Die Bewohner der Insel Delos befragten während einer Pestepidemie 430 v. Chr. das Orakel von Delphi. Sie wurden aufgefordert, den würfelförmigen Altar des Apollon zu verdoppeln.

Wir kommen zur ersten Konsequenz von unserer systematischen Untersuchung der konstruierbaren Zahlen auf die klassischen Konstruktionsprobleme.

Korollar

Die Würfelverdopplung mit Zirkel und Lineal ist nicht möglich.

Beweis

Wir betrachten einen Würfel mit der Kantenlänge ${}1$ und dem Volumen ${}1$. Die Konstruktion eines Würfels mit dem doppelten Volumen würde bedeuten, dass man die neue Kantenlänge, also ${}2^{1/3}$ mit Zirkel und Lineal konstruieren könnte. Das Minimalpolynom von ${}2^{1/3}$ ist ${}X^{3}-2$, da dieses offenbar ${}2^{1/3}$ annulliert und nach Lemma 6.9 irreduzibel ist, da in ${}\mathbb {Q}$ keine dritte Wurzel aus ${}2$ existiert. Nach Korollar 26.7 ist ${}2^{1/3}$ nicht konstruierbar, da ${}3$ keine Zweierpotenz ist.

$\Box$

Die Quadratur des Kreises

Satz

Es ist nicht möglich, zu einem vorgegebenen Kreis ein flächengleiches Quadrat mit Zirkel und Lineal zu konstruieren.

Beweis

Wenn es ein Konstruktionsverfahren gäbe, so könnte man insbesondere den Einheitskreis mit dem Radius ${}1$ quadrieren, d.h. man könnte ein Quadrat mit der Seitenlänge ${}{\sqrt {\pi }}$ mit Zirkel und Lineal konstruieren. Nach Korollar 26.6 muss aber eine konstruierbare Zahl algebraisch sein. Nach dem Satz von Lindemann ist aber ${}\pi$ und damit auch ${}{\sqrt {\pi }}$ transzendent.

$\Box$

Es gibt natürlich einige geometrische Methoden die Zahl ${}\pi$ zu erhalten, z.B. die Abrollmethode und die Schwimmbadmethode.

Beispiel

Die einfachste Art, die Zahl ${}\pi$ geometrisch zu konstruieren, ist die Abrollmethode, bei der man einen Kreis mit Durchmesser ${}1$ einmal exakt abrollt. Die zurückgeführte Entfernung ist genau der Kreisumfang, also ${}\pi$.

Beispiel

Man kann die Zahl ${}\pi$ auch mit Hilfe von Schwimmbecken und einer idealen Flüssigkeit erhalten.

• 
  Wir starten mit einem Einheitskreis,
• 
  den wir als Grundfläche
• 
  eines Schwimmbeckens der Höhe 1 nehmen.
• 
  Das füllen wir randvoll mit Wasser auf.
• 
  Wir nehmen ein zweites Schwimmbecken mit quadratischer Grundfläche ${}1\times 1$ und Höhe 4.
• 
  Der Inhalt des ersten Schwimmbeckens wird
• 
  in das zweite Schwimmbecken gegossen.
• 
  Der Wasserstand im zweiten Schwimmbecken ist exakt ${}\pi$.

Einheitswurzeln

Definition

Es sei ${}K$ ein Körper und ${}n\in \mathbb {N}$. Dann heißen die Nullstellen des Polynoms

$X^{n}-1$

in ${}K$ die ${}n$-ten Einheitswurzeln in ${}K$.

Die ${}1$ ist für jedes ${}n$ eine ${}n$-te Einheitswurzel, und die ${}-1$ ist für jedes gerade ${}n$ eine ${}n$-te Einheitswurzel. Es gibt maximal ${}n$ ${}n$-te Einheitswurzel, da das Polynom ${}X^{n}-1$ maximal ${}n$ Nullstellen besitzt. Die Einheitswurzeln bilden also insbesondere eine endliche Untergruppe (mit ${}x^{n}=1$ und ${}y^{n}=1$ ist auch ${}(xy)^{n}=1$, usw.) der Einheitengruppe des Körpers.  Nach einem Satz, den wir nicht bewiesen haben, ist diese Gruppe zyklisch mit einer Ordnung, die ${}n$ teilt.

Definition

Eine ${}n$-te Einheitswurzel heißt primitiv, wenn sie die Ordnung ${}n$ besitzt.

Man beachte, dass ein Erzeuger der Gruppe der Einheitswurzeln nur dann primitiv heißt, wenn es ${}n$ verschiedene Einheitswurzeln gibt. Wenn ${}\zeta$ eine primitive ${}n$-te Einheitswurzel ist, so sind genau die ${}\zeta ^{i}$ mit ${}i<n$ und ${}i$ teilerfremd zu ${}n$ die primitiven Einheitswurzeln. Insbesondere gibt es, wenn es überhaupt primitive Einheitswurzeln gibt, genau ${}{\varphi (n)}$ primitive Einheitswurzeln, wobei ${}{\varphi (n)}$ die eulersche ${}\varphi$-Funktion bezeichnet. Die komplexen Einheitswurzeln lassen sich einfach beschreiben.

Lemma

Es sei ${}n\in \mathbb {N} _{+}$.

Die Nullstellen des Polynoms ${}X^{n}-1$ über ${}{\mathbb {C} }$ sind

$e^{2\pi {\mathrm {i} }k/n}=\cos {\frac {2\pi k}{n}}+{\mathrm {i} }\sin {\frac {2\pi k}{n}},k=0,1,\ldots ,n-1.$

In ${}{\mathbb {C} }[X]$ gilt die Faktorisierung

${}X^{n}-1=(X-1){\left(X-e^{2\pi {\mathrm {i} }/n}\right)}{\cdots }{\left(X-e^{2\pi {\mathrm {i} }(n-1)/n}\right)}\,.$

Beweis

Der Beweis verwendet einige Grundtatsachen über die komplexe Exponentialfunktion. Es ist

${}{\left(e^{2\pi {\mathrm {i} }k/n}\right)}^{n}=e^{2\pi {\mathrm {i} }k}={\left(e^{2\pi {\mathrm {i} }}\right)}^{k}=1^{k}=1\,.$

Die angegebenen komplexen Zahlen sind also wirklich Nullstellen des Polynoms ${}X^{n}-1$. Diese Nullstellen sind alle untereinander verschieden, da aus

${}e^{2\pi {\mathrm {i} }k/n}=e^{2\pi {\mathrm {i} }\ell /n}\,$

mit ${}0\leq k\leq \ell \leq n-1$ sofort, durch Betrachten des Quotienten, ${}e^{2\pi {\mathrm {i} }(\ell -k)/n}=1$ folgt, und daraus

${}\ell -k=0\,.$

Es gibt also ${}n$ explizit angegebene Nullstellen und daher müssen dies alle Nullstellen des Polynoms sein. Die explizite Beschreibung in Koordinaten folgt aus der eulerschen Formel.

$\Box$

Kreisteilungskörper

Definition

Der ${}n$-te Kreisteilungskörper ist der Zerfällungskörper des Polynoms

$X^{n}-1$

über ${}\mathbb {Q}$.

Offenbar ist ${}1$ eine Nullstelle von ${}X^{n}-1$. Daher kann man ${}X^{n}-1$ durch ${}X-1$ teilen und erhält, wie man schnell nachrechnen kann,

${}X^{n}-1=(X-1){\left(X^{n-1}+X^{n-2}+\cdots +X+1\right)}\,.$

Wegen ${}1\in \mathbb {Q}$ ist daher der ${}n$-te Kreisteilungskörper auch der Zerfällungskörper von

$X^{n-1}+X^{n-2}+\cdots +X+1.$

Es gibt auch Kreisteilungskörper über anderen Körpern, da es ja stets Zerfällungskörper gibt. Wir beschränken uns aber weitgehend auf die Kreisteilungskörper über ${}\mathbb {Q}$, die wir auch mit ${}K_{n}$ bezeichnen. Da ${}X^{n}-1$ auf die in Lemma 27.7 beschriebenen Art über ${}{\mathbb {C} }$ in Linearfaktoren zerfällt, kann man ${}K_{n}$ als Unterkörper von ${}{\mathbb {C} }$ realisieren, und zwar ist ${}K_{n}$ der von allen ${}n$-ten Einheitswurzeln erzeugte Unterkörper von ${}{\mathbb {C} }$. Dieser wird sogar schon von einer einzigen primitiven Einheitswurzel erzeugt. Wir erwähnen den folgenden Begriff.

Definition

Eine Körpererweiterung ${}K\subseteq L$, heißt einfach, wenn es ein Element ${}x\in L$ mit

${}L=K(x)\,$

gibt.

Lemma

Es sei ${}n\in \mathbb {N} _{+}$. Dann wird der ${}n$-te Kreisteilungskörper über ${}\mathbb {Q}$

von ${}e^{2\pi {\mathrm {i} }/n}$ erzeugt.

Der ${}n$-te Kreisteilungskörper ist also

${}K_{n}=\mathbb {Q} {\left(e^{2\pi {\mathrm {i} }/n}\right)}=\mathbb {Q} [e^{2\pi {\mathrm {i} }/n}]\,.$

Insbesondere ist jeder Kreisteilungskörper eine einfache Körpererweiterung von ${}\mathbb {Q}$.

Beweis

Es sei ${}K_{n}$ der ${}n$-te Kreisteilungskörper über ${}\mathbb {Q}$. Wegen ${}{\left(e^{2\pi {\mathrm {i} }/n}\right)}^{n}=1$ ist ${}\mathbb {Q} [e^{2\pi {\mathrm {i} }/n}]\subseteq K_{n}$. Wegen ${}{\left(e^{2\pi {\mathrm {i} }/n}\right)}^{k}=e^{2\pi {\mathrm {i} }k/n}$ gehören auch alle anderen Einheitswurzeln zu ${}\mathbb {Q} [e^{2\pi {\mathrm {i} }/n}]$, also ist ${}\mathbb {Q} [e^{2\pi {\mathrm {i} }/n}]=K_{n}$.

$\Box$

Statt ${}e^{\frac {2\pi {\mathrm {i} }}{n}}$ kann man auch jede andere ${}n$-te primitive Einheitswurzel aus ${}{\mathbb {C} }$ als Erzeuger nehmen.

Beispiel

Wir bestimmen einige Kreisteilungskörper für kleine ${}n$. Bei ${}n=1$ oder ${}2$ ist der Kreisteilungskörper gleich ${}\mathbb {Q}$. Bei ${}n=3$ ist

${}X^{3}-1=(X-1){\left(X^{2}+X+1\right)}\,$

und der zweite Faktor zerfällt

${}X^{2}+X+1={\left(X+{\frac {1}{2}}-{\mathrm {i} }{\frac {\sqrt {3}}{2}}\right)}{\left(X+{\frac {1}{2}}+{\mathrm {i} }{\frac {\sqrt {3}}{2}}\right)}\,.$

Daher ist der dritte Kreisteilungskörper der von ${}{\sqrt {-3}}={\sqrt {3}}{\mathrm {i} }$ erzeugte Körper, es ist also ${}K_{3}=\mathbb {Q} [{\sqrt {-3}}]$ eine quadratische Körpererweiterung der rationalen Zahlen.

Bei ${}n=4$ ist natürlich

${}{\begin{aligned}X^{4}-1&={\left(X^{2}-1\right)}{\left(X^{2}+1\right)}\\&=(X-1)(X+1){\left(X^{2}+1\right)}\\&=(X-1)(X+1)(X-{\mathrm {i} })(X+{\mathrm {i} }).\end{aligned}}$

Der vierte Kreisteilungskörper ist somit ${}\mathbb {Q} [{\mathrm {i} }]\cong \mathbb {Q} [X]/(X^{2}+1)$, also ebenfalls eine quadratische Körpererweiterung von ${}\mathbb {Q}$.

Der Beweis der folgenden wichtigen Aussage beruht auf Überlegungen, die wir nicht entwickelt haben.

Lemma

Es sei ${}p$ eine Primzahl.

Dann ist der ${}p$-te Kreisteilungskörper gleich

$\mathbb {Q} [X]/{\left(X^{p-1}+X^{p-2}+\cdots +X^{1}+1\right)}.$

Insbesondere besitzt der ${}p$-te Kreisteilungskörper den Grad ${}p-1$ über ${}\mathbb {Q}$.

Beweis

Dieser Beweis wurde in der Vorlesung nicht vorgeführt.

Der ${}p$-te Kreisteilungskörper wird nach Lemma 27.10 von ${}e^{2\pi {\mathrm {i} }/p}$ erzeugt, er ist also isomorph zu ${}\mathbb {Q} [X]/(P)$, wobei ${}P$ das Minimalpolynom von ${}e^{2\pi {\mathrm {i} }/p}$ bezeichnet. Als Einheitswurzel ist ${}e^{2\pi {\mathrm {i} }/p}$ eine Nullstelle von ${}X^{p}-1$ und wegen ${}e^{2\pi {\mathrm {i} }/p}\neq 1$ ist ${}e^{2\pi {\mathrm {i} }/p}$ eine Nullstelle von ${}X^{p-1}+X^{p-2}+\cdots +X^{1}+1$. Das Polynom ${}X^{p-1}+X^{p-2}+\cdots +X^{1}+1$ ist irreduzibel nach Aufgabe ***** und daher handelt es sich nach Lemma 23.2  (2) um das Minimalpolynom von ${}e^{2\pi {\mathrm {i} }/p}$.

$\Box$

 

Beispiel

Der fünfte Kreisteilungskörper wird von der komplexen Zahl ${}e^{2\pi {\mathrm {i} }/5}$ erzeugt. Er hat aufgrund von Lemma 27.12 die Gestalt

${}K_{5}\cong \mathbb {Q} [X]/{\left(X^{4}+X^{3}+X^{2}+X+1\right)}\,,$

wobei die Variable ${}X$ als ${}e^{2\pi {\mathrm {i} }/5}$ (oder eine andere primitive Einheitswurzel) zu interpretieren ist. Sei ${}x=e^{2\pi {\mathrm {i} }/5}$ und setze ${}v=x-x^{2}-x^{3}+x^{4}=-{\left(2x^{3}+2x^{2}+1\right)}$. Aus Symmetriegründen muss dies eine reelle Zahl sein. Es ist

${}{\begin{aligned}v^{2}&=4x^{6}+4x^{4}+1+8x^{5}+4x^{3}+4x^{2}\\&=4x+4x^{4}+1+8+4x^{3}+4x^{2}\\&=5+4{\left(x^{4}+x^{3}+x^{2}+x+1\right)}\\&=5.\end{aligned}}$

Es ist also ${}v={\sqrt {5}}$ (die positive Wurzel) und somit haben wir eine Folge von quadratischen Körpererweiterungen

${}\mathbb {Q} \subset \mathbb {Q} [{\sqrt {5}}]\subset K_{5}\,.$

Dies zeigt aufgrund von

Satz 26.5, dass die fünften Einheitswurzeln konstruierbare Zahlen sind.

<< | Kurs:Elemente der Algebra (Osnabrück 2024-2025) | >> PDF-Version dieser Vorlesung Arbeitsblatt zur Vorlesung (PDF)