I know that the degree is at most $6$, since $\sqrt{2} + \sqrt[3]{5} \in \mathbb Q(\sqrt{2}, \sqrt[3]{5})$, which has degree $6$ over $\mathbb Q$. I'm trying to construct a polynomial with root $\sqrt{2} + \sqrt[3]{5}$ and coefficients in $\mathbb Q$ of degree $6$, and then show that it is irreducible over $\mathbb Q$.
I managed to find that it is a root of the polynomial $x^6 – 6x^4 – 10x^3 +12x^2 – 60x +17$. This is where I run in to some problems. I don't know how to show that this is irreducible over $\mathbb Q$ (or $\mathbb Z$). The only criteria we have learned is Eisenstein's criteria, which clearly does not apply here. How else can I show that the degree of this number over $\mathbb Q$ is $6$?
Best Answer
Here’s how you can show irreducibility of your polynomial, using the same method I used in the argument I gave in the reference that @BillDubuque mentioned:
First form $x^3-5$, the minimal polynomial for $\root3\of5$ over $\Bbb Q$. Now think of it as a polynomial over the principal ideal domain $\Bbb Z[\sqrt2\,]$. It happens that $5$ is still prime there, so Eisenstein still applies, and this is the minimal polynomial for $\root3\of5$ over the extension. Consequently $(x-\sqrt2)^3-5$ is still irreducible over $\Bbb Z[\sqrt2\,]$, and it’s the minimal polynomial for $\sqrt2+\root3\of5$. Let’s call this polynomial $f(x)$. It’s actually $x^3-3\sqrt2x^2+6x-5+2\sqrt2$. Now take the conjugate polynomial, call it $\bar f$, which you get by replacing $\sqrt2$ by $-\sqrt2$ in $f$ wherever it appears. Finally, multiply, and get $f\bar f$, which turns out to be exactly the sextic polynomial you calculated.
This clearly is a $\Bbb Q$-polynomial that has $\sqrt2+\root3\of5$ as a root. But it is also a $\Bbb Z[\sqrt2\,]$-polynomial, and we know its factorization into irreducibles there, namely $f\bar f$. And by uniqueness of factorization there, this is the only possible factorization with coefficients in $\Bbb Z[\sqrt2\,]$. But a $\Bbb Q$-factorization of your polynomial would also be a $\Bbb Z[\sqrt2\,]$-factorization, and we already have one such, and it’s unique. So there is no factorization of your polynomial over $\Bbb Z$ or $\Bbb Q$.