# Criterio de Eisenstein

En matemáticas, el criterio de Eisenstein proporciona una condición suficiente para que un polinomio sea irreducible sobre el conjunto de los números racionales. Su nombre se debe al matemático alemán Ferdinand Eisenstein.
Si tenemos el siguiente polinomio con coeficientes enteros:
    $p(x)=a_{n}x^{n}+a_{n-1}x^{n-1}+\cdots +a_{1}x+a_{0}$
y un número primo $p$ tal que
* $p$ divide a todo $a_{i}$ para $i\neq n$.
* $p$ no divide a $a_{n}$
* $p^{2}$ no divide a $a_{0}$
entonces $p(x)$ es irreducible sobre $\mathbb {Q} [x]$.

## Ejemplos

Considérese $g(x)=3x^{2}+15x+10$.
Probaremos los siguientes primos $p$.
* p = 2
    2 no divide a 15, entonces no probaremos.
* p = 3
    3 no divide a 10, entonces no probaremos.
* p = 5
    5 divide a 15, el coeficiente de x, y a 10, el término constante. Además, 5 no divide a 3, el primer coeficiente; y 25 = 5$^2$ no divide a 10. Concluiremos, por lo tanto, que g(x) es irreducible.
En algunos casos, la elección del primo puede ser poco clara, pero puede llegar a revelarse por un cambio de variable y = x + a. Por ejemplo, consideremos h(x) = x$^2$ + x + 2. Es aparentemente difícil, ya que ningún primo divide a 1, el coeficiente de x. Pero si cambiamos h(x) en h(x + 3) = x$^2$ + 7x + 14 veremos inmediatamente que el primo 7 divide al coeficiente de x y al término constante, y que 49 no divide a 14. Así, con el cambio introducido, logramos que el polinomio satisficiera el criterio de Eisenstein.
Otro caso notable es el del polinomio ciclotómico para un primo p. Esto es:
(x$^p$ − 1)/(x − 1) = x$^{p−1}$ + x$^{p−2}$ + ... + x + 1.
Aquí, el polinomio satisface el criterio de Eisenstein, en una nueva variable y, después de establecer x = y + 1. El coeficiente constante será entonces p; los otros coeficientes son divisibles por p por las propiedades de los coeficientes binomiales C(p,k) que son p! dividido por algo que no involucra a p.

## Prueba elemental

Considérese $f(x)$ como un polinomio módulo $p$; esto es, redúzcanse los coeficientes al cuerpo $\mathbb {Z} /p\mathbb {Z}$. Entonces será $cx^{n}$para una constante $c$ distinta de cero pues, por hipótesis, los coeficientes de los términos de grado $0,1,\dots ,n-1$ son todos múltiplos de $p$. Dado que los polinomios en $\mathbb {Z} /p\mathbb {Z}$ (y, de hecho, en cualquier cuerpo) tienen una factorización única, cualquier factorización de $f\mod p$ resultará en monomios.
Ahora, si $f$ no fuese irreducible sobre $\mathbb {Q} [x]$ como polinomio entero, por el lema de Gauss, sería también reducible sobre $\mathbb {Z} [x]$, y podríamos escribirlo como $g\cdot h$ no constantes en $\mathbb {Z} [x]$. Tenemos que $f\mod p$ es entonces el producto de $g\mod p$ y $h\mod p$. Estos últimos deben ser monomios, como acabamos de afirmar, por lo que tendremos que $g\mod p=d\cdot x^{k}$ y $h\mod p=e\cdot x^{n-k}$, con $1\leq k\leq n-1$ y $d,e\in \mathbb {Z}$ tales que $c=d\cdot e$.
Vemos ahora que las condiciones dadas sobre $g\mod p$ y $h\mod p$ significan que $p^{2}$ dividirá a $a_{0}$, ya que a$_0$ será $g(0)\cdot h(0)$ y $p$ divide a ambos factores porque, por las anteriores descripciones de $g\mod p$ y $h\mod p$, el término de grado $0$ de cada polinomio se anula al reducirlos a $\mathbb {Z} /p\mathbb {Z}$. Esto contradice la hipótesis de que $p^{2}$ no divide a $a_{0}$.
La contradicción proviene de suponer que $f$ no fuera reducible, por lo que necesariamente sí que lo es, con lo que hemos demostrado el teorema.

## Explicación avanzada

Aplicando la teoría del polígono de Newton para el campo de los números p-ádicos, para un polinomio de Eisenstein, se supone que tomaremos la menor envoltura convexa de los puntos.
    (0,1), (1, v$_1$), (2, v$_2$), ..., (n − 1, v$_{n-1}$), (n,0),
donde v$_i$ es la evaluación p-ádica de a$_i$ (es decir, la mayor potencia de p que lo divide). Ahora, los datos que tenemos sobre los v$_i$ for 0 < i < n, es decir, que existe por lo menos uno, es lo que necesitamos para concluir que la menor envoltura convexa es exactamente el único segmento de (0,1) a (n,0), con pendiente −1/n.
De la teoría general sabemos que p se ramifica completamente en la extensión de los números p-ádicos generados por una raíz de f. Por esa razón, f es irreducible sobre el campo p-ádico, y a fortiori sobre el campo de los números racionales.
Esta prueba es mucho más complicada que el argumento directo por reducción módulo p. Sin embargo, permite ver, en términos de teoría algebraica de números, la frecuencia con que puede aplicarse el criterio de Eisenstein después de algún cambio de variable; y así limita marcadamente la posible elección de p.
De hecho sólo los primos p que se ramifiquen en la extensión de Q generada por una raíz de f tienen alguna posibilidad de servir. Pueden ser hallados en términos del discriminante de f. Por ejemplo, en el caso de x$^2$ + x + 2 dado más arriba, el discriminante es −7, de modo que 7 es el único primo con posibilidades de satisfacer el criterio. Se torna, mod 7, en:
    (x − 3)$^2$
— es inevitable la repetición de una raíz, ya que el discriminante es 0 mod 7. Por lo tanto el cambio de variable es algo realmente predecible.
Una vez más, para el polinomio ciclotómico se torna en:
    (x − 1)$^{p−1}$ mod p;
Por métodos de álgebra lineal puede demostrarse que el discriminante es p$^{p−2}$ (excepto variación de signo).