Zerfällungskörper

Ein Zerfällungskörper ist in der Algebra, genauer in der Körpertheorie, ein möglichst kleiner Körper, in dem ein gegebenes Polynom in Linearfaktoren zerfällt. Ein Zerfällungskörper eines nichtkonstanten Polynoms existiert stets und ist bis auf Isomorphie eindeutig bestimmt. Der Zerfällungskörper ist eine normale Körpererweiterung des Koeffizientenkörpers eines Polynoms und, falls das Polynom separabel ist, sogar eine Galoiserweiterung. Ihre Galoisgruppe wird dann die Galoisgruppe des Polynoms genannt. Diese Begriffe lassen sich auf beliebige Familien von Polynomen verallgemeinern.

Definition

Es sei ein Körper und $f\in K[X]$ ein nichtkonstantes Polynom mit Koeffizienten aus . Ein Körper $L\supseteq K$ heißt Zerfällungskörper von (über ), wenn gilt:

Das Polynom zerfällt über in Linearfaktoren, das heißt lässt sich darstellen als

$f=c\cdot (X-\alpha _{1})\cdot \ldots \cdot (X-\alpha _{n})$ mit $c\in K$ , $\alpha _{1},\dotsc ,\alpha _{n}\in L$ , und

$L=K(\alpha _{1},\dotsc ,\alpha _{n})$ , das heißt wird durch Adjunktion der Nullstellen $\alpha _{1},\dotsc ,\alpha _{n}$ erzeugt.

Ist allgemeiner $F=(f_{i})_{{i\in I}}$ eine Familie von nichtkonstanten Polynomen aus K[X] , dann heißt ein Körper $L\supseteq K$ Zerfällungskörper von , wenn alle $f_{i}$ über in Linearfaktoren zerfallen und die Körpererweiterung L / K von den Nullstellen der $f_{i}$ erzeugt wird.

Existenz und Eindeutigkeit

Ist beispielsweise $f\in \mathbb{Q} [X]$ ein Polynom mit rationalen Koeffizienten, dann ist die Existenz eines Zerfällungskörpers von einfach zu zeigen: Nach dem Fundamentalsatz der Algebra zerfällt das Polynom im Körper $\mathbb {C}$ der komplexen Zahlen in Linearfaktoren. Durch Adjunktion aller komplexen Nullstellen $\alpha _{1},\dotsc ,\alpha _{n}$ von erhält man $\mathbb{Q} (\alpha _{1},\dotsc ,\alpha _{n})$ als einen Zerfällungskörper von über $\mathbb {Q}$ . Dieses Vorgehen lässt sich verallgemeinern: Mit Hilfe des Lemmas von Zorn kann gezeigt werden, dass es zu jedem beliebigen Körper einen Erweiterungskörper gibt, der algebraisch abgeschlossen ist, zum Beispiel den algebraischen Abschluss $\overline{K}$ von . Ist eine beliebige Familie von Polynomen in K[X] , dann zerfällt jedes $f\in F$ über in Linearfaktoren. Der Durchschnitt aller Teilkörper von , die enthalten und in denen alle $f\in F$ in Linearfaktoren zerfallen, ist dann der kleinste Erweiterungskörper von , der alle Nullstellen der Polynome $f\in F$ enthält, also ein Zerfällungskörper der Familie .

Der Zerfällungskörper einer Familie $F\subseteq K[X]$ ist bis auf -Isomorphie eindeutig bestimmt. Das bedeutet: Sind und zwei Zerfällungskörper von über , dann gibt es einen Körperisomorphismus $\varphi \colon L\to L'$ mit $\varphi (x)=x$ für alle $x \in K$ .

Konstruktion

Die Existenz eines Zerfällungskörpers eines Polynoms lässt sich auch ohne das Lemma von Zorn durch eine direkte Konstruktion zeigen. Wesentlich ist dabei die Aussage, dass für jedes nichtkonstante Polynom $f\in K[X]$ ein Körper existiert, in dem eine Nullstelle hat. Nach einer Idee von Leopold Kronecker (Satz von Kronecker) kann ein solcher Körper auf folgende Weise konstruiert werden: Es sei ein irreduzibler Faktor von . Dann ist das von erzeugte Hauptideal (g)=gK[X] ein maximales Ideal in K[X] und folglich ist der Faktorring K[X]/(g) ein Körper. Für das Element

$\overline {X}=X+(g)\in K[X]/(g)$

gilt

$g(\overline {X})=g(X)+(g)=0+(g)=\overline {0}$ ,

das heißt $\overline {X}$ ist eine Nullstelle von und damit auch von .

Die Existenz eines Zerfällungskörpers von $f\in K[X]$ lässt sich nun leicht mit vollständiger Induktion nach dem Grad von zeigen:

Für den Induktionsanfang ist selbst ein Zerfällungskörper von .
Für $n\geq 2$ gibt es nach dem oben Gezeigten einen Erweiterungskörper von , in dem eine Nullstelle $\alpha$ hat. In lässt sich zerlegen als $f=(X-\alpha )\cdot h$ mit einem Polynom $h\in K'[X]$ vom Grad . Nach Induktionsvoraussetzung hat die Nullstellen $\alpha_1, \dotsc, \alpha_{n-1}$ in einem Zerfällungskörper. Damit ist $K(\alpha, \alpha_1, \dotsc, \alpha_{n-1})$ ein Zerfällungskörper von .

Eigenschaften

Der Zerfällungskörper einer Familie $F\subseteq K[X]$ ist im folgenden Sinne minimal: Ist ein Körper mit $K\subseteq Z\subseteq L$ , so dass jedes Polynom $f\in F$ über in Linearfaktoren zerfällt, dann gilt .

