Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2015/ii/paper-3/16f/iii/solution

Let and let be a primitive fifth root of unity. Then . The field degrees and both divide , while adjoining the two generators gives . Consequently .
The cyclotomic field is Galois with cyclic group of order . The Fundamental theorem of Galois theory gives a normal subgroup
Thus and the chain has abelian successive quotients, proving that is a solvable group. One may refine it by inserting the inverse image of the order-two subgroup of , giving cyclic factors .

New to topics? Read the docs here!