Paper 1, Section II, 18H

Galois Theory
Part II, 2012

List all subfields of the cyclotomic field Q(μ20)\mathbb{Q}\left(\boldsymbol{\mu}_{20}\right) obtained by adjoining all 20 th roots of unity to Q\mathbb{Q}, and draw the lattice diagram of inclusions among them. Write all the subfields in the form Q(α)\mathbb{Q}(\alpha) or Q(α,β)\mathbb{Q}(\alpha, \beta). Briefly justify your answer.

[The description of the Galois group of cyclotomic fields and the fundamental theorem of Galois theory can be used freely without proof.]