# Is $\sqrt{2}$ contained in $\mathbb{Q}(\zeta_n)$?

Is $\sqrt[3]{2}$ contained in $\mathbb{Q}(\zeta_n)$ for some $n$, where $\zeta_n=e^{2\pi i/n}$?

I think the answer is no, but I can’t give a full proof. Assume the contrary, we then have $\mathbb{Q}(\sqrt[3]{2}) \subset \mathbb{Q}(\zeta_n)$, can I say $\mathbb{Q}(\zeta_n)/ \mathbb{Q}$ is a cyclic extension but $\mathbb{Q}(\sqrt[3]{2}) / \mathbb{Q}$ is not, so this is a contradiction?

#### Solutions Collecting From Web of "Is $\sqrt{2}$ contained in $\mathbb{Q}(\zeta_n)$?"

Hint 1: Every subgroup of an abelian group is normal.

Hint 2: If $L/K$ is Galois, normal subgroups $H \subseteq \text{Gal}(L/K)$ correspond to normal extensions $L^H/K$.

Hint 3: Is $\Bbb{Q}(\sqrt[3]{2})$ a normal extension?

Not all the extensions $\mathbb{Q}(\zeta_n)/\mathbb{Q}$ are cyclic (e.g. $n=8$ or any $n$ with two odd prime factors).

They are all abelian, though. So all their subextensions are ________