Kurs:Elemente der Algebra (Osnabrück 2015)/Vorlesung 22/latex

Aus Wikiversity

\setcounter{section}{22}

In den verbleibenden Vorlesungen werden wir uns mit Körpererweiterungen
\mathl{K \subseteq L}{} beschäftigen. Wir betrachten beispielsweise in $\R$ den von $\Q$ und
\mathl{\sqrt{7}}{} erzeugten Unterring
\mavergleichskettedisp
{\vergleichskette
{L }
{ =} {\Q[\sqrt{7}] }
{ } { }
{ } { }
{ } { }
} {}{}{.} Er besteht aus allen reellen Zahlen der Form
\mathdisp {a+b \sqrt{7}} { }
mit
\mathl{a,b \in \Q}{.} Dabei kann man direkt nachprüfen, dass die Summe und das Produkt von zwei solchen Ausdrücken wieder von dieser Form ist, und somit liegt ein Unterring vor. Es handelt sich aber sogar um einen Körper. Es ist nämlich
\mavergleichskettedisp
{\vergleichskette
{ { \left( a+b \sqrt{7} \right) } { \left( a - b \sqrt{7} \right) } }
{ =} {a^2 - 7 b^2 }
{ } { }
{ } { }
{ } { }
} {}{}{} und somit ist für
\mavergleichskette
{\vergleichskette
{a+b \sqrt{7} }
{ \neq }{0 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{}
\mavergleichskettedisp
{\vergleichskette
{ { \left( a+b \sqrt{7} \right) } { \left( { \frac{ a }{ a^2-7b^2 } } - { \frac{ b \sqrt{7} }{ a^2-7b^2 } } \right) } }
{ =} {1 }
{ } { }
{ } { }
{ } { }
} {}{}{,} also ist jedes von $0$ verschiedene Element eine Einheit. Da $\sqrt{7}$ irrational ist, ist
\mathl{a^2-7b^2 \neq 0}{.} Es liegt also eine Körpererweiterung
\mavergleichskettedisp
{\vergleichskette
{\Q }
{ \subseteq} {\Q[\sqrt{7}] }
{ } { }
{ } { }
{ } { }
} {}{}{} vor. Den Körper
\mathl{\Q[\sqrt{7}]}{} kann man auch einfach als Restklassenkörper von
\mathl{\Q[X]}{} beschreiben. Der Einsetzungshomomorphismus \maabbeledisp {} {\Q[X]} {\R } {X} { \sqrt{7} } {,} liefert eine surjektiven Ringhomomorphismus auf das Bild, also \maabbeledisp {} {\Q[X]} { \Q[\sqrt{7}] } {X} { \sqrt{7} } {.} Unter dieser Abbildung geht
\mathl{X^2-7}{} auf $0$, und in der Tat ist der Kern gleich dem Hauptideal
\mathl{(X^2-7)}{.} Nach dem Isomorphiesatz gilt daher
\mavergleichskettedisp
{\vergleichskette
{\Q[X]/(X^2-7) }
{ \cong} { \Q[\sqrt{7}] }
{ } { }
{ } { }
{ } { }
} {}{}{.}






\zwischenueberschrift{Rechnen in $K[X]/(P)$ }

Körper werden häufig ausgehend von einem schon bekannten Körper als Restklassenkörper des Polynomrings konstruiert. Die Arithmetik in einem solchen Erweiterungskörper wird in der folgenden Aussage beschrieben.





\inputfaktbeweis
{Restklassenring von KX/Wichtigste Eigenschaften/Fakt}
{Proposition}
{}
{

\faktsituation {Es sei $K$ ein \definitionsverweis {Körper}{}{} und sei
\mathl{K[X]}{} der \definitionsverweis {Polynomring}{}{} über $K$. Es sei
\mavergleichskette
{\vergleichskette
{P }
{ = }{ \sum_{ i = 0 }^{ n } a_{ i } X^{ i} }
{ \in }{ K[X] }
{ }{ }
{ }{ }
} {}{}{} ein Polynom vom \definitionsverweis {Grad}{}{} $n$ und
\mavergleichskette
{\vergleichskette
{R }
{ = }{ K[X]/(P) }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} der zugehörige \definitionsverweis {Restklassenring}{}{.}}
\faktuebergang {Dann gelten folgende Rechenregeln \zusatzklammer {wir bezeichnen die Restklasse von $X$ in $R$ mit $x$} {} {.}}
\faktfolgerung {\aufzaehlungsechs{Man kann stets $P$ als normiert annehmen \zusatzklammer {also \mathlk{a_n=1}{;} das werden wir im Folgenden tun} {} {.} }{In $R$ ist
\mavergleichskette
{\vergleichskette
{ x^n }
{ = }{- \sum_{i = 0}^{n-1} a_ix^{i} }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.} }{Höhere Potenzen
\mathbed {x^k} {}
{k\geq n} {}
{} {} {} {,} kann man mit den Potenzen
\mathbed {x^{i}} {}
{i \leq n-1} {}
{} {} {} {,} ausdrücken, indem man mittels Vielfachen von (2) sukzessive den Grad um eins reduziert. }{Die Potenzen $x^0=1,\, x^1$ $, \ldots , x^{n-1}$ bilden eine $K$-Basis von $R$. }{$R$ ist ein $K$-Vektorraum der Dimension $n$. }{In $R$ werden zwei Elemente \mathkor {} {P= \sum_{ i = 0 }^{ n-1 } b_{ i } x^{ i}} {und} {Q= \sum_{ i = 0 }^{ n-1 } c_{ i } x^{ i}} {} komponentenweise addiert, und multipliziert, indem sie als Polynome multipliziert werden und dann die Restklasse berechnet wird. }}
\faktzusatz {}
\faktzusatz {}

}
{

\aufzaehlungsechs{Es ist
\mavergleichskette
{\vergleichskette
{(P) }
{ = }{ { \left( { \frac{ P }{ a_n } } \right) } }
{ }{ }
{ }{ }
{ }{ }
} {}{}{,} da es bei einem Hauptideal nicht auf eine Einheit ankommt. }{Dies folgt direkt durch Umstellung der definierenden Gleichung
\mavergleichskette
{\vergleichskette
{P }
{ = }{ 0 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.} }{Dies folgt durch Multiplikation der Gleichung in (2) mit Potenzen von $x$. }{Dass die Potenzen
\mathbed {x^{i}} {}
{i=0 , \ldots , n-1} {}
{} {} {} {,} ein Erzeugendensystem bildet, folgt aus Teil (2) und (3). Zum Beweis der linearen Unabhängigkeit sei  angenommen, es gebe eine lineare Abhängigkeit, sagen wir
\mavergleichskette
{\vergleichskette
{ \sum_{ i = 0 }^{ n-1 } c_{ i } x^{ i} }
{ = }{ 0 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.} D.h., dass das Polynom
\mavergleichskette
{\vergleichskette
{Q }
{ = }{ \sum_{ i = 0 }^{ n-1 } c_{ i } X^{ i } }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} unter der Restklassenabbildung auf $0$ geht, also zum Kern gehört. Dann muss es aber ein Vielfaches von $P$ sein, was aber aus Gradgründen erzwingt, dass $Q$ das Nullpolynom sein muss. Also sind alle
\mavergleichskette
{\vergleichskette
{c_i }
{ = }{ 0 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.} }{Dies folgt direkt aus (4). }{Dies ist klar. }

}





\inputbeispiel{ }
{

Wir betrachten den \definitionsverweis {Restklassenring}{}{}
\mavergleichskettedisp
{\vergleichskette
{L }
{ =} {\Q[X]/(X^3+2X^2-5) }
{ } { }
{ } { }
{ } { }
} {}{}{} und bezeichnen die Restklasse von $X$ mit $x$. Aufgrund von Proposition 22.1 besitzt jedes Element $f$ aus $L$ eine eindeutige Darstellung
\mavergleichskette
{\vergleichskette
{f }
{ = }{ax^2 + bx +c }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} mit
\mathl{a,b,c \in \Q}{,} so dass also ein dreidimensionaler $\Q$-Vektorraum vorliegt. Da
\mathl{X^3+2X^2-5}{} in $L$ zu $0$ gemacht wird, gilt
\mavergleichskettedisp
{\vergleichskette
{ x^3 }
{ =} {-2x^2+5 }
{ } { }
{ } { }
{ } { }
} {}{}{.} Daraus ergeben sich die Gleichungen
\mavergleichskettedisp
{\vergleichskette
{x^4 }
{ =} {-2x^3+5x }
{ =} {-2(-2x^2+5) +5x }
{ =} {4x^2+5x-10 }
{ } {}
} {}{}{,}


\mavergleichskettedisp
{\vergleichskette
{x^5 }
{ =} {-2x^4+5x^2 }
{ =} {-2(4x^2+5x-10) + 5 x^2 }
{ =} {-3x^2 -10x +20 }
{ } {}
} {}{}{,} etc. Man kann hierbei auf verschiedene Arten zu dem eindeutig bestimmten kanonischen Repräsentanten reduzieren.

Berechnen wir nun das Produkt
\mathdisp {(3x^2-2x+4)(2x^2+x-1)} { . }
Dabei wird distributiv ausmultipliziert und anschließend werden die Potenzen reduziert. Es ist
\mavergleichskettealignhandlinks
{\vergleichskettealignhandlinks
{ (3x^2-2x+4)(2x^2+x-1) }
{ =} { 6x^4+3x^3-3x^2 -4x^3-2x^2+2x +8x^2+4x-4 }
{ =} { 6x^4 -x^3 +3x^2+6x-4 }
{ =} { 6(4x^2+5x-10) +2x^2-5+3x^2+6x-4 }
{ =} { 29x^2 +36x-69 }
} {} {}{.}


}






\zwischenueberschrift{Endliche Körpererweiterungen}

Wenn $P$ in der vorstehenden Proposition irreduzibel ist, so ist
\mathl{K[X]/(P)}{} nach Satz 15.1 ein Körper und damit liegt eine Körpererweiterung
\mavergleichskettedisp
{\vergleichskette
{K }
{ \subseteq} { K[X]/P }
{ =} {L }
{ } { }
{ } { }
} {}{}{} vor. Bei einer $K$-Algebra \zusatzklammer {siehe unten} {} {} und insbesondere einer Körpererweiterung hat man durch den Vektorraumbegriff sofort die folgenden Begriffe zur Verfügung.




\inputdefinition
{}
{

Eine \definitionsverweis {Körpererweiterung}{}{}
\mavergleichskette
{\vergleichskette
{K }
{ \subseteq }{L }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} heißt \definitionswort {endlich}{,} wenn $L$ ein \definitionsverweis {endlichdimensionaler Vektorraum}{}{} über $K$ ist.

}




\inputdefinition
{}
{

Es sei
\mavergleichskette
{\vergleichskette
{K }
{ \subseteq }{L }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} eine \definitionsverweis {endliche Körpererweiterung}{}{.} Dann nennt man die $K$-\definitionsverweis {Vektorraumdimension}{}{} von $L$ den \definitionswort {Grad}{} der Körpererweiterung.

}

Bei
\mathl{L=K[X]/(P)}{} mit einem irreduziblen Polynom $P$ ist nach Proposition 22.1  (5) der Grad der Körpererweiterung gleich dem Grad von $P$.






\zwischenueberschrift{Algebren}




\inputdefinition
{}
{

Seien \mathkor {} {R} {und} {A} {} \definitionsverweis {kommutative Ringe}{}{} und sei \maabb {} {R} {A } {} ein fixierter \definitionsverweis {Ringhomomorphismus}{}{.} Dann nennt man $A$ eine \definitionswort {$R$-Algebra}{.}

} Häufig ist der Ringhomomorphismus, der zum Begriff der Algebra gehört, vom Kontext her klar und wird nicht explizit aufgeführt. Z.B. ist der Polynomring $R[X]$ eine $R$-Algebra, indem man die Elemente aus $R$ als konstante Polynome auffasst, oder jeder Ring ist auf eine eindeutige Weise eine $\Z$-Algebra über den kanonischen Ringhomomorphismus \maabbele {} {\Z} {R } {n} {n_R } {.}

Wir werden den Begriff der Algebra vor allem in dem Fall verwenden, wo der Grundring $R$ ein Körper $K$ ist. Eine $K$-Algebra $A$ kann man stets in natürlicher Weise als Vektorraum über dem Körper $K$ auffassen. Die Skalarmultiplikation wird dabei einfach über den Strukturhomomorphismus erklärt. Eine typische Situation ist dabei, dass $\Q$ der Grundkörper ist und ein Zwischenring
\mathbed {L} {}
{\Q \subseteq L \subseteq {\mathbb C}} {}
{} {} {} {,} gegeben ist. Dann ist $L$ über die Inklusion direkt eine $\Q$-Algebra.

Wenn man zwei Algebren über einem gemeinsamen Grundring hat, so sind vor allem diejenigen Ringhomomorphismen interessant, die den Grundring mitberücksichtigen. Dies führt zu folgendem Begriff.


\inputdefinition
{ }
{

Es seien \mathkor {} {R} {und} {S} {} kommutative $K$-\definitionsverweis {Algebren}{}{} über einem kommutativen Grundring $K$. Dann nennt man einen \definitionsverweis {Ringhomomorphismus}{}{} \maabbdisp {\varphi} {R} {S } {} einen \definitionswortpraemath {K}{ Algebrahomomorphismus }{,} wenn er zusätzlich mit den beiden fixierten Ringhomomorphismen \maabb {} {K} {R } {} und \maabb {} {K} {S } {} verträglich ist.

}

Zum Beispiel ist jeder Ringhomomorphismus ein $\Z$-Algebrahomomorphismus, da es zu jedem Ring $A$ überhaupt nur den kanonischen Ringhomomorphismus \maabb {} {\Z} {A } {} gibt. Mit dieser Terminologie kann man den Einsetzungshomomorphismus jetzt so verstehen, dass der Polynomring
\mathl{R[X]}{} mit seiner natürlichen Algebrastruktur und eine weitere $R$-Algebra $A$ mit einem fixierten Element
\mathl{a \in A}{} vorliegt und dass dann durch
\mathl{X \mapsto a}{} ein $R$-Algebrahomomorphismus \maabb {} {R[X]} {A } {} definiert wird.




\inputdefinition
{}
{

Es sei $A$ eine $R$-\definitionsverweis {Algebra}{}{} und sei
\mathbed {f_i \in A} {}
{i \in I} {}
{} {} {} {,} eine Familie von Elementen aus $A$. Dann heißt die kleinste $R$-Unteralgebra von $A$, die alle $f_i$ enthält, die von diesen Elementen \stichwort {erzeugte $R$-Algebra} {.} Sie wird mit
\mathl{R[f_i,\, i \in I]}{} bezeichnet.

}

Man kann diese $R$-Algebra auch als den kleinsten Unterring von $A$ charakterisieren, der sowohl $R$ als auch die $f_i$ enthält. Wir werden hauptsächlich von erzeugten $K$-Algebren in einer Körpererweiterung
\mathl{K \subseteq L}{} sprechen, wobei nur ein einziger Erzeuger vorgegeben ist. Man schreibt dafür dann einfach
\mathl{K[f]}{,} und diese $K$-Algebra besteht aus allen $K$-Linearkombinationen von Potenzen von $f$. Dies ist das Bild unter dem durch
\mathl{X \mapsto f}{} gegebenen Einsetzungshomomorphismus.

Gelegentlich werden wir auch den kleinsten Unterkörper von $L$ betrachten, der sowohl $K$ als auch eine Elementfamilie
\mathbed {f_i} {}
{i \in I} {}
{} {} {} {,} enthält. Dieser wird mit
\mathl{K(f_i, i \in I)}{} bezeichnet, und man sagt, dass die $f_i$ ein \stichwort {Körper-Erzeugendensystem} {} von diesem Körper bilden. Es ist
\mathl{K[f_i, i \in I] \subseteq K(f_i, i \in I)}{} und insbesondere
\mathl{K[f] \subseteq K(f)}{.}






\zwischenueberschrift{Minimalpolynom}




\inputdefinition
{}
{

Es sei $K$ ein \definitionsverweis {Körper}{}{} und $A$ eine kommutative $K$-\definitionsverweis {Algebra}{}{.} Es sei
\mavergleichskette
{\vergleichskette
{f }
{ \in }{A }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} ein Element. Dann heißt $f$ \definitionswort {algebraisch}{} über $K$, wenn es ein von $0$ verschiedenes Polynom
\mavergleichskette
{\vergleichskette
{P }
{ \in }{K[X] }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} mit
\mavergleichskette
{\vergleichskette
{ P(f) }
{ = }{ 0 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} gibt.

}

Wenn ein Polynom
\mavergleichskette
{\vergleichskette
{P }
{ \neq }{0 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} das algebraische Element
\mathl{f \in A}{} annulliert \zusatzklammer {also \mathlk{P(f)=0}{} ist} {} {,} so kann man durch den Leitkoeffizienten dividieren und erhält dann auch ein normiertes annullierendes Polynom.




\inputdefinition
{}
{

Es sei $K$ ein \definitionsverweis {Körper}{}{} und $A$ eine $K$-\definitionsverweis {Algebra}{}{.} Es sei
\mavergleichskette
{\vergleichskette
{f }
{ \in }{A }
{ }{}
{ }{}
{ }{}
} {}{}{} ein über $K$ \definitionsverweis {algebraisches Element}{}{.} Dann heißt das \definitionsverweis {normierte Polynom}{}{}
\mavergleichskette
{\vergleichskette
{P }
{ \in }{K[X] }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} mit
\mavergleichskette
{\vergleichskette
{ P(f) }
{ = }{ 0 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{,} welches von minimalem \definitionsverweis {Grad}{}{} mit dieser Eigenschaft ist, das \definitionswort {Minimalpolynom}{} von $f$.

}

Wenn $f$ nicht algebraisch ist, so wird das Nullpolynom als Minimalpolynom betrachtet.




\inputbeispiel{}
{

Bei einer Körpererweiterung
\mavergleichskette
{\vergleichskette
{K }
{ \subseteq }{L }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} sind die Elemente
\mathl{a \in K}{} trivialerweise \definitionsverweis {algebraisch}{}{,} und zwar ist jeweils
\mathl{X-a \in K[X]}{} das \definitionsverweis {Minimalpolynom}{}{.} Weitere Beispiele liefern über
\mavergleichskette
{\vergleichskette
{ K }
{ = }{ \Q }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} die komplexen Zahlen
\mathl{\sqrt{2}, { \mathrm i}, 3^{1/5}}{,} etc. Annullierende Polynome aus
\mathl{\Q[X]}{} sind dafür
\mathl{X^2-2}{,}
\mathl{X^2+1}{,}
\mathl{X^5-3}{} \zusatzklammer {es handelt sich dabei übrigens um die Minimalpolynome, was in den ersten beiden Fällen einfach und im dritten Fall etwas schwieriger zu zeigen ist} {} {.} Man beachte, dass beispielsweise
\mathl{X- \sqrt{2}}{} zwar ein annullierendes Polynom für $\sqrt{2}$ ist, dessen Koeffizienten aber nicht zu $\Q$ gehören.


}





\inputfaktbeweis
{Algebraerweiterung über Körper/Minimalpolynom und Einsetzung/Fakt}
{Lemma}
{}
{

\faktsituation {Es sei $K$ ein \definitionsverweis {Körper}{}{,} $A$ eine $K$-\definitionsverweis {Algebra}{}{} und
\mavergleichskette
{\vergleichskette
{ f }
{ \in }{ A }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} ein Element.}
\faktvoraussetzung {Es sei $P$ das \definitionsverweis {Minimalpolynom}{}{} von $f$ über $K$.}
\faktfolgerung {Dann ist der \definitionsverweis {Kern}{}{} des \definitionsverweis {kanonischen}{}{} $K$-\definitionsverweis {Algebrahomomorphismus}{}{} \maabbeledisp {} {K[X]} {A } {X} {f } {,} das von $P$ erzeugte \definitionsverweis {Hauptideal}{}{.}}
\faktzusatz {}
\faktzusatz {}

}
{

Wir betrachten den kanonischen Einsetzungshomorphismus \maabbeledisp {} {K[X]} {A } {X} {f } {.} Dessen Kern ist nach Satz 13.10 und nach Satz 8.3 ein Hauptideal, sagen wir
\mavergleichskette
{\vergleichskette
{ {\mathfrak a} }
{ = }{ (F) }
{ }{ }
{ }{ }
{ }{ }
} {}{}{,} wobei wir $F$ als normiert annehmen dürfen \zusatzklammer {im nicht-algebraischen Fall liegt das Nullideal vor und die Aussage ist trivialerweise richtig} {} {.} Das Minimalpolynom $P$ gehört zu ${\mathfrak a}$. Andererseits ist der Grad von $F$ größer oder gleich dem Grad von $P$, da ja dessen Grad minimal gewählt ist. Daher muss der Grad gleich sein und somit ist
\mavergleichskette
{\vergleichskette
{ P }
{ = }{ F }
{ }{ }
{ }{ }
{ }{ }
} {}{}{,} da beide normiert sind.

}


<< | Kurs:Elemente der Algebra (Osnabrück 2015) | >>

PDF-Version dieser Vorlesung

Arbeitsblatt zur Vorlesung (PDF)