Let K=Q(α), where α=310, and let OK be the ring of algebraic integers of K. Show that the field polynomial of r+sα, with r and s rational, is (x−r)3−10s3.
Let β=31(α2+α+1). By verifying that β=3/(α−1) and determining the field polynomial, or otherwise, show that β is in OK.
By computing the traces of θ,αθ,α2θ, show that the elements of OK have the form
θ=31(l+101mα+101nα2)
where l,m,n are integers. By further computing the norm of 101α(m+nα), show that θ can be expressed as 31(u+vα)+wβ with u,v,w integers. Deduce that 1,α,β form an integral basis for K.