## [Factorización de Polinomios](/es/node/62352) Definición 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 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 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 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 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 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 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 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 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.