Reelle endliche Körpererweiterung/Ist quadratisch und gleich C/Fakt/Beweis2

Beweis

Das reelle normierte Polynom ${}P\in \mathbb {R} [X]$ zerfällt über den komplexen Zahlen ${}{\mathbb {C} }$ nach dem Fundamentalsatz der Algebra in Linearfaktoren, d.h. es ist

${}P=\prod _{j}(X-\lambda _{j})\,$

mit ${}\lambda _{j}=a_{j}+b_{j}i\in {\mathbb {C} }$. Da ${}P$ reelle Koeffizienten hat, stimmt es mit seinem komplex-konjugierten überein, d.h. es ist insgesamt

${}\prod _{j}(X-\lambda _{j})=P={\overline {P}}=\prod _{j}(X-{\overline {\lambda _{j}}})\,.$

Wegen der Eindeutigkeit der Primfaktorzerlegung gibt es zu jedem ${}j$ ein ${}k$ mit ${}{\overline {\lambda _{j}}}=\lambda _{k}$. D.h. entweder, dass ${}\lambda _{j}\in \mathbb {R}$ ist, und dann liegt ein reeller Linearfaktor vor, oder aber ${}j\neq k$ und dann ist

${}(X-\lambda _{j})(X-{\overline {\lambda _{j}}})=(X-a_{j}-b_{j}i))(X-a_{j}+b_{j}i)=X^{2}-2a_{j}X+a_{j}^{2}+b_{j}^{2}\,$

ein reelles Polynom. In der reellen Primfaktorzerlegung von ${}P$ kommen also nur lineare und quadratische Faktoren vor, und insbesondere haben im Reellen alle irreduziblen Polynome den Grad eins oder zwei.

Sei nun ${}\mathbb {R} \subseteq L$ eine endliche Körpererweiterung. Es sei ${}\mathbb {R} \subset L$ und ${}x\in L$, ${}x\not \in \mathbb {R}$. Dann ist ${}x$ algebraisch über ${}\mathbb {R}$ und nach Fakt ist ${}\mathbb {R} [x]\cong \mathbb {R} [X]/(P)$ mit einem irreduziblen Polynom ${}P$ (dem Minimalpolynom zu ${}x$). Das Polynom ${}P$ besitzt in ${}{\mathbb {C} }$ Nullstellen, sodass es einen ${}\mathbb {R}$-Algebrahomomorphismus ${}\mathbb {R} [X]/(P)\rightarrow {\mathbb {C} }$ gibt. Da beides reell-zweidimensionale Körper sind, muss eine Isomorphie vorliegen. Wir erhalten also eine endliche Körpererweiterung ${}{\mathbb {C} }\subseteq L$. Da ${}{\mathbb {C} }$ algebraisch abgeschlossen ist, muss nach Aufgabe ${}{\mathbb {C} }=L$ sein.

Zur bewiesenen Aussage