1
$\begingroup$

Let $p$ be an odd prime. For which values of $p$ is the following true: $$\mathbb{Q}\left(\sin\left(2\pi/p\right),\cos\left(2\pi/p\right)\right)=\mathbb{Q}\left(\sin\left(2\pi/p\right)\right),$$ where those are field extensions over $\mathbb{Q}$.

From $$p-1=[\mathbb{Q}(e^{2\pi/p}):\mathbb{Q}]=[\mathbb{Q}(e^{2\pi/p}):\mathbb{Q}\left(\sin\left(2\pi/p\right),\cos\left(2\pi/p\right)\right)]\cdot[\mathbb{Q}\left(\sin\left(2\pi/p\right),\cos\left(2\pi/p\right):\mathbb{Q}\right)]$$

I get $$[\mathbb{Q}\left(\sin\left(2\pi/p\right),\cos\left(2\pi/p\right)\right):\mathbb{Q}]=\frac{p-1}{2}.$$

But then $$[\mathbb{Q}\left(\sin\left(2\pi/p\right),\cos\left(2\pi/p\right)\right):\mathbb{Q}]=[\mathbb{Q}\left(\sin\left(2\pi/p\right),\cos\left(2\pi/p\right):\mathbb{Q}\sin(2\pi/p)\right)]\cdot[\mathbb{Q}\left(\sin\left(2\pi/p\right)\right):\mathbb{Q}]$$ $$\Rightarrow \frac{p-1}{2}=[\mathbb{Q}\left(\sin\left(2\pi/p\right),\cos\left(2\pi/p\right):\mathbb{Q}\sin(2\pi/p)\right)].[\mathbb{Q}\left(\sin\left(2\pi/p\right)\right):\mathbb{Q}]$$

I came across the following article What is $\operatorname{Gal}(\mathbb Q(\zeta_n)/\mathbb Q(\sin(2\pi k/n))$? which states that (since clearly $p$ prime $\Rightarrow p$ is not $0\mod4$) $$[\mathbb{Q}(\sin(2π/p)):\mathbb{Q}]=ϕ(p)=p-1$$

which forces $$[\mathbb{Q}\left(\sin\left(2\pi/p\right),\cos\left(2\pi/p\right):\mathbb Q(\sin(2\pi/p)\right)]=\frac{1}{2}.$$

Clearly something went wrong but I'm not sure what - I have a feeling I'm making some elementary error.

$\endgroup$
1
$\begingroup$

With $s=\sin(2\pi/p), c=\cos(2\pi/p)$, note that $\mathbb Q(s,c,i)=\mathbb Q(\zeta_{4p})$ (because $i(c+is)$ is a primitive $4p$th root of unity and on the other hand $i=\zeta_{4p}^p, c=\frac{\zeta_{4p}+\zeta_{4p}^{-1}}2,c=\frac{\zeta_{4p}-\zeta_{4p}^{-1}}{2i}$) and is of degree $\phi(4p)=2(p-1)$ over $\mathbb Q$ and clearly of degree 2 over $\mathbb Q(s,c)$. Hence I get $[\mathbb Q(s,c):\mathbb Q]=p-1$, not $\frac{p-1}2$.


Aiming at the original question:

From expanding $(c+is)^p=1$ and taking the real part, we find a polynomial for $c$ with coefficients in $\mathbb Q(s)$ and such that only odd powers of $c$ appear (because only even powers of $is$ appear in the real part). Since $c^{2k+1}=c\cdot (1-s^2)^k$ we obtain in fact a linear polynomial for $c$, hence see directly that $\mathbb Q(s,c)=\mathbb Q(s)$.

$\endgroup$
  • $\begingroup$ @QiaochuYuan That's why I say $[\mathbb Q(s,c,i):\mathbb Q(s,c)]=2$. Am I (still) missing something? $\endgroup$ – Hagen von Eitzen Nov 14 '12 at 22:49
  • $\begingroup$ Isn't $\mathbb{Q}(s,c,i)$ the same as $\mathbb{Q}(e^{2\pi/p})$ though? $\endgroup$ – Rcwt Nov 14 '12 at 22:53
  • $\begingroup$ No, $i\notin \mathbb Q(e^{2\pi/p})$. (Even if you mean $\mathbb Q(e^{i\cdot2\pi/p})$) $\endgroup$ – Hagen von Eitzen Nov 14 '12 at 23:00
  • $\begingroup$ As it is shown here $\mathbb Q(s,c)\neq\mathbb Q(s)$. Can you reconciliate your answer with that one? $\endgroup$ – user26857 Aug 15 '13 at 20:53

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.