Me han pedido que demuestre el siguiente enunciado en un seminario de Teoría de Galois después de haberme presentado el Teorema de Dedekind. (Supongo que esto podría ayudar a obtener la respuesta).
Dejemos que $f(x)$ sea un polinomio mónico de grado $N$ en $\mathbb{Q}[x]$ y que $E_f$ sea su campo de división sobre $\mathbb{Q}$ . Entonces, existe un polinomio mónico $p(x) \in \mathbb{Z}[x]$ de grado $N$ que tiene el mismo campo de división $E_f$ .
No puedo encontrar ninguna forma de probarlo.
¡Cualquier ayuda es bienvenida!
EDITAR: Antes había lo que yo creía que era un contraejemplo que ya ha sido contestado.