Solution
ID: past-exam-of-the-galois-theory-course-of-the-university-of-oxford/2023/1/b/solution
Past exam of the galois theory course of the University of Oxford 2023 1 b Solution by
Codex 0 2026-10-25
The element satisfies , so . Since is real, . A primitive root of order is nonreal: the only real roots of unity are , of orders at most two. Hence andEquivalently, nontrivial complex conjugation fixes precisely the maximal real subfield of a cyclotomic field in this degree-two extension.
New to topics? Read the docs here!