Der Zerfällungskörper einer endlichen Menge $\{f_{1},\dotsc ,f_{k}\}$ von Polynomen in ist gleich dem Zerfällungskörper des Produktpolynoms $f=f_{1}\cdot \ldots \cdot f_{k}$ .

Der Erweiterungsgrad des Zerfällungskörpers eines Polynoms $f\in K[X]$ vom Grad ist ein Teiler von , insbesondere gilt $[L:K]\leq n!$ . Wenn über irreduzibel ist, dann gilt $[L:K]\geq n$ .

Ist Zerfällungskörper einer Familie $F\subseteq K[X]$ , dann ist die Körpererweiterung algebraisch und normal. Sind alle $f\in F$ separabel, dann ist eine separable Erweiterung, also sogar eine Galoiserweiterung.

Beispiele

Zerfällt ein Polynom $f\in K[X]$ bereits über in Linearfaktoren, dann ist trivialerweise der Zerfällungskörper von . Deshalb haben zum Beispiel die Polynome , $X^{2}-4=(X-2)(X+2)$ oder $(X+1)^{5}$ aus $\mathbb {Q} [X]$ alle $\mathbb {Q}$ selbst als Zerfällungskörper.

Das Polynom $f=X^{2}-2\in \mathbb{Q} [X]$ zerfällt in $\mathbb {R}$ in Linearfaktoren: $f=(X-{\sqrt {2}})(X+{\sqrt {2}})$ . Der Zerfällungskörper von ist also $\mathbb{Q} ({\sqrt {2}},-{\sqrt {2}})=\mathbb{Q} ({\sqrt {2}})$ .

Analog ist der Zerfällungskörper von $g=X^{2}+1\in \mathbb{Q} [X]$ mit den komplexen Nullstellen $\mathrm {i}$ und $\mathrm {-i}$ der Körper $\mathbb{Q} ({\mathrm i})$ .

Der Zerfällungskörper von $(X^{2}-2)(X^{2}+1)\in \mathbb{Q} [X]$ ist demnach $\mathbb{Q} ({\sqrt {2}},{\mathrm {i}})$ .

Das Polynom aufgefasst als Polynom mit reellen Koeffizienten, also als Element von $\R[X]$ , hat $\mathbb {R} (\mathrm {i} )=\mathbb {C}$ als Zerfällungskörper. Das zeigt, dass die Angabe des Koeffizientenkörpers eines Polynoms für die Bestimmung seines Zerfällungskörpers wesentlich ist.

Das Polynom $h=X^{3}-2\in \mathbb{Q} [X]$ hat im Körper $\mathbb{Q} ({\sqrt[ {3}]{2}})$ eine Nullstelle, aber dieser Körper ist nicht der Zerfällungskörper von , denn die beiden anderen Nullstellen ${\sqrt[ {3}]{2}}e^{{2\pi {\mathrm {i}}/3}}$ und ${\sqrt[ {3}]{2}}e^{{4\pi {\mathrm {i}}/3}}$ in $\mathbb {C}$ sind nichtreell, können also nicht im reellen Teilkörper $\mathbb{Q} ({\sqrt[ {3}]{2}})\subseteq \mathbb{R}$ liegen. Der Zerfällungskörper von ist $\mathbb{Q} ({\sqrt[ {3}]{2}},e^{{2\pi {\mathrm {i}}/3}})$ .

Anwendungen

In der Galoistheorie werden die Nullstellen eines Polynoms $f\in K[X]$ mit Hilfe seines Zerfällungskörpers untersucht. Dazu wird der Körpererweiterung L/K eine Gruppe $\operatorname{Gal}(L/K)$ , die Galoisgruppe, zugeordnet. Die Gruppe heißt die Galoisgruppe des Polynoms . Nach dem Hauptsatz der Galoistheorie entsprechen die Untergruppen von $\operatorname{Gal}(L/K)$ eindeutig den Zwischenkörpern mit $K\subseteq Z\subseteq L$ . Auf diese Weise lassen sich zahlreiche klassische Probleme der Algebra lösen, etwa die Frage, welche Zahlen sich mit Zirkel und Lineal konstruieren lassen oder welche Polynomgleichungen sich durch Radikale auflösen lassen (siehe z.B. Satz von Abel-Ruffini).

Die Kreisteilungskörper sind spezielle Zerfällungskörper: Die komplexen Lösungen der Gleichung $z^{n}=1$ mit $n\in \mathbb {N}$ sind die -ten Einheitswurzeln $\zeta _{{n,k}}=e^{{2\pi {\mathrm {i}}k/n}}$ für $k=0,\dotsc ,n-1$ . Der -te Kreisteilungskörper $\mathbb{Q} (e^{{2\pi {\mathrm {i}}/n}})$ ist also wegen $\zeta _{{k,n}}=(\zeta _{{n,1}})^{k}$ der Zerfällungskörper des Polynoms $X^{n}-1\in \mathbb{Q} [X]$ .

Auch die endlichen Körper lassen sich als Zerfällungskörper darstellen: Ist $p \in \N$ eine Primzahl, dann ist der Restklassenring $\mathbb {Z} /p\mathbb {Z}$ ein Körper und wird mit $\mathbb{F}_p$ bezeichnet. Für eine natürliche Zahl hat das Polynom $f=X^{{p^{n}}}-X\in {\mathbb {F}}_{p}[X]$ in einem algebraischen Abschluss genau $p^{n}$ verschiedene Nullstellen. Der Zerfällungskörper von ist dann ein Körper ${\mathbb {F}}_{{p^{n}}}$ mit $p^{n}$ Elementen. Man kann zeigen, dass sich auf diese Weise alle endlichen Körper erzeugen lassen.

Basierend auf einem Artikel in:

Wikipedia.de