Paper 1, Section II, H

Number Fields
Part II, 2009

Suppose that KK is a number field with ring of integers OK\mathcal{O}_{K}.

(i) Suppose that MM is a sub- Z\mathbb{Z}-module of OK\mathcal{O}_{K} of finite index rr and that MM is closed under multiplication. Define the discriminant of MM and of OK\mathcal{O}_{K}, and show that disc(M)=r2disc(OK).\operatorname{disc}(M)=r^{2} \operatorname{disc}\left(\mathcal{O}_{K}\right) .

(ii) Describe OK\mathcal{O}_{K} when K=Q[X]/(X3+2X+1)K=\mathbb{Q}[X] /\left(X^{3}+2 X+1\right).

[You may assume that the polynomial X3+pX+qX^{3}+p X+q has discriminant 4p327q2-4 p^{3}-27 q^{2}.]

(iii) Suppose that f,gZ[X]f, g \in \mathbb{Z}[X] are monic quadratic polynomials with equal discriminant dd, and that d{0,1}d \notin\{0,1\} is square-free. Show that Z[X]/(f)\mathbb{Z}[X] /(f) is isomorphic to Z[X]/(g)\mathbb{Z}[X] /(g).

[Hint: Classify quadratic fields in terms of discriminants.]