Solution

ID: past-exam-of-the-galois-theory-course-of-the-university-of-oxford/2023/1/b/solution

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 and
Equivalently, 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!