Kurs:Körper- und Galoistheorie (Osnabrück 2018-2019)/Vorlesung 26/kontrolle

Wir haben gesehen, dass das Minimalpolynom einer aus ${}\mathbb {Q}$ konstruierbaren komplexen Zahl eine Zweierpotenz als Grad besitzt. Wir werden hier zeigen, dass eine komplexe algebraische Zahl genau dann konstruierbar ist, wenn der Grad des Zerfällungskörper ihres Minimalpolynoms eine Zweierpotenz ist. Dies erfordert einige einfache gruppentheoretische Vorbereitungen.

Konjugationsklassen und Klassengleichung

Definition Referenznummer erstellen

Zu einer Gruppe ${}G$ nennt man die Äquivalenzklassen zur Äquivalenzrelation, bei der zwei Elemente als äquivalent (oder konjugiert) gelten, wenn sie durch einen inneren Automorphismus ineinander überführt werden können, die Konjugationsklassen.

Zwei Elemente ${}a,b\in G$ sind also konjugiert, wenn es ein ${}x\in G$ mit ${}b=xax^{-1}$ gibt. Den Konjugationsklassen sind wird schon auf dem fünften Arbeitsblatt begegnet.

Die folgende Aussage heißt Klassengleichung.

Lemma Referenznummer erstellen

Es sei ${}G$ eine endliche Gruppe und seien ${}K_{1},\ldots ,K_{r}$ die Konjugationsklassen von ${}G$ mit mindestens zwei Elementen.

Dann ist

