# Finding the Extension Degree of a Cyclotomic Field

Greetings Mathematics Community.

I am having much difficulty in solving the following problem:

If $m\equiv 2$ (mod 4), show that $\mathbb{Q(\zeta_m)}=\mathbb{Q(\zeta_{\frac{m}{2}})}$ where $\zeta$ is a primitive root of unity. I know that $\zeta_m=e^{\frac{2\pi i}{m}}$ and by Euler's equation, we have $\cos(\frac{2 \pi }{m})+i\sin(\frac{2\pi }{m})$.

I have tried to compare $[\mathbb{Q(\zeta_{\frac{m}{2}})}:\mathbb{Q}]$ with $[\mathbb{Q(\zeta_m)}:\mathbb{Q}]$ by substituting $\frac{m}{2}$ in Euler's equation to get $\cos(\frac{4 \pi }{m})+i\sin(\frac{4\pi }{m})$. My intuition is telling me that I should somehow use the given fact that $m\equiv 2$ (mod 4), but I am not sure how.

Furthermore, I do know that this extension degree can be found using Euler's $\phi-$function on $m$. But I am unsure about how to apply it in my situation.

As always, any help is greatly appreciated. Thanks in advance.

• Here's one way to proceed. Show $\zeta_{m} \in \mathbb{Q}(\zeta_{m/2})$ and $\zeta_{m/2} \in \mathbb{Q}(\zeta_{m})$. Nov 8, 2014 at 21:10
• Can you show that $\phi(t)=\phi(2t)$, is $t$ is odd? Apply that to $t=m/2$. Mind you, Rene's way is probably simpler. Nov 8, 2014 at 21:16
• And to start seeing the light: Try this out in the special cases $m/2=3$ and $m/2=5$. Nov 8, 2014 at 21:17

Let $m=4k+2$ $\zeta_m$ is a root of $x^{4k+2}=1$ and $\zeta_{\frac{m}{2}}$ a root of $y^{2k+1}=1$. It is now clear to see that we can take $x=-y$.
• Ok, I think I understand the substitutions, but how come there is a $\zeta_m$ in the $m$ expression, but not in the polynomial equation? Nov 8, 2014 at 21:20
• Also, why exactly is $x=-y$? I have been manipulating the expressions and end up with $x^{2(2k+1)}=y^{2k+1}$. If I take $x=-y,$ then wouldn't I have $y^{2(2k+1)}=y^{2k+1}$? Nov 11, 2014 at 14:49
if $\zeta$ is a primitive root of ${{z}^{{{2n}^{{}}}}}=1$, then ${{\zeta }^{2{{n}^{{}}}}}=1$ implies ${{\zeta }^{n}}=-1$ and when n is odd ${{(-\zeta )}^{n}}=1$