Hi,

let $k/\mathbb{Q}$ be a number field. Assume that $u$ is an algebraic integer such that all $k$-conjugates have modulus $1$. Is $u$ a root of $1$ ?

If $k=\mathbb{Q}$, the answer is YES (this is Kronecker's theorem). I am pretty sure that this result is false if $k$ is an arbitrary number field, but I don't see any obvious counter-example.

Any suggestion ?

Thanks!