Una prueba suficiente de irreducibilidad para polinomios con coeficientes enteros: si existe un primo p tal que p divide todos los coeficientes excepto el líder, p^2 no divide el término constante y p no divide el coeficiente líder, entonces el polinomio es irreducible sobre los racionales.

Principio

La reducción módulo p transforma el polinomio en una forma simple; las condiciones de divisibilidad hacen incompatible cualquier factorización racional no trivial por la potencia de p en los coeficientes, por lo que no puede existir una factorización en Q[x].

Demostración

Considérese f(x)=x^3+6x^2+9x+3 con p=3: 3 divide 6,9,3; 3 no divide el coeficiente líder 1; y 3^2=9 no divide el término constante 3. Por el criterio de Eisenstein, f es irreducible sobre Q.

Aplicación incorrecta

Aplicar Eisenstein sin comprobar la condición p^2, usar un compuesto como 'p', o pasar por alto que una sustitución lineal x→x+k puede hacer aplicable el criterio; asimismo confundir suficiencia con necesidad—muchos irreducibles no satisfacen Eisenstein para ningún primo.

Consecuencia

Proporciona una condición suficiente, potente y fácil de verificar para la irreducibilidad sobre Q que a menudo puede aplicarse tras un cambio lineal de variable; cuando se cumple permite concluir inmediatamente e simplificar la factorización.

Inversión

La ausencia de un primo adecuado no implica reducibilidad: el criterio es unidireccional. Sin embargo, a veces se aplica al polinomio f(x+k) para detectar irreducibilidad no visible en la forma original.

Límite

Se aplica a polinomios con coeficientes enteros (o en DFI con un elemento primo elegido) y ofrece condiciones suficientes pero no necesarias; no cubre polinomios sin ningún primo que cumpla las restricciones de divisibilidad y exige comprobar divisibilidad por potencias de un primo.

Tensión semántica

Complementario al lema de Gauss y a los algoritmos de factorización: Eisenstein es una prueba específica y fácilmente verificable, mientras Gauss ofrece reducción estructural a coeficientes enteros; surgen tensiones porque muchos irreducibles escapan a Eisenstein.

Síntesis

El criterio de Eisenstein es una prueba concreta basada en divisibilidad: al encontrar un primo con el patrón requerido entre los coeficientes se concluye de inmediato irreducibilidad sobre Q, a menudo tras un simple desplazamiento de variable.