He resuelto una pregunta en un examen y me gustaría saber ¿por qué crees que yo no se consigue el 100% de esta pregunta (que me dio 18/20 puntos). La pregunta es para el estado y demostrar el criterio de Eisenstein. He resuelto de la siguiente manera:
Criterio de Eisenstein
Deje $p(X)=a_nX^n+a_{n-1}X^{n-1}+\ldots+a_0\in \mathbb Z[X]$. Si no existe un número primo $p$ tal que $p\nmid a_n,p\mid a_i$$i=0,\ldots n-1$$p^2\nmid a_0$, $p(X)$ es irreducible en a $\mathbb{Z}[X]$.
Prueba
Supongamos $p(X)$ mantiene las condiciones del teorema y $p(X)=g(X)h(X)$$g(X),h(X)\in \mathbb Z[X], g(X)=b_mX^m+\ldots+b_0$$h(X)=c_tX^t+\ldots+c_0$$m+t=n$. Desde $p\nmid a_n$$p|a_i$$i=0,1,\ldots,n-1$, $a'\in \mathbb Z_p$ tal que $p(X)=a'X^n$$\mathbb Z_p[X]$. Desde $p(X)=g(X)h(X)$, se deduce $g(X)=b'X^m$$h(X)=c'X^t$$\mathbb Z_p[X]$. Por lo tanto,$p^2|b_0c_0$, contradicción, porque $p^2\nmid a_0$.