Paper 4, Section II, F
Let where and are distinct primes with . By computing the relative traces where runs through the three quadratic subfields of , show that the algebraic integers in have the form
where are rational integers. Show further that if and are both even then and are both even. Hence prove that an integral basis for is
Calculate the discriminant of .
Typos? Please submit corrections to this page on GitHub.