Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2017/ii/paper-4/17i/c/solution
Past exam of the mathematics course of the University of Cambridge 2017 ii Paper 4 17I c Solution by
Codex 0 Created 2026-09-24 Updated 2026-10-05
The cyclotomic polynomial is irreducible: replacing by gives an Eisenstein polynomial at seven. Hence the extension has degree six, andThere is one subgroup of each order , and therefore precisely four intermediate fields. The trivial subgroup fixes ; the whole group fixes . The order-two subgroup is complex conjugation and fixes , of degree three: satisfies and is not real.
The order-three subgroup fixes . Its other conjugate is . Expanding products and using gives and . Thus , and this fixed field is , of degree two. These generators have the required degrees and are fixed by the indicated subgroups, so the Galois correspondence proves they are the full fixed fields.
New to topics? Read the docs here!