Kurs:Einführung in die Algebra (Osnabrück 2009)/Vorlesung 16/latex
\setcounter{section}{16}
\zwischenueberschrift{Polynomringe}
\inputdefinition
{}
{
Der \definitionswort {Polynomring}{} über einem
\definitionsverweis {kommutativen Ring}{}{}
$R$ besteht aus allen
\definitionswortenp{Polynomen}{}
\mathbedtermdisp { P=a_0 + a_1X+a_2X^2 + \cdots + a_nX^n }
{ mit } { a_i \in R }
{ } { i = 0 , \ldots , n } { } { n \in \N } { , }
und mit komponentenweiser Addition und einer Multiplikation, die durch distributive Fortsetzung der Regel
\mavergleichskettedisp
{\vergleichskette
{ X^n \cdot X^m
}
{ \defeq} { X^{n+m}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
definiert ist.
}
Ein Polynom
\mavergleichskettedisp
{\vergleichskette
{P
}
{ =} {\sum_{ i = 0 }^{ n } a_{ i } X^{ i }
}
{ =} {a_0 + a_1X + a_2X^2 + \cdots + a_{ n } X^{ n }
}
{ } {
}
{ } {
}
}
{}{}{}
ist formal gesehen nichts anderes als das Tupel
\mathl{(a_0,a_1 , \ldots , a_n )}{,} die die \stichwort {Koeffizienten} {} des Polynoms heißen. Der Ring $R$ heißt in diesem Zusammenhang der \stichwort {Grundring} {} des Polynomrings. Aufgrund der komponentenweisen Definition der Addition liegt unmittelbar eine Gruppe vor, mit dem \stichwort {Nullpolynom} {}
\zusatzklammer {bei dem alle Koeffizienten null sind} {} {}
als neutralem Element. Zwei Polynome sind genau dann gleich, wenn sie in allen ihren Koeffizienten übereinstimmen. Die Polynome mit
\mavergleichskette
{\vergleichskette
{a_i
}
{ = }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
für alle
\mavergleichskette
{\vergleichskette
{i
}
{ \geq }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
heißen \stichwort {konstante Polynome} {,} man schreibt sie einfach als $a_0$.
Die für ein einfaches Tupel zunächst ungewöhnliche Schreibweise deutet in suggestiver Weise an, wie die Multiplikation aussehen soll, das Produkt
\mathl{X^{i} X^{j}}{} ist nämlich durch die Addition der Exponenten gegeben. Dabei nennt man $X$ die \stichwort {Variable} {} des Polynomrings. Für beliebige Polynome ergibt sich die Multiplikation aus dieser einfachen Multiplikationsbedingung durch distributive Fortsetzung gemäß der Vorschrift, \anfuehrung{alles mit allem}{} zu multiplizieren. Die Multiplikation ist also explizit durch folgende Regel gegeben:
\mathdisp {{ \left( \sum_{ i = 0 }^{ n } a_{ i } X^{ i } \right) } \cdot { \left( \sum_{ j = 0 }^{ m } b_{ j } X^{ j } \right) } = \sum_{ k = 0 }^{ n+m } c_{ k } X^{ k } \text{ mit } c_{ k} =\sum_{ r= 0}^{ k } a_{ r } b_{ k - r }} { . }
\inputfaktbeweis
{Polynomring/Eine Variable/Einfache Eigenschaften/Fakt}
{Lemma}
{}
{
\faktsituation {}
\faktvoraussetzung {Es sei $R$ ein
\definitionsverweis {kommutativer Ring}{}{}
und sei
\mathl{R[X]}{} der
\definitionsverweis {Polynomring}{}{}
über $R$. Dann gelten folgende Aussagen.}
\faktfolgerung {\aufzaehlungzwei {$R$ ist ein
\definitionsverweis {Unterring}{}{}
von
\mathl{R[X]}{.}
} {$R$ ist genau dann ein
\definitionsverweis {Integritätsbereich}{}{,}
wenn
\mathl{R[X]}{} ein Integritätsbereich ist.
}}
\faktzusatz {}
\faktzusatz {}
}
{
\aufzaehlungzwei {Ein Element
\mavergleichskette
{\vergleichskette
{ r
}
{ \in }{ R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
wird als konstantes Polynom aufgefasst, wobei es egal ist, ob man Addition und Multiplikation in $R$ oder in
\mathl{R[X]}{} ausführt.
} {Wenn
\mathl{R[X]}{} integer ist, so überträgt sich dies sofort auf den Unterring $R$. Es sei also $R$ ein Integritätsbereich und seien
\mathkor {} {P=\sum_{ i = 0 }^{ n } a_{ i } X^{ i }} {und} {Q=\sum_{ j = 0 }^{ m } b_{ j } X^{ j }} {}
zwei von null verschiedene Polynome. Wir können annehmen, dass
\mathkor {} {a_n} {und} {b_m} {}
von null verschieden sind. Dann ist
\mavergleichskette
{\vergleichskette
{ a_nb_m
}
{ \neq }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und dies ist der
\definitionsverweis {Leitkoeffizient}{}{}
des Produktes $PQ$, das damit nicht null sein kann.
}
\zwischenueberschrift{Der Einsetzungshomomorphismus}
\inputfaktbeweis
{Polynomring/Eine Variable/Einsetzungshomomorphismus/Fakt}
{Satz}
{}
{
\faktsituation {Es sei $R$ ein
\definitionsverweis {kommutativer Ring}{}{}
und sei
\mathl{R[X]}{} der
\definitionsverweis {Polynomring}{}{}
über $R$. Es sei $A$ ein weiterer
\definitionsverweis {kommutativer Ring}{}{}
und es sei
\maabb {\varphi} {R} {A
} {}
ein
\definitionsverweis {Ringhomomorphismus}{}{}
und
\mavergleichskette
{\vergleichskette
{ a
}
{ \in }{ A
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ein Element.}
\faktfolgerung {Dann gibt es einen eindeutig bestimmten Ringhomomorphismus
\maabbdisp {\psi} {R[X]} {A
} {}
mit
\mavergleichskette
{\vergleichskette
{ \psi(X)
}
{ = }{ a
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und mit
\mavergleichskette
{\vergleichskette
{ \psi \circ i
}
{ = }{\varphi
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
wobei
\maabb {i} {R} {R[X]
} {}
die kanonische Einbettung ist.}
\faktzusatz {Dabei geht das Polynom
\mavergleichskette
{\vergleichskette
{ P
}
{ = }{ \sum_{ j = 0 }^{ n } c_{ j } X^{ j }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
auf
\mathl{\sum_{j=0}^{n} \varphi(c_j)a^{j}}{.}}
\faktzusatz {}
}
{
Bei einem Ringhomomorphismus
\maabbdisp {\psi} {R[X]} {A
} {}
mit
\mavergleichskette
{\vergleichskette
{ \psi \circ i
}
{ = }{\varphi
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
müssen die Konstanten
\mavergleichskette
{\vergleichskette
{ c
}
{ \in }{ R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
auf
\mathl{\varphi(c)}{} und $X$ auf $a$ gehen. Daher muss $X^{j}$ auf $a^{j}$ gehen. Da Summen respektiert werden, kann es nur einen Ringhomorphismus geben, der die im Zusatz angegebene Gestalt haben muss. Es ist also zu zeigen, dass durch diese Vorschrift wirklich ein Ringhomomorphismus definiert ist. Dies folgt aber direkt aus dem Distributivgesetz.
Den in diesem Satz konstruierten Ringhomomorphismus nennt man den \stichwort {Einsetzungshomomorphismus} {.}
\inputfaktbeweis
{Polynomring/Eine Variable/Variablenwechsel/Fakt}
{Korollar}
{}
{
\faktsituation {Es sei $R$ ein
\definitionsverweis {kommutativer Ring}{}{}
und sei
\mathl{R[X]}{} der
\definitionsverweis {Polynomring}{}{}
über $R$. Es sei
\mathl{Y=aX+b}{,} wobei $a$ eine
\definitionsverweis {Einheit}{}{} in $R$ sei.}
\faktfolgerung {Dann gibt es einen
\definitionsverweis {Ringisomorphismus}{}{}
\maabbeledisp {} {R[X]} {R[X]
} {X} {aX+b
} {.}}
\faktzusatz {}
\faktzusatz {}
}
{
Die Einsetzungshomomorphismen zu
\mathkor {} {X\mapsto aX+b} {und} {X \mapsto a^{-1}X-a^{-1}b} {}
definieren aufgrund von
Korollar 14.4
jeweils einen Ringhomomorphismus
\mathkor {} {\psi} {und} {\varphi} {}
von $R[X]$ nach $R[X]$, die
wir hintereinander schalten:
\mathdisp {R[X] \stackrel{\psi}{ \longrightarrow} R[X] \stackrel{\varphi}{ \longrightarrow}R[X]} { . }
Bei diesem Ringhomomorphismus bleiben die Elemente aus $R$ unverändert, und die Variable $X$ wird insgesamt auf
\mavergleichskettedisp
{\vergleichskette
{a(a^{-1}X-a^{-1}b) +b
}
{ =} {aa^{-1}X-aa^{-1}b +b
}
{ =} {X
}
{ } {}
{ } {}
}
{}{}{}
geschickt. Daher muss die Verknüpfung aufgrund der Eindeutigkeit in
Korollar 14.4
die Identität sein. Dies gilt auch für die Hintereinanderschaltung in umgekehrter Reihenfolge, sodass ein Isomorphismus vorliegt.
\inputfaktbeweis
{Unterring/Zugehörige Polynomringe/Fakt}
{Korollar}
{}
{
\faktsituation {Es sei $R$ ein
\definitionsverweis {kommutativer Ring}{}{}
und sei
\mavergleichskette
{\vergleichskette
{ S
}
{ \subseteq }{ R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ein
\definitionsverweis {Unterring}{}{.}}
\faktfolgerung {Dann ist auch $S[X]$ ein Unterring von $R[X]$.}
\faktzusatz {}
\faktzusatz {}
}
{
Wir betrachten den zusammengesetzten
\definitionsverweis {Ringhomomorphismus}{}{}
\mathdisp {S \longrightarrow R \longrightarrow R[X]} { . }
Dann liefert der zu $X \mapsto X$ nach
Korollar 14.4
gehörige Einsetzungshomomorphismus
\maabbdisp {} {S[X]} {R[X]
} {}
die gewünschte Abbildung.
Die vorstehende Aussage bedeutet einfach, dass man ein Polynom mit Koeffizienten aus $S$ direkt auch als Polynom mit Koeffizienten aus $R$ auffassen kann. So ist ein Polynom mit ganzzahligen Koeffizienten insbesondere auch ein Polynom mit rationalen Koeffizienten und mit reellen Koeffizienten. Die Addition und die Multiplikation von zwei Polynomen hängt nicht davon ab, ob man sie über einem kleineren oder einem größeren Grundring ausrechnet, so lange dieser nur alle beteiligten Koeffizienten enthält. Es gibt aber auch viele wichtige Eigenschaften, die vom Grundring abhängen, wie beispielsweise die Eigenschaft, irreduzibel zu sein.
\zwischenueberschrift{Der Grad eines Polynoms}
\inputdefinition
{}
{
Der \definitionswort {Grad}{} eines von $0$ verschiedenen Polynoms
\mavergleichskettedisp
{\vergleichskette
{P
}
{ =} {a_0 + a_1X+a_2X^2 + \cdots + a_nX^n
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
mit
\mavergleichskette
{\vergleichskette
{a_n
}
{ \neq }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist $n$.
}
In der Situation der vorstehenden Definition heißt $a_n$ der
\definitionswortenp{Leitkoeffizient}{} des Polynoms. Wenn der Leitkoeffizient $1$ ist, so nennt man das Polynom
\definitionswortenp{normiert}{.} Dem Nullpolynom wird im Allgemeinen kein Grad zugewiesen; manchmal sind gewisse Gleichungen oder Bedingungen aber auch so zu verstehen, dass dem Nullpolynom jeder Grad zugewiesen wird.
{Polynomring/Grad/Einfache Regeln/Fakt}
{Lemma}
{}
{
\faktsituation {}
\faktvoraussetzung {Es sei $R$ ein
\definitionsverweis {kommutativer Ring}{}{}
und sei
\mathl{R[X]}{} der
\definitionsverweis {Polynomring}{}{}
über $R$. Dann gelten für den
\definitionsverweis {Grad}{}{}
folgende Aussagen.}
\faktfolgerung {\aufzaehlungdrei{
\mavergleichskettedisp
{\vergleichskette
{ \operatorname{grad} \, (P+Q)
}
{ \leq} { \max \{ \operatorname{grad} \, (P),\, \operatorname{grad} \, (Q) \}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
}{
\mavergleichskettedisp
{\vergleichskette
{ \operatorname{grad} \, (P \cdot Q)
}
{ \leq} { \operatorname{grad} \, (P) + \operatorname{grad} \, (Q)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
}{Wenn $R$ ein
\definitionsverweis {Integritätsbereich}{}{}
ist, so gilt in (2) die Gleichheit.
}}
\faktzusatz {}
\faktzusatz {}
}
Die Konstruktion von Polynomringen aus einem Grundring kann man iterieren. Aus $R$ kann man $R[X]$ machen und daraus mit einer neuen Variablen den Ring
\mathl{(K[X])[Y]}{} bilden. Für diesen Ring schreibt man auch
\mathl{R[X,Y]}{.} Ein Element darin hat die Gestalt
\mathdisp {\sum_{i,j} a_{ij} X^{i}Y^{j}} { . }
\inputbemerkung
{}
{
Zu einem Ring $A$ und einer beliebigen Teilmenge
\mavergleichskette
{\vergleichskette
{ T
}
{ \subseteq }{ A
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
kann man den von $T$ \stichwort {erzeugten Unterring} {} betrachten. Das ist der kleinste Unterring von $A$, der $T$ umfasst; man kann ihn einfach als den Durchschnitt aller $T$ umfassenden Unterringe realisieren.
Häufig ist man in eine Situation interessiert, wo
\mavergleichskette
{\vergleichskette
{ R
}
{ \subseteq }{ A
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ein fixierter Unterring ist und eine weitere, typischerweise recht kleine Teilmenge
\mavergleichskette
{\vergleichskette
{ T
}
{ \subseteq }{ A
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gegeben ist. Dann wird der von
\mathkor {} {R} {und} {T} {}
gemeinsam erzeugte Unterring von $A$ mit $R[T]$ bezeichnet. Es sei vorausgesetzt, dass $R$ mit allen Elementen aus $T$
\definitionsverweis {vertauschbar}{}{}
ist
\zusatzklammer {was bei
\definitionsverweis {kommutativen}{}{}
$A$ automatisch der Fall ist} {} {.}
Dann besteht dieser erzeugte Unterring aus allen polynomialen Ausdrücken
\mathbedtermdisp { \sum_\nu r_\nu t^{\nu_1} { \cdots } t_k^{ \nu_k} }
{ mit } { r_\nu \in R }
{ } { t_1 , \ldots , t_k \in T } { } { \nu =(\nu_1 , \ldots , \nu_k) \in \N^k } { . }
Diese Ausdrücke bilden offensichtlich den durch
\mathkor {} {R} {und} {T} {}
erzeugten Unterring. Bei
\mavergleichskette
{\vergleichskette
{ T
}
{ = }{ \{x\}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
schreibt man dafür
\mavergleichskettedisp
{\vergleichskette
{ R[x]
}
{ =} { { \left\{ \sum_{ i = 0 }^{ n } a_{ i } x^{ i} \mid a_i \in R \right\} }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Man beachte, dass im Gegensatz zum Polynomring dabei die Darstellung eines Elementes aus $R[T]$ als ein polynomialer Ausdruck keineswegs eindeutig bestimmt sein muss.
}
\zwischenueberschrift{Polynomringe über einem Körper}
Es bestehen viele und weitreichende Parallelen zwischen dem Ring $\Z$ der ganzen Zahlen und einem Polynomring in einer Variablen über einem Körper. Grundlegend ist, dass man in beiden Situation eine \stichwort {Division mit Rest} {} durchführen kann.
\inputfaktbeweis
{Polynomring über Körper/Eine Variable/Division mit Rest/Fakt}
{Satz}
{}
{
\faktsituation {}
\faktvoraussetzung {Es sei $K$ ein
\definitionsverweis {Körper}{}{} und sei
\mathl{K[X]}{} der \definitionsverweis {Polynomring}{}{} über $K$. Es seien
\mavergleichskette
{\vergleichskette
{P,T
}
{ \in }{ K[X]
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
Polynome mit
\mavergleichskette
{\vergleichskette
{T
}
{ \neq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}}
\faktfolgerung {Dann gibt es eindeutig bestimmte Polynome
\mavergleichskette
{\vergleichskette
{Q,R
}
{ \in }{ K[X]
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit
\mathdisp {P = T Q + R \text{ und mit } \operatorname{grad} \, (R) < \operatorname{grad} \, (T)
\text{ oder } R = 0} { . }
}
\faktzusatz {}
\faktzusatz {}
}
{
Wir beweisen die Existenzaussage durch Induktion über den
\definitionsverweis {Grad}{}{}
von $P$. Wenn der Grad von $T$ größer als der Grad von $P$ ist, so ist
\mathkor {} {Q=0} {und} {R=P} {}
eine Lösung, sodass wir dies nicht weiter betrachten müssen. Bei
\mavergleichskette
{\vergleichskette
{ \operatorname{grad} \, (P)
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist nach der Vorbemerkung auch
\mavergleichskette
{\vergleichskette
{ \operatorname{grad} \, (TP)
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
also ist $T$ ein konstantes Polynom, und damit ist
\zusatzklammer {da
\mavergleichskettek
{\vergleichskettek
{T
}
{ \neq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und $K$ ein Körper ist} {} {}
\mathkor {} {Q=P/T} {und} {R=0} {}
eine Lösung. Es sei nun
\mavergleichskette
{\vergleichskette
{ \operatorname{grad} \, (P)
}
{ = }{ n
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und die Aussage für kleineren Grad schon bewiesen. Wir schreiben
\mathkor {} {P= a_nX^n + \cdots + a_1X+a_0} {und} {T= b_kX^k + \cdots + b_1X+b_0} {}
mit
\mathl{a_n, b_k \neq 0,\, k \leq n}{.} Dann gilt mit
\mavergleichskette
{\vergleichskette
{ H
}
{ = }{ { \frac{ a_n }{ b_k } } X^{n-k}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
die Beziehung
\mavergleichskettealignhandlinks
{\vergleichskettealignhandlinks
{ P'
}
{ \defeq} { P-TH
}
{ =} { 0X^n + { \left( a_{n-1} - \frac{a_n}{b_k} b_{k-1} \right) } X^{n-1} + \cdots + { \left( a_{n-k} - \frac{a_n}{b_k} b_{0} \right) } X^{n-k} + a_{n-k-1}X^{n-k-1} + \cdots + a_0
}
{ } {
}
{ } {
}
}
{}
{}{.}
Dieses Polynom $P'$ hat einen Grad kleiner als $n$ und darauf können wir die Induktionsvoraussetzung anwenden, d.h. es gibt
\mathkor {} {Q'} {und} {R'} {}
mit
\mathdisp {P' = T Q' + R' \text{ mit } \operatorname{grad} \, (R') < \operatorname{grad} \, (T)
\text{ oder } R' = 0} { . }
Daraus ergibt sich insgesamt
\mavergleichskettedisp
{\vergleichskette
{ P
}
{ =} { P'+TH
}
{ =} { TQ'+TH+R'
}
{ =} { T(Q'+H)+R'
}
{ } {}
}
{}{}{,}
sodass also
\mavergleichskette
{\vergleichskette
{ Q
}
{ = }{ Q'+H
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{ R
}
{ = }{ R'
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
eine Lösung ist.
\teilbeweis {}{}{}
{Zur Eindeutigkeit sei
\mavergleichskette
{\vergleichskette
{ P
}
{ = }{ TQ+R
}
{ = }{ TQ'+R'
}
{ }{
}
{ }{
}
}
{}{}{}
mit den angegebenen Bedingungen. Dann ist
\mavergleichskette
{\vergleichskette
{ T(Q-Q')
}
{ = }{ R'-R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Da die Differenz
\mathl{R'-R}{} einen Grad kleiner als
\mathl{\operatorname{grad} \, (T)}{} besitzt, ist aufgrund der Gradeigenschaften diese Gleichung nur bei
\mavergleichskette
{\vergleichskette
{ R
}
{ = }{ R'
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{ Q
}
{ = }{ Q'
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
lösbar.}
{}
\inputbemerkung
{}
{
Das in
Satz 16.9
beschriebene Verfahren, um zu zwei gegebenen Polynomen
\mathkor {} {P} {und} {T} {}
Polynome
\mathkor {} {Q} {und} {R} {}
zu finden mit
\mathdisp {P = T Q + R \text{ mit } \operatorname{grad} \, (R) < \operatorname{grad} \, (T)
\text{ oder } R = 0} { , }
ist konstruktiv und lässt sich rechnerisch einfach durchführen, wenn man die Arithmetik im Grundkörper $K$ beherrscht. Dieses Verfahren heißt \stichwort {Division mit Rest} {.}
}
\inputfaktbeweis
{Polynomring über Körper/Eine Variable/Hauptidealbereich/Fakt}
{Satz}
{}
{
\faktsituation {}
\faktvoraussetzung {Ein
\definitionsverweis {Polynomring}{}{}
über einem
\definitionsverweis {Körper}{}{}}
\faktfolgerung {ist ein
\definitionsverweis {Hauptidealbereich}{}{.}}
\faktzusatz {}
\faktzusatz {}
}
{
Es sei $I$ ein von $0$ verschiedenes
\definitionsverweis {Ideal}{}{}
in
\mathl{K[X]}{.} Betrachte die nichtleere Menge
\mathdisp {{ \left\{ \operatorname{grad} \, (P) \mid P \in I, \, P \neq 0 \right\} }} { . }
Diese Menge hat ein Minimum
\mavergleichskette
{\vergleichskette
{m
}
{ \in }{ \N
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
das von einem Element
\mathbed {F \in I} {}
{F \neq 0} {}
{} {} {} {,}
herrührt, sagen wir
\mavergleichskette
{\vergleichskette
{m
}
{ = }{ \operatorname{grad} \, (F)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Wir behaupten, dass
\mavergleichskette
{\vergleichskette
{I
}
{ = }{(F)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist. Die Inklusion $\supseteq$ ist klar. Zum Beweis von $\subseteq$ sei
\mavergleichskette
{\vergleichskette
{P
}
{ \in }{I
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gegeben. Aufgrund
von Satz 16.9
gilt
\mathdisp {P = F Q + R \text{ mit } \operatorname{grad} \, (R) < \operatorname{grad} \, (F)
\text{ oder } R = 0} { . }
Wegen
\mavergleichskette
{\vergleichskette
{R
}
{ \in }{I
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und der Minimalität von
\mathl{\operatorname{grad} \, (F)}{} kann der erste Fall nicht eintreten. Also ist
\mavergleichskette
{\vergleichskette
{R
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und $P$ ist ein Vielfaches von $F$.
\inputdefinition
{}
{
Es sei $K$ ein
\definitionsverweis {Körper}{}{} und seien
\mavergleichskette
{\vergleichskette
{ a_0,a_1 , \ldots , a_n
}
{ \in }{ K
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Eine
\definitionsverweis {Funktion}{}{}
\maabbeledisp {P} {K} {K
} {x} {P(x)
} {,}
mit
\mavergleichskettedisp
{\vergleichskette
{P(x)
}
{ =} { \sum_{ i = 0 }^{ n } a_{ i } x^{ i}
}
{ =} { a_0 + a_1 x + \cdots + a_{ n } x^{ n }
}
{ } {
}
{ } {
}
}
{}{}{}
heißt \definitionswort {Polynomfunktion}{.}
}
Man muss streng zwischen Polynomen und Polynomfunktionen unterscheiden, insbesondere für
\mathl{K=\Z/(p)}{.} Das Polynom
\mathdisp {X^p-X} { }
hat beispielsweise nach dem
kleinen Fermat (Satz 14.14)
für jedes
\mathl{a \in K}{} den Wert
\mathl{a^p-a=0}{.}
D.h. die durch dieses Polynom definierte Polynomfunktion ist die Nullfunktion, obwohl das Polynom selbst nicht das Nullpolynom ist.
Bei
\mathl{K=\R}{} lassen sich die Polynomfunktionen graphisch veranschaulichen.
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Polynomialdeg2.png} }
\end{center}
\bildtext {} }
\bildlizenz { Polynomialdeg2.png } {Enoch Lau} {} {englische Wikipedia} {CC-by-sa 2.5} {}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Polynomialdeg3.png} }
\end{center}
\bildtext {} }
\bildlizenz { Polynomialdeg3.png } {Enoch Lau} {} {englische Wikipedia} {CC-by-sa 2.5} {}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Polynomialdeg4.png} }
\end{center}
\bildtext {} }
\bildlizenz { Polynomialdeg4.png } {Enoch Lau} {} {englische Wikipedia} {CC-by-sa 2.5} {}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Polynomialdeg5.png} }
\end{center}
\bildtext {} }
\bildlizenz { Polynomialdeg5.png } {Enoch Lau} {} {englische Wikipedia} {CC-by-sa 2.5} {}