En teoría de Anillos, un polinomio formula_1 no constante (y por lo tanto no nulo) con coeficientes en un dominio íntegro formula_2 (es decir, formula_3) es irreducible si no puede factorizarse como producto de polinomios de manera que todos ellos tengan grados menor que formula_4.