Yo quiero probar $x^3-3x+4$ es irreducible en a $\mathbb{Q}[x]$. Eisenstein criterio no se aplica aquí, así que creo que el método más simple sería el uso Racional de las Raíces de la Prueba, derecho?
Si puedo usar las raíces racionales de prueba aquí, entonces ya es monic me basta con comprobar los factores del término constante: \begin{align*} (1)^3-3(1)+4&=2 \\ (2)^3-3(2)+4&=6 \\ (4)^3-3(4)+4&=56 \\ (-1)^3-3(-1)+4&=6 \\ (-2)^3-3(-2)+4&=2 \\ (-4)^3-3(-4)+4&=-48 \end{align*}
Por lo tanto, si $x^3-3x+4$ es reducible, tendría un grado 1 monomio factor de $(x-a)$ para uno de los $a=1,2,4,-1,-2,-4$ he probado anteriormente. Sin embargo, dado que ninguno de estos $a$ son raíces, así que no tienen un grado de 1 factor y por lo tanto es irreducible.
Lamentablemente yo no puedo encontrar ninguna referencia a las Raíces Racionales Teorema de Artin de Álgebra de texto (2ª edición), ni siquiera en el índice (sorprendente!). Así que me estoy refiriendo a la Wikipedia, y no dice específicamente: ¿esta prueba se mantenga en $\mathbb{Q}[x]$? Esperemos que es aplicable aquí y lo he utilizado correctamente...
Gracias!