Estoy tratando de encontrar el polinomio mínimo de $\alpha = \sqrt{\sqrt[3]{7}-5}$. Más bien, yo sé que va a ser $p(x) = x^6 +15x^4+75x^2+118$ por acaba de cuadrar y, a continuación, cubicación de manera adecuada, pero me gustaría comprobar que este es el polinomio mínimo.
El método habitual que uso, si por ejemplo, tenemos una raíz cuadrada en el interior de la raíz cuadrada) es verificar que $[\mathbb{Q}(\alpha):\mathbb{Q}]=6$ señalando que $$ \mathbb{Q} \subset \mathbb{Q}(\sqrt[3]{7}) \subset \mathbb{Q}(\alpha) $$ y, a continuación, mostrando que $\sqrt[3]{7} - 5$ no es un cuadrado dentro de $\mathbb{Q}(\sqrt[3]{7})$. Pero no puedo obtener el método habitual de suponer que es un cuadrado y luego de llegar a una contradicción para el trabajo. I. e. escrito $\sqrt[3]{7} - 5 = (a + b \sqrt[3]{7})^2$ y la conjugación con $-\sqrt[3]{7} - 5 = (a - b \sqrt[3]{7})^2$ y, a continuación, multiplicando los dos no nos ayuda (porque tenemos un cubo de raíz en lugar de una raíz cuadrada). Así que mi pregunta es si hay una manera sencilla de hacer este tipo de preguntas cuando tenemos una raíz cúbica en el interior de la raíz principal?
También, como una pregunta, me gustaría preguntarle si realmente tenemos que decir $p(x)$, es un polinomio mínimo de $\theta$ sobre $K$ un campo es equivalente a $p(\theta)=0$ e $p(x)$ es irreducible? O esto no es suficiente para minimality? Hacer, hemos de mostrar que el grado es mínima? Así que si se podía demostrar que $p(x)$ en la pregunta anterior es irreductible, que sería suficiente para demostrar que el polinomio mínimo o todavía tenemos que hacer algunas cosas para el grado?
Muchas gracias por la ayuda.