Paper 4, Section II, G

Number Fields
Part II, 2010

Suppose that α\alpha is a zero of x3x+3x^{3}-x+3 and that K=Q(α)K=\mathbb{Q}(\alpha). Show that [K:Q]=3[K: \mathbb{Q}]=3. Show that OKO_{K}, the ring of integers in KK, is OK=Z[α]O_{K}=\mathbb{Z}[\alpha].

[You may quote any general theorem that you wish, provided that you state it clearly. Note that the discriminant of x3+px+qx^{3}+p x+q is 4p327q2-4 p^{3}-27 q^{2}.]