Kurs:Körper- und Galoistheorie (Osnabrück 2011)/Polynomring in einer Variablen/Textabschnitt/kontrolle
- Der Polynomring über einem Körper
Der Polynomring über einem Körper besteht aus allen Polynomen
mit , , und mit komponentenweiser Addition und einer Multiplikation, die durch distributive Fortsetzung der Regel
definiert ist.
Ein Polynom
ist formal gesehen nichts anderes als das Tupel , die die Koeffizienten des Polynoms heißen. Zwei Polynome sind genau dann gleich, wenn sie in allen ihren Koeffizienten übereinstimmen. Der Körper heißt in diesem Zusammenhang der Grundkörper des Polynomrings. Aufgrund der komponentenweisen Definition der Addition liegt unmittelbar eine Gruppe vor, mit dem Nullpolynom (bei dem alle Koeffizienten sind) als neutralem Element. Die Polynome mit
für alle heißen konstante Polynome, man schreibt sie einfach als .
Die für ein einfaches Tupel zunächst ungewöhnliche Schreibweise deutet in suggestiver Weise an, wie die Multiplikation aussehen soll, das Produkt ist nämlich durch die Addition der Exponenten gegeben. Dabei nennt man die Variable des Polynomrings. Für beliebige Polynome ergibt sich die Multiplikation aus dieser einfachen Multiplikationsbedingung durch distributive Fortsetzung gemäß der Vorschrift, „alles mit allem“ zu multiplizieren. Die Multiplikation ist also explizit durch folgende Regel gegeben:
Die Multiplikation ist assoziativ, kommutativ, distributiv und besitzt das konstante Polynom als neutrales Element, siehe Aufgabe *****. {{:Kurs:Kurs:Körper- und Galoistheorie (Osnabrück 2011)/Polynomring/1/Multiplikationseigenschaften/Aufgabe/Aufgabereferenznummer/Polynomring/1/Multiplikationseigenschaften/Aufgabe/Aufgabereferenznummer}}
In ein Polynom kann man ein Element einsetzen, indem man die Variable an jeder Stelle durch ersetzt. Dies führt zu einer Abbildung
die die durch das Polynom definierte Polynomfunktion heißt.
Der Grad eines von verschiedenen Polynoms
mit ist .
Das Nullpolynom bekommt keinen Grad. Der Koeffizient , der zum Grad des Polynoms gehört, heißt Leitkoeffizient des Polynoms. Der Ausdruck heißt Leitterm.
Es sei ein Körper und sei der Polynomring über . Es seien Polynome mit .
Dann gibt es eindeutig bestimmte Polynome mit
Wir beweisen die Existenzaussage durch Induktion über den Grad von . Wenn der Grad von größer als der Grad von ist, so ist und eine Lösung, sodass wir dies nicht weiter betrachten müssen. Bei ist nach der Vorbemerkung auch , also ist ein konstantes Polynom, und damit ist (da und ein Körper ist) und eine Lösung. Es sei nun und die Aussage für kleineren Grad schon bewiesen. Wir schreiben und mit . Dann gilt mit die Beziehung
Dieses Polynom hat einen Grad kleiner als und darauf können wir die Induktionsvoraussetzung anwenden, d.h. es gibt und mit
Daraus ergibt sich insgesamt
sodass also
und
eine Lösung ist.
Zur Eindeutigkeit sei
mit den angegebenen Bedingungen. Dann ist
.
Da die Differenz einen Grad kleiner als besitzt, ist aufgrund der Gradeigenschaften diese Gleichung nur bei
und
lösbar.
Es sei ein Körper und sei der Polynomring über . Es sei ein Polynom und .
Dann ist genau dann eine Nullstelle von , wenn ein Vielfaches des linearen Polynoms ist.
Wenn ein Vielfaches von ist, so kann man
mit einem weiteren Polynom schreiben. Einsetzen ergibt
Im Allgemeinen gibt es aufgrund der Division mit Rest eine Darstellung
wobei oder aber den Grad besitzt, also so oder so eine Konstante ist. Einsetzen ergibt
Wenn also ist, so muss der Rest sein, und das bedeutet, dass ist.
Es sei ein Körper und sei der Polynomring über . Es sei ein Polynom () vom Grad .
Dann besitzt maximal Nullstellen.
Wir beweisen die Aussage durch Induktion über . Für ist die Aussage offensichtlich richtig. Es sei also und die Aussage sei für kleinere Grade bereits bewiesen. Es sei eine Nullstelle von (falls keine Nullstelle besitzt, sind wir direkt fertig). Dann ist nach Lemma Anhang 1.4 und hat den Grad , sodass wir auf die Induktionsvoraussetzung anwenden können. Das Polynom hat also maximal Nullstellen. Für gilt . Dies kann nach Fakt ***** (5) nur dann sein, wenn einer der Faktoren ist, sodass eine Nullstelle von gleich ist oder aber eine Nullstelle von ist. Es gibt also maximal Nullstellen von .
Es sei ein Körper und sei der Polynomring über .
Dann besitzt jedes eine Produktzerlegung
mit und einem nullstellenfreien Polynom .
Dabei sind die auftretenden verschiedenen Zahlen und die zugehörigen Exponenten (bis auf die Reihenfolge) eindeutig bestimmt.
Beweis
Es gilt allgemeiner, dass die Zerlegung eines Polynoms in irreduzible Faktoren im Wesentlichen eindeutig ist. Der Polynomring ist ein kommutativer Ring, aber kein Körper.