A note on the integral trace form in cyclotomic fields

Let m >= 3 be an integer, zeta(m) is an element of C a primitive mth root of unity, and K-m the cyclotomic field Q(zeta(m)). An explicit description of the integral trace form Tr-Km/Q(x (x) over bar)vertical bar Z[zeta(m)] where (x) over bar is the complex conjugate of x is presented. In the case where m is prime, a procedure for finding the minimum of the form subject to x being a nonzero element of a certain Z- module in Z[zeta(m)] is presented.