Der Polynomring über einem Körper/Einführung/Textabschnitt

Definition

Der Polynomring über einem Körper ${}K$ besteht aus allen Polynomen

${}P=a_{0}+a_{1}X+a_{2}X^{2}+\cdots +a_{n}X^{n}\,$

mit ${}a_{i}\in K$, ${}n\in \mathbb {N}$, und mit komponentenweiser Addition und einer Multiplikation, die durch distributive Fortsetzung der Regel

${}X^{n}\cdot X^{m}:=X^{n+m}\,$

definiert ist.

Ein Polynom

${}P=\sum _{i=0}^{n}a_{i}X^{i}=a_{0}+a_{1}X+a_{2}X^{2}+\cdots +a_{n}X^{n}\,$

ist formal gesehen nichts anderes als das Tupel ${}(a_{0},a_{1},\ldots ,a_{n})$, die die Koeffizienten des Polynoms heißen. Zwei Polynome sind genau dann gleich, wenn sie in allen ihren Koeffizienten übereinstimmen. Der Körper ${}K$ 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 ${}0$ sind) als neutralem Element. Die Polynome mit

${}a_{i}=0\,$

für alle ${}i\geq 1$ heißen 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 ${}X^{n}\cdot X^{m}$ ist nämlich durch die Addition der Exponenten gegeben. Dabei nennt man ${}X$ 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:

${\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}.$

Die Multiplikation ist assoziativ, kommutativ, distributiv und besitzt das konstante Polynom ${}1$ als neutrales Element, siehe Aufgabe.

Der Graph einer Polynomfunktion von ${}\mathbb {R}$ nach ${}\mathbb {R}$ vom Grad ${}5$.

In ein Polynom ${}P\in K[X]$ kann man ein Element ${}a\in K$ einsetzen, indem man die Variable ${}X$ an jeder Stelle durch ${}a$ ersetzt. Dies führt zu einer Abbildung

$K\longrightarrow K,\,a\longmapsto P(a),$

die die durch das Polynom definierte Polynomfunktion heißt.

Definition

Der Grad eines von ${}0$ verschiedenen Polynoms

${}P=a_{0}+a_{1}X+a_{2}X^{2}+\cdots +a_{n}X^{n}\,$

mit ${}a_{n}\neq 0$ ist ${}n$.

Das Nullpolynom bekommt keinen Grad. Der Koeffizient ${}a_{n}$, der zum Grad ${}n$ des Polynoms gehört, heißt Leitkoeffizient des Polynoms. Der Ausdruck ${}a_{n}X^{n}$ heißt Leitterm.

Satz

Es sei ${}K$ ein Körper und sei ${}K[X]$ der Polynomring über ${}K$. Es seien ${}P,T\in K[X]$ Polynome mit ${}T\neq 0$.

Dann gibt es eindeutig bestimmte Polynome ${}Q,R\in K[X]$ mit

$P=TQ+R{\text{ und mit }}\operatorname {grad} \,(R)<\operatorname {grad} \,(T){\text{ oder }}R=0.$

Beweis

Wir beweisen die Existenzaussage durch Induktion über den Grad von ${}P$. Wenn der Grad von ${}T$ größer als der Grad von ${}P$ ist, so ist ${}Q=0$ und ${}R=P$ eine Lösung, sodass wir dies nicht weiter betrachten müssen. Bei ${}\operatorname {grad} \,(P)=0$ ist nach der Vorbemerkung auch ${}\operatorname {grad} \,(TP)=0$, also ist ${}T$ ein konstantes Polynom, und damit ist (da ${}T\neq 0$ und ${}K$ ein Körper ist) ${}Q=P/T$ und ${}R=0$ eine Lösung. Es sei nun ${}\operatorname {grad} \,(P)=n$ und die Aussage für kleineren Grad schon bewiesen. Wir schreiben ${}P=a_{n}X^{n}+\cdots +a_{1}X+a_{0}$ und ${}T=b_{k}X^{k}+\cdots +b_{1}X+b_{0}$ mit ${}a_{n},b_{k}\neq 0,\,k\leq n$. Dann gilt mit ${}H={\frac {a_{n}}{b_{k}}}X^{n-k}$ die Beziehung

