I want to know whether$\Bbb Q(sin2π/n)$ is Galois over $Q $or not.
Let ζ be a n-th root of unity. $sin2π/n=(ζ+1/ζ)/2i$,
I know
$\Bbb Q$⊂$\Bbb Q(sin2π/n)$⊂ $\Bbb Q(ζ,i)$
and $\Bbb Q(ζ,i)/\Bbb Q $ is Abel extension(Is this right? How to prove it ?),
$\Bbb Q$(sin2π/n)/$\Bbb Q $is Galois.
Is my attempt right? I would be appreciated if you could help me, thank you.
$\Bbb{Q}(\zeta_n,i)=\Bbb{Q}(\zeta_m)$ where $m=lcm(n,4)$. And $\Bbb{Q}(\zeta_m)/\Bbb{Q}$ is Galois and abelian because its Galois group is a subgroup of $\Bbb{Z}/m\Bbb{Z}^\times$ (in fact it is the whole of it) where $a\bmod m$ corresponds to $\zeta_m \mapsto \zeta_m^a$. Yes, the Galois correspondence between each subgroup and its fixed subfield implies that subextensions of an abelian extension are Galois (and abelian).