Paper 1, Section II, 20G

Number Fields | Part II, 2021

Let K=Q(α)K=\mathbb{Q}(\alpha), where α3=5α8\alpha^{3}=5 \alpha-8

(a) Show that [K:Q]=3[K: \mathbb{Q}]=3.

(b) Let β=(α+α2)/2\beta=\left(\alpha+\alpha^{2}\right) / 2. By considering the matrix of β\beta acting on KK by multiplication, or otherwise, show that β\beta is an algebraic integer, and that (1,α,β)(1, \alpha, \beta) is a Z\mathbb{Z}-basis for OK\mathcal{O}_{K} \cdot [The discriminant of T35T+8T^{3}-5 T+8 is 4307-4 \cdot 307, and 307 is prime.]

(c) Compute the prime factorisation of the ideal (3) in OK\mathcal{O}_{K}. Is (2) a prime ideal of OK?\mathcal{O}_{K} ? Justify your answer.

Typos? Please submit corrections to this page on GitHub.