${}{\begin{aligned}P'&:=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}.\end{aligned}}$

Dieses Polynom ${}P'$ hat einen Grad kleiner als ${}n$ und darauf können wir die Induktionsvoraussetzung anwenden, d.h. es gibt ${}Q'$ und ${}R'$ mit

$P'=TQ'+R'{\text{ mit }}\operatorname {grad} \,(R')<\operatorname {grad} \,(T){\text{ oder }}R'=0.$

Daraus ergibt sich insgesamt

${}P=P'+TH=TQ'+TH+R'=T(Q'+H)+R'\,,$

sodass also ${}Q=Q'+H$ und ${}R=R'$ eine Lösung ist. Zur Eindeutigkeit sei ${}P=TQ+R=TQ'+R'$ mit den angegebenen Bedingungen. Dann ist ${}T(Q-Q')=R'-R$. Da die Differenz ${}R'-R$ einen Grad kleiner als ${}\operatorname {grad} \,(T)$ besitzt, ist aufgrund der Gradeigenschaften diese Gleichung nur bei ${}R=R'$ und ${}Q=Q'$ lösbar.

$\Box$

Lemma

Es sei ${}K$ ein Körper und sei ${}K[X]$ der Polynomring über ${}K$. Es sei ${}P\in K[X]$ ein Polynom und ${}a\in K$.

Dann ist ${}a$ genau dann eine Nullstelle von ${}P$, wenn ${}P$ ein Vielfaches des linearen Polynoms ${}X-a$ ist.

Beweis

Wenn ${}P$ ein Vielfaches von ${}X-a$ ist, so kann man

${}P=(X-a)Q\,$

mit einem weiteren Polynom ${}Q$ schreiben. Einsetzen ergibt

${}P(a)=(a-a)Q(a)=0\,.$

Im Allgemeinen gibt es aufgrund der Division mit Rest eine Darstellung

${}P=(X-a)Q+R\,,$

wobei ${}R=0$ oder aber den Grad ${}0$ besitzt, also so oder so eine Konstante ist. Einsetzen ergibt

${}P(a)=R\,.$

Wenn also ${}P(a)=0$ ist, so muss der Rest ${}R=0$ sein, und das bedeutet, dass ${}P=(X-a)Q$ ist.

$\Box$

Korollar

Es sei ${}K$ ein Körper und sei ${}K[X]$ der Polynomring über ${}K$. Es sei ${}P\in K[X]$ ein Polynom ($\neq 0$) vom Grad ${}d$.

Dann besitzt ${}P$ maximal ${}d$ Nullstellen.

Beweis

Wir beweisen die Aussage durch Induktion über ${}d$. Für ${}d=0,1$ ist die Aussage offensichtlich richtig. Es sei also ${}d\geq 2$ und die Aussage sei für kleinere Grade bereits bewiesen. Es sei ${}a$ eine Nullstelle von ${}P$ (falls ${}P$ keine Nullstelle besitzt, sind wir direkt fertig). Dann ist ${}P=Q(X-a)$ nach Fakt und ${}Q$ hat den Grad ${}d-1$, sodass wir auf ${}Q$ die Induktionsvoraussetzung anwenden können. Das Polynom ${}Q$ hat also maximal ${}d-1$ Nullstellen. Für ${}b\in K$ gilt ${}P(b)=Q(b)(b-a)$. Dies kann nach Fakt  (5) nur dann ${}0$ sein, wenn einer der Faktoren ${}0$ ist, sodass eine Nullstelle von ${}P$ gleich ${}a$ ist oder aber eine Nullstelle von ${}Q$ ist. Es gibt also maximal ${}d$ Nullstellen von ${}P$.

$\Box$