Podemos elegir que el término constante sea coprimo a todos los demás coeficientes, por lo que el polinomio es primitivo. Entonces, por el lema de Gauss sabemos que la irreducibilidad en $\mathbb{Q}$ es equivalente a la irreducibilidad en $\mathbb{Z}$ .
Supongamos ahora que $f(x)$ es reducible en $\mathbb{Q}$ . Entonces, es reducible en $\mathbb{Z}$ Así que $f(x) = g(x) h(x)$ para algunos polinomios no constantes $g, h \in \mathbb{Z}[x]$ .
Si el término constante de $f$ es primo, entonces como $f(0)=g(0) h(0)$ tenemos que el término constante de $g$ o el término constante de $h$ est $\pm$ el término constante de $f$ .
Entonces, si elegimos el término constante de $f$ sea extremadamente grande, entonces $g$ o $h$ también debe tener ese gran término constante. Por lo tanto, uno de los otros coeficientes de $f$ también debe ser extremadamente grande.
¿Puedes terminar la prueba desde aquí?
0 votos
Utilizar el hecho de que $Q(x)$ es irreducible si $Q(x^{-1})$ es así, entonces su afirmación le dice que es posible añadir cualquier término de la forma $nx^d$ donde $d$ es el grado de $Q$ . A continuación, utilice Eisenstein después de multar para un primo que no divide $a_0$ y la suma de $x^n$
0 votos
@ALG Eso nos da irreducible $pP(x)+n$ . ¿Podemos encontrar un primer $q\gg p$ tal que $pP(x)+n$ sigue siendo irreducible en $\Bbb Z/q\Bbb Z[X]$ ? Si es así, podemos dividir el $p$ de nuevo...