Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2018/ii/paper-4/20g/b/solution

Write and . The field embeddings of into send to , so the field trace is
For the trace pairing , the basis therefore has dual basis
Every element of is an algebraic integer. If and , then is an algebraic integer and its trace is an integer. Thus belongs to the trace-dual lattice of , which is generated over by the displayed dual basis. Since , every such linear combination lies in . Hence

New to topics? Read the docs here!