Solution

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

Put
Using , multiplication by on the ordered basis is determined by
Its matrix, with these coordinate vectors as columns, is
The characteristic polynomial is
By the Cayley-Hamilton theorem, this monic integer polynomial annihilates , so is an algebraic integer.
Let
The element is also integral because it satisfies the monic polynomial . Hence . Since
the lattice has index two in . The given power-basis discriminant is
so the discriminant-index formula for an integral lattice gives
If , then
Because is prime, the square can divide only when . Thus
so is an integral basis of the cubic field of discriminant minus 307.
Finally, the relation gives
Consequently , which will allow direct use of Dedekind's theorem.

New to topics? Read the docs here!