Faktorisierung von Polynomen

Als Faktorisierung von Polynomen in der Algebra versteht man analog zur Primfaktorzerlegung von ganzen Zahlen das Zerlegen von Polynomen in ein Produkt aus irreduziblen Polynomen.

Mathematische Beschreibung

Ziel der Faktorisierung ist es, für ein gegebenes Polynom $p (x)$ aus einem Polynomring $R [x]$ eine endliche Menge irreduzibler Polynome $p_{i} \in R [x]$ , $i = 1, \dots, n$ zu finden mit

p (x) = p_{1} (x) \cdot p_{2} (x) \dots p_{n} (x)

.

Die Faktoren $p_{i} (x)$ müssen dabei nicht alle verschieden sein, das heißt, die Faktoren können mit einer Vielfachheit größer als 1 in dieser Zerlegung auftauchen.

Ist der Koeffizientenring $R$ ein faktorieller Ring, dann ist nach einem Satz von Gauß auch $R [x]$ faktoriell. In diesem Fall existiert ein System von Primelementen, sodass diese Darstellung bis auf die Reihenfolge und Assoziiertheit eindeutig ist und jedes $p_{i} (x)$ ein Element des Primsystems ist. In Ringen, die nicht faktoriell sind, ist es im Allgemeinen nicht möglich, eine eindeutige Faktorisierung zu finden.

Über dem Körper der komplexen Zahlen $ℂ$ lässt sich jedes Polynom $n$ -ten Grades als Produkt von genau $n$ Linearfaktoren $x - b_{i}$

p (x) = \sum_{k = 0}^{n} a_{k} x^{k} = a_{n} \prod_{i = 1}^{n} (x - b_{i})

schreiben. Dies ist eine der Aussagen des Fundamentalsatzes der Algebra. Man sagt, das Polynom zerfällt in seine Linearfaktoren. Die $b_{i}$ sind genau die Nullstellen der zugehörigen Polynomfunktion.

Erklärung und Beispiele

Manche Polynome lassen sich als Produkt einfacherer Polynome kleineren Grades schreiben. Beispielsweise ergibt sich durch Ausklammern und Anwendung einer binomischen Formel die Zerlegung

x^{4} - 4 x^{2} = x^{2} (x^{2} - 4) = x^{2} (x + 2) (x - 2)

.

Die Faktoren $x$ (tritt zweifach auf), $x + 2$ und $x - 2$ lassen sich nicht weiter zerlegen: Sie sind irreduzibel. Das Polynom $x^{2} - 4$ ist zwar ein Teiler des gegebenen Polynoms, aber es lässt sich selbst noch weiter zerlegen.

Ob ein Polynom irreduzibel ist oder sich noch weiter faktorisieren lässt, hängt vom betrachteten Definitionsbereich seiner Koeffizienten ab: So lässt sich $x^{2} - 2$ in den rationalen Zahlen nicht weiter zerlegen, in den reellen Zahlen hat es die Faktorisierung $x^{2} - 2 = (x + \sqrt{2}) (x - \sqrt{2})$ . Ein weiteres Beispiel ist das Polynom $x^{2} + 1$ : In den reellen Zahlen ist es irreduzibel, in den komplexen Zahlen gilt hingegen $x^{2} + 1 = (x + i) (x - i)$ mit der imaginären Einheit $i$ .

Allgemein gilt: Hat ein Polynom $p (x)$ eine Nullstelle $a$ , so ist es ohne Rest durch $(x - a)$ teilbar, das heißt, es gilt

p (x) = q (x) (x - a)

mit einem Polynom $q (x)$ , dessen Grad um eins kleiner ist und das z. B. durch Polynomdivision oder mit dem Horner-Schema berechnet werden kann. Hat nun $q (x)$ wieder eine Nullstelle, dann lässt sich diese wiederum als Linearfaktor abspalten. Da in den komplexen Zahlen nach dem Fundamentalsatz der Algebra ein nichtkonstantes Polynom stets eine Nullstelle besitzt, führt bei komplexer Rechnung dieses Vorgehen schließlich zu einer Faktorisierung durch Zerlegung in Linearfaktoren.

Reelle Polynome

Ein reelles Polynom hat dagegen nicht immer eine reelle Nullstelle. Es lässt sich jedoch als komplexes Polynom mit reellen Koeffizienten auffassen. Als solches zerfällt es in Linearfaktoren und besitzt zusätzlich die Eigenschaft, dass mit jeder Nullstelle $a \in ℂ$ auch die konjugiert komplexe Zahl $\overline{a}$ eine Nullstelle ist. Die beiden zugehörigen Linearfaktoren $(x - a) (x - \overline{a})$ lassen sich zu dem reellen quadratischen Polynom

x^{2} - (a + \overline{a}) x + a \overline{a} = x^{2} - 2 Re (a) x + | a |^{2}

zusammenfassen. Damit ist gezeigt, dass sich in den reellen Zahlen jedes Polynom in ein Produkt aus linearen und quadratischen Faktoren zerlegen lässt. Zum Beispiel hat das Polynom $x^{3} - 3 x^{2} + 7 x - 5$ die reelle Nullstelle $a_{1} = 1$ und die konjugiert komplexen Nullstellen $a_{2, 3} = 1 \pm 2 i$ . In den reellen Zahlen lautet seine Faktorisierung $(x - 1) (x^{2} - 2 x + 5)$ .

Rationale und ganzzahlige Polynome

Für Polynome mit ganzzahligen Koeffizienten existieren verschiedene Irreduzibilitätskriterien, wie zum Beispiel das Eisensteinkriterium, um festzustellen, ob sie in $ℚ [x]$ irreduzibel sind. Die Bestimmung der rationalen Nullstellen eines Polynoms

a_{n} x^{n} + a_{n - 1} x^{n - 1} + \dots + a_{1} x + a_{0} \in ℤ [x]

lässt sich algorithmisch in endlich vielen Schritten lösen, denn für jede Nullstelle $\frac{a}{b} \in ℚ$ gilt, dass $a$ ein Teiler von $a_{0}$ und $b$ ein Teiler von $a_{n}$ ist (siehe Satz über rationale Nullstellen).

Beispielsweise findet man bei dem Polynom $3 x^{5} - 5 x^{4} - 6 x + 10$ durch Ausprobieren aller Möglichkeiten die rationale Nullstelle $\frac{5}{3}$ . Polynomdivision ergibt

(3 x^{5} - 5 x^{4} - 6 x + 10) : (x - \frac{5}{3}) = 3 (x^{4} - 2)

und das Polynom $x^{4} - 2$ ist nach dem Eisensteinkriterium (mit der Primzahl 2) irreduzibel, so dass sich schließlich die ganzzahlige Faktorisierung

3 x^{5} - 5 x^{4} - 6 x + 10 = (x^{4} - 2) (3 x - 5)

ergibt.

Algorithmen

B. A. Hausmann beschrieb 1937 eine Anwendung des Algorithmus von Kronecker. Elwyn Berlekamp veröffentlichte 1967 den Berlekamp-Algorithmus, mit dem Polynome über dem Restklassenkörper $𝔽_{p}$ faktorisiert werden können. 1992 entdeckte Harald Niederreiter eine weitere Möglichkeit, Polynome über endlichen Körpern zu faktorisieren, auf ihn geht der Niederreiter-Algorithmus zurück.

Weblinks

Online-Tool zum Faktorisieren