Solution

ID: past-exam-of-the-number-theory-course-of-the-university-of-oxford/2009/a/3/d/solution

Let and let be a primitive th root of unity. The roots are , so . Eisenstein gives , while the prime cyclotomic extension has degree . Both degrees divide , and they are coprime. Conversely adjoining to the cyclotomic field has degree at most . These two bounds give
Restriction to gives a normal subgroup of order , hence cyclic, with quotient . Restriction is onto because embeddings of the intermediate field extend in the finite Galois splitting field. Thus has abelian factors, proving . For the cyclotomic field is just , and the same argument gives degree two and a cyclic group.

New to topics? Read the docs here!