Paper 4, Section II, F

Number Fields | Part II, 2012

Let K=Q(p,q)K=\mathbb{Q}(\sqrt{p}, \sqrt{q}) where pp and qq are distinct primes with pq3(mod4)p \equiv q \equiv 3(\bmod 4). By computing the relative traces TrK/k(θ)\operatorname{Tr}_{K / k}(\theta) where kk runs through the three quadratic subfields of KK, show that the algebraic integers θ\theta in KK have the form

θ=12(a+bp)+12(c+dp)q\theta=\frac{1}{2}(a+b \sqrt{p})+\frac{1}{2}(c+d \sqrt{p}) \sqrt{q}

where a,b,c,da, b, c, d are rational integers. Show further that if cc and dd are both even then aa and bb are both even. Hence prove that an integral basis for KK is

1,p,1+pq2,p+q2.1, \sqrt{p}, \frac{1+\sqrt{p q}}{2}, \frac{\sqrt{p}+\sqrt{q}}{2} .

Calculate the discriminant of KK.

Typos? Please submit corrections to this page on GitHub.