Zerfällungskörper/Existenz/Einführung/Textabschnitt

Wir wollen zu einem Polynom ${}F\in K[X]$ einen Körper konstruieren, über dem ${}F$ in Linearfaktoren zerfällt. Dies beruht auf einer recht einfachen Konstruktion. Zu jedem Körper kann man sogar einen Körper ${}K\subseteq {\overline {K}}$ konstruieren, der algebraisch abgeschlossen ist, was wir aber nicht ausführen werden. Eine erste Anwendung ist die Konstruktion und die Charakterisierung von endlichen Körpern.

Lemma

Es sei ${}K$ ein Körper und ${}F$ ein Polynom aus ${}K[X]$.

Dann gibt es einen Erweiterungskörper ${}K\subseteq L$ derart, dass ${}F$ über ${}L$ in Linearfaktoren zerfällt.

Beweis

Es sei ${}F=P_{1}\cdots P_{r}$ die Zerlegung in Primpolynome in ${}K[X]$, und sei ${}P_{1}$ nicht linear. Dann ist

$K\longrightarrow K[Y]/(P_{1}(Y))=:K'$

eine Körpererweiterung von ${}K$ nach Fakt. Wegen ${}P_{1}(Y)=0$ in ${}K'$ ist die Restklasse ${}y$ von ${}Y$ in ${}K'$ eine Nullstelle von ${}P_{1}$. Daher gilt nach Fakt in ${}K'[X]$ die Faktorisierung ${}P_{1}=(X-y){\tilde {P}}$, wobei ${}{\tilde {P}}$ einen kleineren Grad als ${}P_{1}$ hat. Das Polynom ${}F$ hat also über ${}K'$ mindestens einen Linearfaktor mehr als über ${}K$. Induktive Anwendung von dieser Konstruktion liefert eine Kette von Erweiterungen ${}K\subset K'\subset K^{\prime \prime }\subset \ldots$, die stationär wird, sobald ${}F$ in Linearfaktoren zerfällt.

$\Box$

Wenn ${}F$ quadratisch ist, so ist man nach einer einzigen Körpererweiterung fertig, da aus der Existenz einer Nullstelle direkt folgt, dass das Polynom in Linearfaktoren zerfällt. Aber schon ab Grad ${}3$ ist es eher eine Ausnahme, dass über ${}K[X]/(F)$ das Polynom bereits in Linearfaktoren zerfällt, und dann muss man wie im Lemma beschrieben induktiv weitermachen.

Definition

Es sei ${}K$ ein Körper, ${}F\in K[X]$ ein Polynom und ${}K\subseteq L$ eine Körpererweiterung, über der ${}F$ in Linearfaktoren zerfällt. Es seien ${}a_{1},\ldots ,a_{n}\in L$ die Nullstellen von ${}F$. Dann nennt man

${}K[a_{1},\ldots ,a_{n}]\subseteq L\,$

einen Zerfällungskörper von ${}F$.

Es handelt sich hierbei wirklich um einen Körper, wie wir gleich sehen werden. Häufig beschränkt man sich auf Polynome vom Grad ${}\geq 1$, bei konstanten Polynomen sehen wir einfach ${}K$ selbst als Zerfällungskörper an. Über dem Zerfällungskörper zerfällt das gegebene Polynom in Linearfaktoren, da er ja nach Definition alle Nullstellen enthält, mit denen alle beteiligten Linearfaktoren formuliert werden können.

Lemma

Es sei ${}K$ ein Körper, ${}F\in K[X]$ ein Polynom und ${}L=Z(F)$ der Zerfällungskörper von ${}F$. Es sei ${}K\subseteq K'\subseteq L$ ein Zwischenkörper.

Dann ist ${}L$ auch ein Zerfällungskörper des Polynoms ${}F\in K'[X]$.

Beweis

Das ist trivial.

$\Box$

Lemma

Es sei ${}K$ ein Körper, ${}F\in K[X]$ ein Polynom und ${}L=Z(F)$ der Zerfällungskörper von ${}F$.

Dann ist ${}K\subseteq L$ eine endliche Körpererweiterung.

Beweis

Es sei ${}K\subseteq M$ eine Körpererweiterung, über der ${}F$ in Linearformen zerfällt und ${}L=K[a_{1},\ldots ,a_{n}]\subseteq M$, wobei ${}a_{i}\in M$ die Nullstellen von ${}F$ seien. Es liegt eine Kette von ${}K$-Algebren

${}K\subseteq K[a_{1}]\subseteq K[a_{1},a_{2}]\subseteq \cdots \subseteq K[a_{1},\ldots ,a_{n}]=L\subseteq M\,$

vor. Dabei ist sukzessive ${}a_{i}$ algebraisch über ${}K[a_{1},\ldots ,a_{i-1}]$, da ja ${}a_{i}$ eine Nullstelle von ${}F\in K[X]$ ist. Daher sind die Inklusionen nach Fakt endliche Körpererweiterungen und nach Fakt ist dann die Gesamtkörpererweiterung ebenfalls endlich.

$\Box$

Satz

Es sei ${}K$ ein Körper und sei ${}F\in K[X]$ ein Polynom. Es seien ${}K\subseteq L_{1}$ und ${}K\subseteq L_{2}$ zwei Zerfällungskörper von ${}F$.

Dann gibt es einen ${}K$-Algebraisomorphismus

$\varphi \colon L_{1}\longrightarrow L_{2}.$

Insbesondere gibt es bis auf Isomorphie nur einen Zerfällungskörper zu einem Polynom.

Beweis

Wir beweisen die Aussage durch Induktion über den Grad ${}\operatorname {grad} _{K}L_{1}$. Wenn der Grad eins ist, so ist ${}K=L_{1}$ und das Polynom ${}F$ zerfällt bereits über ${}K$ in Linearfaktoren. Dann gehören alle Nullstellen von ${}F$ in einem beliebigen Erweiterungskörper ${}K\subseteq M$ zu ${}K$ selbst. Also ist auch ${}L_{2}=K$. Es sei nun ${}\operatorname {grad} _{K}L_{1}\geq 2$ und die Aussage sei für kleinere Grade bewiesen. Dann zerfällt ${}F$ über ${}K$ nicht in Linearfaktoren. Daher gibt es einen irreduziblen Faktor ${}P$ von ${}F$ mit ${}\operatorname {grad} \,(P)\geq 2$ und ${}K'=K[X]/(P)$ ist nach Fakt und nach Fakt eine Körpererweiterung von ${}K$ vom Grad ${}\geq 2$. Da ${}P$ als Faktor von ${}F$ ebenfalls über ${}L_{1}$ und über ${}L_{2}$ in Linearfaktoren zerfällt, gibt es ${}K$-Algebrahomomorphismen ${}K'\rightarrow L_{1}$ und ${}K'\rightarrow L_{2}$. Diese sind injektiv, sodass ${}K'$ sowohl von ${}L_{1}$ als auch von ${}L_{2}$ ein Unterkörper ist. Nach Fakt sind dann ${}L_{1}$ und ${}L_{2}$ Zerfällungskörper von ${}F\in K'[X]$. Nach Fakt ist

${}\operatorname {grad} _{K'}L_{1}<\operatorname {grad} _{K}L_{1}\,,$

sodass wir auf ${}K',L_{1},L_{2}$ die Induktionsvoraussetzung anwenden können. Es gibt also einen ${}K'$-Algebraisomorphismus

$\varphi \colon L_{1}\longrightarrow L_{2}.$

Dieser ist erst recht ein ${}K$-Algebraisomorphismus.

$\Box$