By a number field, we mean a finite extension of Q. If F is a number field, the ring of integers of F is the integral closure of Z in F. Since the ring of integers of F is finitely generated and torsion free, it is free ...