Polynomring über Körper/Eine Variable/Faktoriell/Fakt

Es sei ${}K$ ein Körper und sei ${}F\in K[X]$ ein von ${}0$ verschiedenes Polynom.

Dann gibt es eine (bis auf die Reihenfolge der Faktoren) eindeutige Produktdarstellung

${}F=aF_{1}\cdots F_{r}\,$

mit ${}a\in K^{\times }$ und irreduziblen normierten Polynomen ${}F_{i}$ , ${}i=1,\ldots ,r$ .