El proceso de descomponer un polinomio en un producto de factores polinomiales irreducibles sobre un anillo o cuerpo de coeficientes elegido, considerando equivalencias por unidades y orden de factores.

Principio

La factorización de polinomios depende de las propiedades algebraicas del dominio de coeficientes: sobre dominios de factorización única o cuerpos, todo polinomio no nulo y no invertible admite factorización en irreducibles; sobre cuerpos se distinguen factores lineales, factores irreducibles de mayor grado y el papel de los cuerpos de extensión.

Demostración

Sobre Q, x^2 - 1 se factoriza como (x - 1)(x + 1). Sobre R, x^2 + 1 permanece irreducible en factores lineales reales pero en C se factoriza como (x - i)(x + i). Sobre el cuerpo finito GF(2), x^2 + x se factoriza como x(x + 1).

Aplicación incorrecta

Afirmar que una factorización obtenida en un cuerpo de extensión (por ejemplo factores lineales en C) es válida sobre un cuerpo menor (R o Q) sin adjuntar las raíces necesarias; ignorar factores unidad y considerar polinomios asociados como distintos.

Consecuencia

Una factorización correcta facilita la búsqueda de raíces, el cálculo de mcd y resultantes, el análisis de multiplicidades y la reducción a problemas polinomiales más simples; además proporciona descripciones canónicas usadas en geometría algebraica y álgebra computacional.

Inversión

Multiplicación o recomposición: combinar factores por multiplicación polinómica para reconstruir el polinomio original, respetando unidades y orden.

Límite

Depende del dominio de coeficientes especificado (anillo o cuerpo). El polinomio cero, las unidades y los asociados requieren tratamiento especial; la unicidad solo se garantiza hasta multiplicación por unidades y permutación de factores. Los algoritmos y resultados pueden diferir entre Z[x], Q[x], F_p[x] o anillos de polinomios sobre extensiones.

Tensión semántica

Tensión entre factorizar sobre el cuerpo base actual frente a factorizar sobre cierres algebraicos o anillos cociente, y entre factorización en irreducibles completa y descomposiciones más gruesas como la factorización sin cuadrados o la factorización parcial.

Síntesis

La factorización de polinomios es la separación canónica de un polinomio en bloques irreducibles relativos a un dominio de coeficientes elegido; está gobernada por la aritmética del dominio, facilita cálculos y comprensión estructural, y se invierte por multiplicación hasta unidades.