${}\operatorname {ord} _{}^{}{\left(G\right)}=\operatorname {ord} _{}^{}{\left(Z(G)\right)}+\sum _{i=1}^{r}{\#\left(K_{i}\right)}\,.$

Beweis

Die Konjugationsklassen sind Äquivalenzklassen, daher bilden sie eine Zerlegung von ${}G$. Die Summe der Anzahl der Elemente in den Konjugationsklassen ist daher gleich der Ordnung von ${}G$. Die einelementigen Konjugationsklassen entsprechen dabei den Elementen im Zentrum der Gruppe.

$\Box$

Die Anzahl der Elemente in den einzelnen Konjugationsklassen unterliegt starken Einschränkungen, die das folgende Lemma beinhaltet.

Lemma Lemma 26.3 ändern

Es sei ${}G$ eine endliche Gruppe und sei ${}a\in G$. Dann gelten folgende Aussagen.

1. Die Menge ${}G_{a}={\left\{x\in G\mid xax^{-1}=a\right\}}$ ist eine Untergruppe von ${}G$.
2. Sei ${}K=[a]$ die Konjugationsklasse zu ${}a$. Dann ist

   ${}{\#\left(K\right)}=\operatorname {ind} _{G}G_{a}\,.$

3. Die Elementanzahl von ${}K=[a]$ ist ein Teiler von ${}\operatorname {ord} {\left(G\right)}$.

Beweis

(1). Es ist klar, dass das neutrale Element zu ${}G_{a}$ gehört. Es seien ${}x,y\in G_{a}$. Dann ist

${}xya(xy)^{-1}=xyay^{-1}x^{-1}=xax^{-1}=a\,,$

also ${}xy\in G_{a}$. Bei ${}x\in G_{a}$ ist ${}xax^{-1}=a$, was man direkt zu ${}a=x^{-1}ax$ auflösen kann, was wiederum ${}x^{-1}\in G_{a}$ bedeutet.
(2). Wir betrachten die Abbildung

$G\longrightarrow K,\,x\longmapsto xax^{-1}.$

Da ${}K$ genau aus allen zu ${}a$ konjugierten Elementen besteht, ist diese Abbildung surjektiv. Unter dieser Abbildung ist ${}G_{a}$ das Urbild von ${}a$. Es gilt ${}xax^{-1}=yay^{-1}$ genau dann, wenn ${}y^{-1}xax^{-1}y=a$ ist, also genau dann, wenn ${}y^{-1}x\in G_{a}$ ist. Das bedeutet, dass die Fasern der Abbildung gerade die Linksnebenklassen zur Untergruppe ${}G_{a}$ sind. Daher ist ${}{\#\left(K\right)}$ gleich dem Index von ${}G_{a}$ in ${}G$.
(3) folgt aus (2) und Satz 4.16.

$\Box$

Die Gruppe ${}G_{a}$ nennt man auch die Isotropiegruppe zu ${}a$.

Lemma Lemma 26.4 ändern

Es sei ${}p$ eine Primzahl und ${}G$ eine endliche Gruppe mit ${}p^{r}$, ${}r\geq 1$, Elementen.

Dann ist das Zentrum ${}Z$ von ${}G$ nicht trivial.

Beweis

Wir gehen von der Klassengleichung aus, also von

${}\operatorname {ord} {\left(G\right)}=\operatorname {ord} {\left(Z\right)}+\sum _{j\in J}n_{j}\,,$

wobei ${}n_{j}$ den Index der zu den mehrelementigen Konjugationsklassen ${}C_{j}$ gehörenden echten Untergruppen (im Sinne von Lemma 26.3) ${}G_{j}\subseteq G$ bezeichnet. Jedes ${}n_{j}$ ist nach Lemma 26.3  (3) ein Vielfaches von ${}p$. Daher ist auch ${}\operatorname {ord} {\left(Z\right)}$ ein Vielfaches von ${}p$. Somit ist ${}Z$ nicht trivial.

$\Box$

Galoistheoretische Charakterisierung von konstruierbaren Zahlen

Lemma Lemma 26.5 ändern

Es sei ${}K=L_{0}\subset L_{1}\subset \ldots \subset L_{r}=L$ eine Kette von quadratischen Körpererweiterungen in ${}{\mathbb {C} }$.

Dann gibt es eine endliche Galoiserweiterung ${}K\subseteq M$ in ${}{\mathbb {C} }$, die ${}L$ enthält, und die ebenfalls eine Kette von quadratischen Körpererweiterungen besitzt.

Beweis

Wir führen Induktion über ${}r$, wobei die Fälle ${}r=0,1$ klar sind. Es sei also eine Kette von quadratischen Körpererweiterungen

${}K=L_{0}\subset L_{1}\subset \ldots \subset L_{r}\subset L_{r+1}=L\,$

gegeben. Nach Induktionsvoraussetzung gibt es einen Körper ${}M$, ${}L_{r}\subseteq M\subseteq {\mathbb {C} }$, derart, dass ${}K\subseteq M$ eine Galoiserweiterung ist, die eine Kette von quadratischen Körpererweiterungen besitzt. Als Galoiserweiterung über ${}K$ ist ${}M$ nach Satz 16.6 der Zerfällungskörper eines (separablen) Polynoms ${}F\in K[X]$. Wir können ${}L_{r+1}=L_{r}(x)$ mit ${}x^{2}=a\in L_{r}$ schreiben. Wir betrachten das Polynom

${}H=\prod _{\varphi \in \operatorname {Gal} \,(M{|}K)}{\left(X^{2}-\varphi (a)\right)}\,.$

Die Koeffizienten dieses Polynoms sind invariant unter der Galoisgruppe ${}\operatorname {Gal} \,(M{|}K)$ und gehören daher wegen Satz 16.6 zu ${}K$. Es sei ${}M'$ der Zerfällungskörper von ${}H$ über ${}M$ in ${}{\mathbb {C} }$. Dieser ist insgesamt der Zerfällungskörper vom Produkt ${}FH$ über ${}K$, sodass ${}K\subseteq M'$ insbesondere eine Galoiserweiterung ist. Nach Konstruktion ist ${}x$ eine Nullstelle von ${}H$, woraus sich ${}L=L_{r}(x)\subseteq M'$ ergibt. Nach Induktionsvoraussetzung gibt es eine Kette von quadratischen Körpererweiterungen

${}K=M_{0}\subset M_{1}\subset \ldots \subset M_{s}=M\,.$

Diese erweitern wir sukzessive zu einer Kette

${}M=M_{s}\subset M_{s+1}\subset \ldots \subset M_{t}=M'\,$

von quadratischen Körpererweiterungen, wobei ${}M_{s+i+1}=M_{s+i}{\left({\sqrt {\varphi _{i}(a)}}\right)}$ sei und ${}\varphi _{i}$ die Automorphismen von ${}\operatorname {Gal} \,(M{|}K)$ durchlaufe.

$\Box$

Satz Satz 26.6 ändern

Es sei ${}K\subseteq {\mathbb {C} }$ ein Unterkörper und ${}z\in {\mathbb {C} }$. Dann sind folgende Aussagen äquivalent.

1. Die komplexe Zahl ${}z$ ist aus ${}K$ konstruierbar.
2. Es gibt in ${}{\mathbb {C} }$ eine Körperkette aus quadratischen Körpererweiterungen

   ${}K=L_{0}\subset L_{1}\subset \ldots \subset L_{r}=L\,$

   mit ${}z\in L$.

3. Das Element ${}z$ ist algebraisch über ${}K$, und der Grad des Zerfällungskörpers von ${}z$ über ${}K$ ist eine Zweierpotenz.
4. Das Element ${}z$ ist algebraisch über ${}K$, und die Ordnung der Galoisgruppe des Zerfällungskörpers von ${}z$ über ${}K$ ist eine Zweierpotenz.
5. Es gibt eine endliche Galoiserweiterung ${}K\subseteq M$ (in ${}{\mathbb {C} }$) mit ${}z\in M$, deren Grad eine Zweierpotenz ist.

Beweis

Die Äquivalenz von (1) und (2) ergibt sich wie in Satz 25.4.
Es sei (2) erfüllt. Nach Lemma 26.5 gibt es eine endliche Galoiserweiterung ${}K\subseteq M$, die ${}L$ und damit ${}z$ enthält und die eine Kette von quadratischen Körpererweiterungen besitzt. Nach Satz 2.8 ist dann der Grad von ${}K\subseteq M$ eine Zweierpotenz. Es sei ${}L'$ der Zerfällungskörper von ${}z$ über ${}K$. Da ${}M$ galoissch ist, gilt ${}L'\subseteq M$, und daher ist auch der Grad von ${}K\subseteq L'$ eine Zweierpotenz.
Die Implikationen von (3) nach (4) und von (4) nach (5) sind klar aufgrund von Satz 16.6.
(5) ${}\Longrightarrow$ (2). Es sei nun (5) erfüllt, und eine Galoiserweiterung ${}K\subseteq M$ in ${}{\mathbb {C} }$ mit ${}z\in M$ gegeben, deren Grad eine Zweierpotenz ${}2^{r}$ ist. Wir zeigen durch Induktion nach ${}r$, dass es eine Filtration der Körpererweiterung durch quadratische Körpererweiterungen gibt (also ohne direkten Bezug auf ein ${}z$.). Dabei ist der Fall ${}r=0$ trivial. Es sei also ${}\operatorname {grad} _{K}M=2^{r}$ (${}r\geq 1$) und die Existenz von Körperketten für kleinere Exponenten bereits bewiesen. Nach Satz 16.6 ist dann auch die Ordnung der Galoisgruppe ${}G=\operatorname {Gal} \,(M{|}K)$ gleich ${}2^{r}$. Aufgrund von Lemma 26.4 gibt es ein nichttriviales Zentrum ${}Z\subseteq G$, sodass es nach dem Hauptsatz für endliche abelsche Gruppen auch eine Untergruppe ${}H\subseteq Z$ mit zwei Elementen gibt. Als Untergruppe des Zentrums ist ${}H$ ein Normalteiler in ${}G$. Wir betrachten ${}L=\operatorname {Fix} \,(H)\subseteq M$. Nach Satz 16.6 ist ${}\operatorname {grad} _{L}M=2$ und nach Satz 17.5 ist ${}K\subseteq L$ eine Galoiserweiterung der Ordnung ${}2^{r-1}$ und besitzt nach Induktionsvoraussetzung eine Filtration aus quadratischen Körpererweiterungen. Diese Filtration wird durch ${}L\subset M$ zu einer solchen Gesamtfiltration ergänzt.

$\Box$

Bemerkung   Referenznummer erstellen

Wir betrachten die konstruierbare Zahl ${}u={\sqrt {1+{\sqrt {3}}}}$ und knüpfen dabei an Beispiel 14.9 an. Dort wurde gezeigt, dass ${}u$ das Minimalpolynom ${}X^{4}-2X^{2}-2$ besitzt, welches über ${}L=\mathbb {Q} [u]$ die Primfaktorzerlegung

${}{\begin{aligned}X^{4}-2X^{2}-2&=(X-u)(X+u){\left(X^{2}-1+{\sqrt {3}}\right)}\\\end{aligned}}$

besitzt. Insbesondere ist ${}L$ nicht normal, der Zerfällungskörper ist vielmehr ${}Z=L[{\sqrt {1-{\sqrt {3}}}}]$ und hat den Grad ${}8$ über ${}\mathbb {Q}$. Seine Galoisgruppe ist nicht abelsch, denn andernfalls wäre jeder Zwischenkörper nach Satz 17.5  (1) eine Galoiserweiterung von ${}\mathbb {Q}$, was aber für ${}L$ nicht zutrifft.

Abschließend bemerken wir, dass es algebraische Elemente ${}z\in {\mathbb {C} }$ gibt, deren Minimalpolynom zwar den Grad ${}4$ besitzt, wo der Grad des Zerfällungskörpers aber keine Zweierpotenz ist. Für ein hinreichend kompliziertes Polynom vom Grad ${}4$ ist nämlich die Galoisgruppe des Zerfällungskörpers gleich der symmetrischen Gruppe ${}S_{4}$ und daher ist der Grad des Zerfällungskörpers gleich ${}24$.