Show that $[\mathbb{Q}(\sqrt[4]{2}, \sqrt{3}):\mathbb{Q}]=8$

$[\mathbb{Q}(\sqrt[4]{2}, \sqrt{3}):\mathbb{Q}]=[\mathbb{Q}(\sqrt[4]{2}),\mathbb{Q}(\sqrt{3})][\mathbb{Q}(\sqrt{3}),\mathbb{Q}]=(4)(2)=8$. For $x^4-2$ and $x^2-3$ are the minimal polynomials of $\sqrt[4]{2}$ in $\mathbb{Q}(\sqrt{3})$ and $\sqrt{3}$ in $\mathbb{Q}$ respectively. Is this correct?

  • 2
    $\begingroup$ You should justify why $x^4-2$ is irreducible over $\Bbb{Q}(\sqrt3)$. It is irreducible over $\Bbb{Q}$ by Eisenstein, but that no longer applies (without selected pieces of algebraic number theory) in this extension field. $\endgroup$ – Jyrki Lahtonen Sep 4 '17 at 3:47
  • $\begingroup$ You could try and mimick these ideas and show that $\sqrt3\notin\Bbb{Q}(\root4\of2)$. $\endgroup$ – Jyrki Lahtonen Sep 4 '17 at 3:51
  • 2
    $\begingroup$ I think it is easier to say $x^4-2= (x^2-\sqrt{2})(x^2+\sqrt{2})= (x-\sqrt[4]{2}) h(x)$ is irreducible over $\mathbb{Q}(\sqrt{3})$ because $\sqrt{2} \not \in \mathbb{Q}(\sqrt{3})$. @JyrkiLahtonen $\endgroup$ – reuns Sep 4 '17 at 3:59
  • $\begingroup$ That's a good idea @reuns. The quadratic factors where a real root is paired up with a non-real obviously don't have coefficients in $\Bbb{Q}(\sqrt3)$ :-) $\endgroup$ – Jyrki Lahtonen Sep 4 '17 at 4:10

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.