0
$\begingroup$

I am asked to prove that "$\sqrt[3]{2}\not\in\mathbb{Q}(\alpha_n)$ for all $n$ where $\alpha_n$ is the primitive nth root of unity"

I have attempted to use contradiction with the tower theorem. I got stuck at $[\mathbb{Q}(\alpha_n):\mathbb{Q}(\sqrt[3]{2})]=\frac{\phi(n)}{3}$ where $\phi(n)$ is the Euler totient function. Can someone give me some sort of hint?

Thanks in advance!

1 Answers 1

3

There's an answer using Galois Theory:

Since ${\bf Q}(\alpha_n)$ is normal over the rationals, if $\root3\of2$ is in it, so are all its conjugates. That makes the Galois group of the splitting field of $x^3-2$ a quotient group of the Galois group of ${\bf Q}(\alpha_n)$. But the Galois group of the splitting field of $x^3-2$ is the nonabelian group $S_3$, the Galois group of ${\bf Q}(\alpha_n)$ is abelian, contradiction.

Maybe someone will come up with a proof that uses less machinery.

  • 0
    Not isomorphic, equal --- on the (false) assumption that $\root3\of2$ is in ${\bf Q}(\alpha_n)$.2012-11-22