Let m⩾2 be a square-free integer, and let n⩾2 be an integer. Let L=Q(nm).
(a) By considering the factorisation of (m) into prime ideals, show that [L:Q]=n.
(b) Let T:L×L→Q be the bilinear form defined by T(x,y)=trL/Q(xy). Let βi=nmi,i=0,…,n−1. Calculate the dual basis β0∗,…,βn−1∗ of L with respect to T, and deduce that OL⊂nm1Z[nm].
(c) Show that if p is a prime and n=m=p, then OL=Z[pp].