Factorización de polinomios

En matemáticas y álgebra computacional, la factorización de polinomios o factorización

polinómica se refiere a factorizar un polinomio con coeficientes en un campo dado o en
los números enteros en factores irreducibles con coeficientes en el mismo dominio.
Factorización polinómica es una de las herramientas fundamentales de los sistemas de
álgebra computacional.

Formulación
Anillos de polinomios sobre los enteros o sobre un campo son dominios de factorización
única. Esto significa que cada elemento de estos anillos es el producto de una constante y
el producto de polinomios irreducibles (aquellos que no son el producto de dos polinomios
no constantes). Por otra parte, esta descomposición es única hasta la multiplicación de los
factores por constantes invertibles.
La factorización depende del campo base. Por ejemplo, el teorema fundamental del álgebra,
que establece que todo polinomio con coeficientes complejos tiene raíces complejas, implica
que un polinomio con coeficientes enteros se puede factorizar (mediante algoritmos
numéricos) en factores lineales sobre los números complejos. Del mismo modo, sobre
los números reales, los factores irreducibles tienen grado a lo sumo dos, mientras que hay
polinomios de cualquier grado que son irreducible sobre los números racionales.