4

What's a quick elegant way to compute the galois group of $\mathbb Q(\cos \frac \pi 8)/\mathbb Q$? I found the minimal polynomial to be $x^4-x^2-\frac 18$ but computing things directly is just horrible. I ended up getting $D_4$ and I'm not even sure it's correct...

Help!

Alex Wertheim
  • 20,278
  • @MichaelTong I found what I wrote for $\cos$ and what you wrote for $\sin$.. –  Jul 20 '16 at 22:59
  • This is a subfield of a cyclotomic field, so it will have an abelian Galois group. Can you clarify if you mean $D_4$ as the dihedral group associated to a square, or to football graph? (i.e. order 4 or 8) – Adam Hughes Jul 21 '16 at 02:31

2 Answers2

6

Here is an answer that uses no tinkering: we have that $ \textrm{Gal}(\mathbf Q(\zeta_{16})/\mathbf Q) \cong (\mathbf Z / 16\mathbf Z)^{\times} \cong C_4 \times C_2 $, and we note that any element of the Galois group can be written as $ \sigma^i \tau^j $, where $ \sigma : \zeta_{16} \to \zeta_{16}^3 $ and $ \tau : \zeta_{16} \to \zeta_{16}^{-1} $. We observe that the subfield $ \mathbf Q(\cos(\pi/8)) = \mathbf Q(\zeta_{16} + \zeta_{16}^{-1}) $ is stabilized by $ \{ 1, \tau \} $, therefore its Galois group over $ \mathbf Q $ is given by $ \langle \sigma \rangle $, which is cyclic of order 4.

Note that if $ L/K $ is a Galois extension of fields with Galois group $ G $ and a normal subgroup $ H $ has fixed field $ F $, then $ \textrm{Gal}(F/K) \cong G/H $. This follows directly from the isomorphism extension theorem. Therefore, the above Galois group is just $ \langle \sigma, \tau \rangle / \langle \tau \rangle \cong \langle \sigma \rangle $. (It is important for this conclusion that $ \sigma $ and $ \tau $ commute.)

Ege Erdil
  • 17,747
  • 2
    +1 Nice answer, and more general than mine above. I suppose when I see an extension generated by $\cos(\pi/k)$, I should be thinking ''maximal real subfield of some cyclotomic extension''... :) – Alex Wertheim Jul 21 '16 at 01:30
2

It does seem that computing the Galois group of this extension is pretty terrible. However, $\cos(\pi/8) = \sqrt{2+\sqrt{2}}/2$, so $\mathbb{Q}(\cos(\pi/8)) = \mathbb{Q}(\sqrt{2+\sqrt{2}})$, which is a much nicer extension (note that $\sqrt{2+\sqrt{2}}$ has minimal polynomial $x^{4}-4x^{2}+2$, which is irreducible by Eisenstein at $2$). As outlined in the comments, one can show that this extension is cyclic with Galois group $\mathbb{Z}/4\mathbb{Z}$. More details can be found here as well.

Alex Wertheim
  • 20,278
  • I'm pretty stuck beyond irreducibility of the minimal polynomial. I think this means the extension you suggested is a splitting field, but I'm not sure what now. Tinkering in my head it's looking like the Galois group is $\mathbb Z_4$, but I don't know if there's a quick way to show it or if it's true.. –  Jul 20 '16 at 23:07
  • @Exterior: you are absolutely on the right track. Try showing that $\pm \sqrt{2 \pm \sqrt{2}}$ are all the other roots of $x^{4}-4x^{2}+2$, making this indeed a splitting field, showing that the Galois group has order $4$. Then, to determine the automorphisms, consider the possible images of $\sqrt{2+\sqrt{2}}$; some more tinkering will show that the extension is cyclic, as you suggest. – Alex Wertheim Jul 20 '16 at 23:09
  • See also (if you remain stuck) – ccorn Jul 20 '16 at 23:11