Kurs:Körper- und Galoistheorie (Osnabrück 2018-2019)/Vorlesung 1/latex
\setcounter{section}{1}
\zwischenueberschrift{Lösungen von polynomialen Gleichungen}
Es sei eine polynomiale Gleichung
\mavergleichskettedisp
{\vergleichskette
{ a_nx^n+a_{n-1}x^{n-1} + \cdots + a_2x^2+a_1x+a_0
}
{ =} { 0
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
gegeben, wobei die Koeffizienten
\mathl{a_0,a_1 , \ldots , a_n}{}
\definitionsverweis {reelle}{}{}
\zusatzklammer {oder
\definitionsverweis {komplexe}{}{}} {} {}
Zahlen seien und nach Elementen
\mathl{x \in {\mathbb C}}{} gesucht wird, die diese Gleichung erfüllen. Wie kann man solche Lösungen finden? Die Lösbarkeit hängt dabei natürlich wesentlich vom Grad der Gleichung ab, das ist der maximale Index $n$ mit
\mavergleichskette
{\vergleichskette
{a_n
}
{ \neq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Bei
\mavergleichskette
{\vergleichskette
{n
}
{ = }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
liegt eine lineare Gleichung
\mavergleichskette
{\vergleichskette
{ a_1x+a_0
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
vor mit der eindeutigen Lösung
\mavergleichskette
{\vergleichskette
{x
}
{ = }{ -{ \frac{ a_0 }{ a_1 } }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Dies kann man bilden, da nach Voraussetzung
\mavergleichskette
{\vergleichskette
{a_1
}
{ \neq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist und da die Koeffizienten aus ${\mathbb C}$ sind, also aus einem Körper, wo man uneingeschränkt durch von $0$ verschiedene Zahlen dividieren kann. Bei
\mavergleichskette
{\vergleichskette
{n
}
{ = }{2
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
liegt eine \stichwort {quadratische Gleichung} {} vor, also
\mavergleichskettedisp
{\vergleichskette
{ a_2x^2+a_1x+a_0
}
{ =} { 0
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
mit
\mavergleichskette
{\vergleichskette
{a_2
}
{ \neq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Hier führt man zunächst eine \stichwort {Normierung} {} durch, was man bei jedem Grad machen kann. Das bedeutet, dass man durch den Leitkoeffizienten $a_n$ dividiert, um diesen zu $1$ zu normieren. Dabei ändern sich die Lösungen der Gleichung offenbar nicht. Im quadratischen Fall gelangt man so zur äquivalenten Gleichung
\mavergleichskettedisp
{\vergleichskette
{ x^2 + b_1x+b_0
}
{ =} { 0
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Diese Gleichung führt man durch \stichwort {quadratisches Ergänzen} {} auf eine reine Gleichung zurück. Man macht den Ansatz
\mathl{y=x + { \frac{ b_1 }{ 2 } }}{} und schreibt dann die Gleichung als
\mavergleichskettedisp
{\vergleichskette
{ { \left( x+ { \frac{ b_1 }{ 2 } } \right) }^2 +b_0 - { \left( { \frac{ b_1 }{ 2 } } \right) }^2
}
{ =} { x^2+b_1x+b_0
}
{ =} { 0
}
{ } {
}
{ } {
}
}
{}{}{}
bzw. als
\mavergleichskettedisp
{\vergleichskette
{ y^2 +c_0
}
{ =} { 0
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
mit
\mavergleichskette
{\vergleichskette
{ c_0
}
{ = }{ b_0- { \left( { \frac{ b_1 }{ 2 } } \right) }^2
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Dieser Koeffizient $c_0$ gehört wieder zum Körper. Wenn $y_1$ eine Lösung dieser Gleichung ist, so ist
\mavergleichskette
{\vergleichskette
{x_1
}
{ = }{y_1 -{ \frac{ b_1 }{ 2 } }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
eine Lösung der quadratischen Ausgangsgleichung. Die neu gewonnene äquivalente Gleichung ist eine sogenannte \stichwort {reine Gleichung} {,} d.h. eine Gleichung der Form
\mavergleichskettedisp
{\vergleichskette
{y^n
}
{ =} {d
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Um eine solche reine Gleichung lösen zu können muss man \anfuehrung{die}{} $n$-te Wurzel aus $d$ ziehen können. Die Schwierigkeit dieser Aufgabe und die Anzahl der Lösungen hängt von der Arithmetik des Körpers ab und ist nicht trivial. Dennoch ist es eine wesentliche Reduktion, wenn man, wie im quadratischen Fall, die Lösung einer polynomialen Gleichung auf die Lösung einer
\zusatzklammer {oder mehrerer} {} {}
reinen Gleichungen zurückführen kann.
\zwischenueberschrift{Kubische Gleichungen}
Wir betrachten nun eine normierte kubische Gleichung
\mavergleichskettedisp
{\vergleichskette
{ x^3+a_2x^2+a_1x+a_0
}
{ =} { 0
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
wobei die Koeffizienten aus ${\mathbb C}$ seien. Mit einem Ergänzungstrick können wir den quadratischen Koeffizienten $a_2$ eliminieren. Wir machen den Ansatz
\mavergleichskette
{\vergleichskette
{y
}
{ = }{ x+ { \frac{ a_2 }{ 3 } }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und schreiben die Gleichung als
\mavergleichskettedisp
{\vergleichskette
{ { \left( x+ { \frac{ a_2 }{ 3 } } \right) }^3 + { \left( a_1 - 3 { \left( { \frac{ a_2 }{ 3 } } \right) }^2 \right) } { \left( x + { \frac{ a_2 }{ 3 } } \right) } - { \left( a_1 - 3{ \left( { \frac{ a_2 }{ 3 } } \right) }^2 \right) } { \frac{ a_2 }{ 3 } } - { \left( { \frac{ a_2 }{ 3 } } \right) }^3 + a_0
}
{ =} { 0
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
bzw. als
\mavergleichskette
{\vergleichskette
{ y^3 +py+q
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit den neuen Koeffizienten
\mathdisp {p= a_1 - 3 { \left( { \frac{ a_2 }{ 3 } } \right) }^2 \text{ und } q= - { \left( a_1 - 3 { \left( { \frac{ a_2 }{ 3 } } \right) }^2 \right) } { \frac{ a_2 }{ 3 } } - { \left( { \frac{ a_2 }{ 3 } } \right) }^3 + a_0} { . }
Lösungen dieser vereinfachten Gleichung führen direkt zu Lösungen der Ausgangsgleichung.
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Girolamo_Cardano.jpg} }
\end{center}
\bildtext {Gerolamo Cardano (1501-1576)} }
\bildlizenz { Girolamo Cardano.jpg } {unbekannt} {Yazhang} {Commons} {CC-by-sa 3.0} {}
Die vereinfachte Gleichung kann man über die folgende \stichwort {Formel von Cardano} {} lösen. Wir brauchen dafür ein Lemma über dritte Einheitswurzeln von ${\mathbb C}$, das sind komplexe Zahlen $\eta$ mit
\mavergleichskette
{\vergleichskette
{\eta^3
}
{ = }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
also die Lösungen der reinen kubischen Gleichung
\mavergleichskette
{\vergleichskette
{ x^3
}
{ = }{ 1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
{Dritte Einheitswurzeln/C/Elementare Eigenschaften/Fakt}
{Lemma}
{}
{
\faktsituation {}
\faktuebergang {Es gelten folgende Aussagen.}
\faktfolgerung {}
\faktzusatz {\aufzaehlungvier{Die dritten Einheitswurzeln in ${\mathbb C}$ sind
$1,\, \epsilon= - { \frac{ 1 }{ 2 } } + { \frac{ \sqrt{3} }{ 2 } } { \mathrm i}$ und $\eta = - { \frac{ 1 }{ 2 } } - { \frac{ \sqrt{3} }{ 2 } } { \mathrm i}$.
}{Es ist
\mavergleichskette
{\vergleichskette
{ \epsilon^2
}
{ = }{\eta
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{ \eta^2
}
{ = }{\epsilon
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}{Es ist
\mavergleichskette
{\vergleichskette
{ 1+\epsilon + \epsilon^2
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}{Es ist
\mavergleichskette
{\vergleichskette
{ \epsilon + \epsilon^2
}
{ = }{-1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}}
\faktzusatz {}
{ Siehe Aufgabe 1.2. }
\inputfaktbeweis
{Kubische reduzierte Gleichung/Formel von Cardano/Fakt}
{Satz}
{}
{
\faktsituation {Es sei
\mavergleichskettedisp
{\vergleichskette
{ x^3 +px+q
}
{ =} { 0
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
mit
\mathl{p,q \in {\mathbb C}}{} eine kubische Gleichung. Wir setzen
\mavergleichskette
{\vergleichskette
{D
}
{ = }{-4p^3 -27q^2
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Es seien
\mathdisp {u= \sqrt[3]{ { \frac{ 1 }{ 2 } } { \left( -q + { \frac{ 1 }{ 9 } } \sqrt{-3D} \right) } } \text{ und } v = \sqrt[3]{ { \frac{ 1 }{ 2 } } { \left( -q - { \frac{ 1 }{ 9 } } \sqrt{-3D} \right) } }} { , }
wobei diese dritten Wurzeln so gewählt seien, dass
\mavergleichskette
{\vergleichskette
{uv
}
{ = }{ - { \frac{ p }{ 3 } }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist.}
\faktfolgerung {Dann sind
\zusatzklammer {mit der dritten Einheitswurzel \mathlk{\epsilon = -{ \frac{ 1 }{ 2 } } + { \frac{ 1 }{ 2 } } \sqrt{3} { \mathrm i}}{}} {} {}
die Elemente
\mathlistdisp {u+v} {} {\epsilon u + \epsilon^2v} {und} {\epsilon^2 u + \epsilon v} {}
die Lösungen dieser kubischen Gleichung.}
\faktzusatz {}
\faktzusatz {}
}
{
Wir zeigen zuerst, dass die dritten Wurzeln
\mathkor {} {u} {und} {v} {}
so gewählt werden können, dass ihr Produkt gleich
\mathl{-{ \frac{ 1 }{ 3 } }p}{} ist. Für eine irgendwie gewählte Quadratwurzel
\mathl{\sqrt{-3D}}{} und irgendwie gewählte dritte Wurzeln
\mathkor {} {u} {und} {v} {}
ist
\mavergleichskettealign
{\vergleichskettealign
{uv
}
{ =} { \sqrt[3]{ { \frac{ 1 }{ 4 } } { \left( q^2 - { \frac{ 1 }{ 81 } } (-3D) \right) } }
}
{ =} { \sqrt[3]{ { \frac{ 1 }{ 4 } } { \left( q^2 + { \frac{ 1 }{ 27 } } { \left( -4p^3 -27q^2 \right) } \right) } }
}
{ =} { \sqrt[3]{ { \frac{ 1 }{ 4 } } \cdot { \frac{ -4 }{ 27 } } p^3 }
}
{ =} { \sqrt[3]{ - { \frac{ 1 }{ 27 } } p^3 }
}
}
{
\vergleichskettefortsetzungalign
{ =} { \eta { \left( - { \frac{ p }{ 3 } } \right) }
}
{ } {}
{ } {}
{ } {}
}
{}{,}
wobei $\eta$ eine dritte Einheitswurzel ist. Ersetzt man nun $v$ durch
\mathl{\eta^2 v}{,} so ist das Produkt gleich
\mathl{- { \frac{ p }{ 3 } }}{.}
Wir berechen nun
\mathdisp {(x-u-v)(x-\epsilon u - \epsilon^2v ) (x- \epsilon^2 u - \epsilon v)} { }
und müssen zeigen, dass dies gleich
\mathl{x^3+px+q}{} ist. Die angegebenen Elemente sind offenbar die Nullstellen dieses faktorisierten Polynoms. Es ist
\mavergleichskettealigndrucklinks
{\vergleichskettealigndrucklinks
{ (x-u-v)(x-\epsilon u - \epsilon^2v ) (x- \epsilon^2 u - \epsilon v)
}
{ =} { x^3 -(u+v + \epsilon u + \epsilon^2v + \epsilon^2 u + \epsilon v )x^2
}
{ \,\,\,\,} {+( (u+v)(\epsilon u + \epsilon^2v)+ (u+v)(\epsilon^2 u + \epsilon v) +(\epsilon u + \epsilon^2v)(\epsilon^2 u + \epsilon v))x
}
{ \,\,\,\,} {-(u+v) (\epsilon u + \epsilon^2v ) (\epsilon^2 u + \epsilon v)
}
{ } {
}
}
{}{}{.}
Der quadratische Koeffizient ist
\zusatzklammer {unter Verwendung von
Lemma 1.1} {} {}
\mavergleichskettedisp
{\vergleichskette
{u { \left( 1+ \epsilon + \epsilon^2 \right) } + v { \left( 1 + \epsilon + \epsilon^2 \right) }
}
{ =} { 0
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Der lineare Koeffizient ist
\mavergleichskettealigndrucklinks
{\vergleichskettealigndrucklinks
{ (u+v) { \left( \epsilon u + \epsilon^2v \right) } + (u+v) { \left( \epsilon^2 u + \epsilon v \right) } + { \left( \epsilon u + \epsilon^2 v \right) } { \left( \epsilon^2 u + \epsilon v \right) }
}
{ =} { u^2 { \left( \epsilon + \epsilon^2 +1 \right) } +v^2 { \left( \epsilon^2 + \epsilon +1 \right) } +uv { \left( \epsilon + \epsilon^2 + \epsilon^2 + \epsilon + \epsilon^2 + \epsilon^4 \right) }
}
{ =} { - { \frac{ p }{ 3 } } (-3)
}
{ =} {p
}
{ } {
}
}
{}{}{.}
Der konstante Koeffizient ist
\mavergleichskettealignhandlinks
{\vergleichskettealignhandlinks
{ -(u+v) { \left( \epsilon u + \epsilon^2v \right) } { \left( \epsilon^2 u + \epsilon v \right) }
}
{ =} {-u^3 -u^2v { \left( 1+ \epsilon +\epsilon^2 \right) } -uv^2 { \left( 1+ \epsilon +\epsilon^2 \right) } - v^3
}
{ =} {-u^3-v^3
}
{ =} {- { \frac{ 1 }{ 2 } } { \left( -q + { \frac{ 1 }{ 9 } } \sqrt{-3D} \right) } - { \frac{ 1 }{ 2 } } { \left( -q -{ \frac{ 1 }{ 9 } } \sqrt{-3D} \right) }
}
{ =} {q
}
}
{}
{}{.}
\inputbeispiel{}
{
Wir betrachten die kubische Gleichung
\mavergleichskettedisp
{\vergleichskette
{ x^3+2x-1
}
{ =} { 0
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und wenden darauf
Satz 1.2
an. Es ist demnach
$p=2,\, q=-1$ und $D=-59$ und somit
\mathkor {} {u= \sqrt[3]{ { \frac{ 1 }{ 2 } } { \left( 1 + { \frac{ 1 }{ 9 } } \sqrt{177} \right) } }} {und} {v= \sqrt[3]{ { \frac{ 1 }{ 2 } } { \left( 1 - { \frac{ 1 }{ 9 } } \sqrt{177} \right) } }} {.}
Dabei wählen wir jeweils die reellen dritten Wurzeln, was automatisch die reelle Bedingung
\mavergleichskette
{\vergleichskette
{uv
}
{ = }{- { \frac{ 2 }{ 3 } }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
sicherstellt. Somit ist
\mathl{u+v}{} eine reelle Lösung der Gleichung. Man sieht, dass diese Lösung aus Lösungen von rein-quadratischen und rein-kubischen Gleichungen mittels arithmetischer Ausdrücke zusammengesetzt ist, darüber hinaus aber keine einfache Gestalt besitzt. Den numerischen Wert dieser Lösung kann man beliebig genau durch beliebig genaue Berechnungen der Lösungen der reinen Gleichungen ausrechnen, doch könnte man genauso gut direkt
\zusatzklammer {mit dem Halbierungsverfahren oder Ähnlichem} {} {}
die Nullstelle numerisch berechnen.
}
Für den Fall eines Polynoms vom Grad $4$ gibt es ebenfalls eine Lösungsformel in dem Sinne, dass man die Nullstellen als einen verschachtelten Ausdruck von reinen Wurzeln ausdrücken kann. Eine Hauptmotivation zur Entwicklung der Körper- und Galoistheorie war die Fragestellung, ob es für Polynome vom Grad $\geq 5$ ebenfalls Formeln gibt, mit denen man die Nullstellen als arithmetische Ausdrücke in Lösungen zu reinen Gleichungen ausdrücken kann. Eines der Hauptergebnisse, das wir nach einigen Vorbereitungen beweisen werden, ist, dass es eine solche Formel nicht geben kann.
\zwischenueberschrift{Der Fundamentalsatz der Algebra}
Sei ein Polynom
\mathl{F \in K[X]}{,} wobei $K$ einen Körper bezeichnet, bzw. die zugehörige Nullstellengleichung
\mavergleichskettedisp
{\vergleichskette
{F(x)
}
{ =} {0
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
gegeben. In $K$ selbst muss $F$ keine Nullstellen besitzen. Ist es überhaupt klar, dass $F$ in irgendeinem Körper Nullstellen besitzt? Oben gehörten alle Koeffizienten von $F$ zum Körper ${\mathbb C}$ der komplexen Zahlen. Dies garantiert, dass es Lösungen zu der polynomialen Gleichung gibt. Diese Eigenschaft der komplexen Zahlen beruht auf dem Fundamentalsatz der Algebra, der in Analysis II bewiesen wurde und an den wir hier erinnern wollen.
{Fundamentalsatz der Algebra/Nichtkonstantes Polynom/Nullstelle/Fakt}
{Satz}
{}
{
\faktsituation {}
\faktvoraussetzung {Jedes nichtkonstante
\definitionsverweis {Polynom}{}{}
\mavergleichskette
{\vergleichskette
{P
}
{ \in }{{\mathbb C}[X]
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
über den
\definitionsverweis {komplexen Zahlen}{}{}}
\faktfolgerung {besitzt eine
\definitionsverweis {Nullstelle}{}{.}}
\faktzusatz {}
\faktzusatz {}
}
{Siehe den Beweis zu
Bis jetzt kennen wir noch keinen anderen Körper mit dieser Eigenschaft, dennoch halten wir hier schonmal folgende Definition fest.
\inputdefinition
{}
{
Ein
\definitionsverweis {Körper}{}{}
$K$ heißt \definitionswort {algebraisch abgeschlossen}{,} wenn jedes nichtkonstante
\definitionsverweis {Polynom}{}{}
\mavergleichskette
{\vergleichskette
{F
}
{ \in }{K[X]
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
eine Nullstelle in $K$ besitzt.
}
Mit diesem Begriff kann man den Fundamentalsatz der Algebra so ausdrücken, dass ${\mathbb C}$ algebraisch abgeschlossen ist.
Wenn man zu einem Polynom $F$ eine Nullstelle $\alpha$ gefunden hat, so kann man nach
Lemma 19.8 (Lineare Algebra (Osnabrück 2017-2018))
\mavergleichskette
{\vergleichskette
{ F
}
{ = }{ (X-\alpha) \tilde{F}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
schreiben. Zu jedem normierten Polynom
\mathl{F \in {\mathbb C}[X]}{} vom Grad $n$ gibt es daher eine Produktdarstellung
\mavergleichskettedisp
{\vergleichskette
{F
}
{ =} { (X- \alpha_1)(X-\alpha_2) \cdots (X- \alpha_n)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
mit eindeutig komplexen Zahlen
\mathl{\alpha_1 , \ldots , \alpha_n}{.} Diese zu finden ist aber schwierig, selbst wenn die Koeffizienten von $F$ harmlos sind
\zusatzklammer {z.B. bei \mathlk{F \in \Q[X]}{}} {} {,}
wie schon die Cardanosche Formel für den Grad $3$ deutlich macht. Diese \anfuehrung{Schwierigkeit}{,} bei höherem Grad Nullstellen explizit zu finden, ist ein wichtiges Thema dieser Vorlesung.
\zwischenueberschrift{Der algebraische Zugang}
Es ist gut zu wissen, dass es zu einem Polynom
\mathl{F \in {\mathbb C}[X]}{} Nullstellen in ${\mathbb C}$ gibt und dass es daher eine Zerlegung des Polynoms in Linearfaktoren gibt. Allerdings muss man, neben der prinzipiellen Schwierigkeit, diese Nullstellen zu finden, bedenken, dass die komplexen Zahlen ${\mathbb C}$ auf den reellen Zahlen $\R$ beruhen, die selbst wiederum mit topologischen Mitteln
\zusatzklammer {durch die Vervollständigung} {} {}
aus den rationalen Zahlen $\Q$ konstruiert wurden. Hinter den komplexen Zahlen steckt also ein enormer technischer Apparat, während ein einzelnes Polynom eine völlig andere \anfuehrung{Datenstruktur}{} aufweist. Ein Polynom
\mavergleichskette
{\vergleichskette
{F
}
{ = }{a_0 +a_1X + \cdots + a_nX^n
}
{ \in }{{\mathbb C}[X]
}
{ }{
}
{ }{
}
}
{}{}{}
ist durch seine endlich vielen Koeffizienten
\mathl{a_0, a_1 , \ldots , a_n \in {\mathbb C}}{} festgelegt, und seine Nullstellen sind $n$ Zahlen
\mathl{\alpha_1 , \ldots , \alpha_n}{}
\zusatzklammer {die nicht verschieden sein müssen} {} {.}
Um Beziehungen zwischen den Koeffizienten und den Nullstellen ausdrücken zu können, braucht man gar nicht die gesamten komplexen Zahlen. Es genügt, sich auf diejenigen arithmetischen Ausdrücke zu beschränken, die man ausgehend von den Koeffizienten und den Nullstellen konstruieren kann. Wenn z.B., wie das häufig der Fall sein wird, die Koeffizienten rationale Zahlen sind, so spielt sich alles innerhalb der polynomialen Ausdrücke über $\Q$ in den Nullstellen $\alpha_i$ ab, also Ausdrücken der Form
\mathdisp {\sum_{\nu =(\nu_1 , \ldots , \nu_n) } b_{ \nu } \alpha_1^{\nu_1} \cdots \alpha_n^{\nu_n}} { . }
Dabei sind die $b_{\nu}$ rationale Zahlen, und sämtliche Exponententupel
\mavergleichskette
{\vergleichskette
{\nu
}
{ = }{ (\nu_1 , \ldots , \nu_n)
}
{ \in }{ \N^n
}
{ }{
}
{ }{
}
}
{}{}{}
sind erlaubt, wobei die Summe aber endlich ist.
\inputbeispiel{}
{
Wir betrachten das Polynom
\mathl{X^2+1}{,} dessen Koeffizienten zu $\Q$ gehören und das in $\Q$
\zusatzklammer {und auch in $\R$} {} {}
keine Nullstelle besitzt. In den komplexen Zahlen besitzt es die beiden Nullstellen
\mathkor {} {{ \mathrm i}} {und} {- { \mathrm i}} {,}
sodass in
\mathl{{\mathbb C}[X]}{} die Faktorzerlegung
\mavergleichskettedisp
{\vergleichskette
{X^2+1
}
{ =} {(X- { \mathrm i} ) (X+ { \mathrm i} )
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
vorliegt. Um dies hinschreiben zu können, braucht man aber nicht die gesamten komplexen Zahlen, sondern lediglich das Element ${ \mathrm i}$. Wir betrachten die Menge
\mathdisp {\Q[ { \mathrm i} ] = \Q 1 + \Q { \mathrm i} = { \left\{ a+b { \mathrm i} \mid a,b \in \Q \right\} }} { , }
also einen zweidimensionalen $\Q$-Vektorraum mit den Basiselementen
\mathkor {} {1} {und} {{ \mathrm i}} {,}
wobei zusätzlich noch eine Multiplikation durch die Bedingung
\mathl{{ \mathrm i}^2=-1}{} festgelegt wird. Dies ist die gleiche Konstruktion, mit der man aus $\R$ die komplexen Zahlen gewinnt, nur dass man hier von den rationalen Zahlen ausgeht. Es lässt sich leicht zeigen, dass das konstruierte Objekt
\mathl{\Q[ { \mathrm i} ]}{} ein Körper ist. Für ein von $0$ verschiedenes Element
\mathl{a+b { \mathrm i}}{} ist
\mathdisp {{ \frac{ a }{ a^2+b^2 } } - { \frac{ b }{ a^2+b^2 } } { \mathrm i}} { }
das
\definitionsverweis {inverse Element}{}{,}
und dies gehört offenbar wieder zu
\mathl{\Q[ { \mathrm i} ]}{.} Die Zerlegung
\mavergleichskette
{\vergleichskette
{ X^2+1
}
{ = }{(X- { \mathrm i} )(X+ { \mathrm i} )
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gilt ebenfalls in
\mathl{\Q[ { \mathrm i} ][X]}{,} und durch die Zuordnung
\mathl{a+b { \mathrm i} \mapsto a-b { \mathrm i}}{} gibt es auch eine Konjugation, die völlig analoge Eigenschaften hat wie die
\definitionsverweis {komplexe Konjugation}{}{}
in ${\mathbb C}$.
}
\inputbeispiel{
}
{
Wir betrachten das Polynom
\mathl{X^2-3}{,} dessen Koeffizienten zu $\Q$ gehören. In den reellen Zahlen $\R$ besitzt dieses Polynom die Nullstelle\zusatzfussnote {Die Existenz der Nullstelle beruht auf dem Zwischenwertsatz,
wobei sich die Existenz von $\sqrt{3}$ auch direkt aus der
\definitionsverweis {Vollständigkeit}{}{}
von $\R$ ergibt} {.} {}
$\sqrt{3}$, die irrational ist. Über $\R$ hat man die Zerlegung
\mavergleichskette
{\vergleichskette
{ X^2-3
}
{ = }{(X - \sqrt{3})(X+ \sqrt{3})
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Um dies auszudrücken, braucht man aber nicht die gesamten reellen Zahlen, sondern lediglich $\sqrt{3}$, das man einfach als ein Symbol auffassen kann mit der Eigenschaft, dass sein Quadrat gleich $3$ sein soll. Eine \anfuehrung{Verortung}{} innerhalb der reellen Zahlen ist dazu nicht nötig. Präziser formuliert betrachtet man
\mavergleichskettedisp
{\vergleichskette
{L
}
{ =} { \Q 1 + \Q u
}
{ =} { { \left\{ a+b u \mid a,b \in \Q \right\} }
}
{ } {
}
{ } {
}
}
{}{}{,}
also einen zweidimensionalen $\Q$-Vektorraum mit den Basiselementen
\mathkor {} {1} {und} {u} {,}
wobei eine Multiplikation durch die Bedingung
\mavergleichskette
{\vergleichskette
{u^2
}
{ = }{3
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
\zusatzklammer {und distributive Fortsetzung} {} {}
festgelegt wird. Das Element $u$ ist hier lediglich ein Symbol, für das man häufig wegen der intendierten Eigenschaft auch $\sqrt{3}$ schreibt
\zusatzklammer {man schreibt auch
\mavergleichskettek
{\vergleichskettek
{ L
}
{ = }{ \Q[\sqrt{3}]
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}} {} {.}
In $L$ gilt die Zerlegung
\mavergleichskette
{\vergleichskette
{ X^2-3
}
{ = }{(X-u)(X+u)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
und wegen
\mavergleichskettedisp
{\vergleichskette
{ (a+bu) { \left( { \frac{ a }{ a^2 -3b^2 } } - { \frac{ b }{ a^2 -3b^2 } } u \right) }
}
{ =} { { \frac{ a^2 -3b^2 }{ a^2 -3b^2 } }
}
{ =} { 1
}
{ } {
}
{ } {
}
}
{}{}{}
handelt es sich um einen Körper. Dazu muss man sich klar machen, dass bei
\mavergleichskette
{\vergleichskette
{ a+bu
}
{ \neq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit rationalen Zahlen
\mavergleichskette
{\vergleichskette
{ a,b
}
{ \in }{\Q
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
die nicht beide $0$ sind, auch
\mavergleichskette
{\vergleichskette
{a^2 -3b^2
}
{ \neq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist, was äquivalent zur Irrationalität von $\sqrt{3}$ ist. Es sind also wesentliche Eigenschaften des Polynoms
\mathl{X^2-3}{,} die über $\R$ sichtbar werden, bereits über $L$ sichtbar. Es gibt aber auch Unterschiede, beispielsweise sind bei dieser algebraischen Konstruktion von $L$ die beiden Elemente
\mathkor {} {u} {und} {-u} {}
vollkommen gleichberechtigt, während innerhalb der reellen Zahlen die eine Quadratwurzel positiv und die andere negativ ist. Diese Gleichberechtigung zeigt sich auch darin, dass durch
\maabbeledisp {} {L} {L
} {a+bu} {a-bu
} {,}
eine \anfuehrung{Konjugation}{} definiert wird, die es innerhalb der reellen Zahlen nicht gibt.
}