Diferencia entre revisiones de «Criterio de Eisenstein»

Contenido eliminado Contenido añadido
Legobot (discusión · contribs.)
m Moviendo 15 enlace(s) interlingüístico(s), ahora proporcionado(s) por Wikidata en la página d:q1057416.
→‎Prueba elemental: Cambio en el orden de los factores.
Línea 31:
== Prueba elemental ==
 
Considérese ''f''(''x'') como un polinomio módulo ''p''; esto es, redúzcanse los coeficientes al [[cuerpo (matemática)|cuerpo]] '''Z'''/''p'''''Z'''p. Entonces será ''c''.''x''<sup>''n''</sup> para una constante ''c'' distinta de cero. Dado que dichos polinomios tienen una factorización única, cualquier factorización de ''f'' mod ''p'' resultará en [[monomio]]s. Ahora, si ''f'' no fuese irreducible como polinomio entero, podríamos escribirlo como ''g''.''h'', y ''f'' mod ''p'' como 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'' es ''d''.''x''<sup>''k''</sup> y ''h'' mod ''p'' es ''e''.''x''<sup>''n''-''k''</sup> donde ''c'' = ''d''.''e''.
 
Vemos ahora que las condiciones dadas sobre ''g'' mod ''p'' y ''h'' mod ''p'' significan que ''p''<sup>2</sup> dividirá a ''a''<sub>0</sub>, lo que contradice nuestra hipótesis. De hecho ''a''<sub>0</sub> será ''g''(0).''h''(0) y ''p'' divide a ambos factores, como hemos dicho más arriba.