[Math] Subfield of the Galois Group of $x^5 – 1$

abstract-algebrafield-theorygalois-theory

Why is it that the subfield fixed by the subgroup of this Galois group is $\mathbb{Q}(\sqrt5)$. Can someone explain it without using the cyclotomic extension of $\mathbb{Q}$?

Thank you

edit:

Using the definition used by Don in his response we find that the galois grp is $\{id, \omega, \omega^2, \omega^3 \}$. This grp has one subgroup $K = \{id, \omega^2\}$ I am trying to find the fixed subfield of $\mathbb{Q}(\zeta) \ (\zeta$ being the root of unity of $x^5-1)$ that is fixed by $K$

Best Answer

Highlights

Put $\;\zeta:=e^{\frac{2\pi i}5}$, and let $\;\omega\in Gal(\Bbb Q(\zeta)/\Bbb Q)\;$ be complex conjugation.

Observe that for$\;z\in\Bbb C\;\;,\;\;\overline z=z^{-1}\iff |z|=1\;$ , and thus:

$$\omega(\zeta+\zeta^{-1})=\omega(\zeta)+\omega(\zeta)^{-1}=\zeta^{-1}+\zeta\implies \zeta+\zeta^{-1}\in\Bbb R$$

(or, of course, simpler: $\;\zeta+\zeta^{-1}=\zeta+\overline\zeta=2\,\text{Re}\,\zeta\in\Bbb R)\;$

which means

$$\zeta+\zeta^{-1}\in\Bbb Q^{\langle\omega\rangle}:=\;\text{the fixed field of}\;\;\omega$$

and since the order of $\;\omega\;$ in the Galois group is two and clearly $\;\zeta+\zeta^{-1}\notin\Bbb Q\;$ , we're done.

You can also check try to find the irreducible rational polynomial of $\;\zeta+\zeta^{-1}\;$ ...and it is a quadratic.

Finally, just check that

$$2\cos\frac{2\pi}5=\frac12(\sqrt5-1)\;\ldots$$