4.II.20G

Number Fields
Part II, 2008

(a) Explain what is meant by an integral basis of an algebraic number field. Specify such a basis for the quadratic field k=Q(2)k=\mathbb{Q}(\sqrt{2}).

(b) Let K=Q(α)K=\mathbb{Q}(\alpha) with α=24\alpha=\sqrt[4]{2}, a fourth root of 2 . Write an element θ\theta of KK as

θ=a+bα+cα2+dα3\theta=a+b \alpha+c \alpha^{2}+d \alpha^{3}

with a,b,c,dQa, b, c, d \in \mathbb{Q}. By computing the relative traces TK/k(θ)T_{K / k}(\theta) and TK/k(αθ)T_{K / k}(\alpha \theta), show that if θ\theta is an algebraic integer of KK, then 2a,2b,2c2 a, 2 b, 2 c and 4d4 d are rational integers. By further computing the relative norm NK/k(θ)N_{K / k}(\theta), show that

a2+2c24bd and 2acb22d2a^{2}+2 c^{2}-4 b d \text { and } 2 a c-b^{2}-2 d^{2}

are rational integers. Deduce that 1,α,α2,α31, \alpha, \alpha^{2}, \alpha^{3} is an integral basis of KK.