Prove that $x^3-2$ and $x^3-3$ are irreducible over $\Bbb{Q}(i)$

Let $F=\Bbb{Q}(i)$. Prove that $x^3-2$ and $x^3-3$ are irreducible over $F$.

How do I go about this? Should I just say that the roots of $x^3-2$ are $2^{1/3},2^{1/3}e^{i2\pi/3},2^{1/3}e^{i4\pi/3}$, which do not belong to $\Bbb{Q}(i)$?


For a cubic polynomial, that argument works: it's irreducible if and only if it doesn't have any roots.

Alternately for $X^3 - 3$, you can use the fact that $\mathbb{Z}[i]$ is a unique factorization domain and $3$ is prime in $\mathbb{Z}[i]$, and apply the Eisenstein criterion.


A lot of the other answers have espoused that your answer is ultimately ok, but you should be cautious with polynomials of higher degree. I can't say I fully agree with the first point - saying that the roots aren't in $\mathbb{Q}(i)$ feels to me like you are begging the question, because that is precisely what you are trying to prove. How do you know that $2^{1/3}$ is not in $\mathbb{Q}(i)$, other than because it seems like it should be true?

To me, there are two rigorous approaches that stick out here. The first is the Eisenstein argument given in D_S's answer, which is great and very beautiful. It also hinges on knowing a few (albeit elementary) facts about $\mathbb{Z}[i]$, which you may not feel comfortable using.

The other argument that comes to my mind is a degree argument. This, I believe, proves what you are trying to show is true. Let $\alpha$ be a root of $f(X) = X^{3}-2$. If $f$ is reducible over $\mathbb{Q}(i)$, then without loss of generality, $\alpha$ is in $\mathbb{Q}(i)$, so $\mathbb{Q}(\alpha)$ is a subfield of $\mathbb{Q}(i)$. By the multiplicativity of field extension degree, $[\mathbb{Q}(i):\mathbb{Q}] = [\mathbb{Q}(i):\mathbb{Q}(\alpha)][\mathbb{Q}(\alpha):\mathbb{Q}] = 2$, so $[\mathbb{Q}(\alpha):\mathbb{Q}]\mid 2$. But by Eisenstein at $2$, $f$ is irreducible over $\mathbb{Q}$, so $[\mathbb{Q}(\alpha):\mathbb{Q}] = 3$, a contradiction. An identical argument works for $X^{3}-3$.