Two variations of a theorem of Kronecker

We present two variations of Kronecker's classical result that every nonzero algebraic integer that lies with its conjugates in the closed unit disc is a root of unity. The first is an analogue for algebraic nonintegers, while the second is a several variable version of the result, valid over any field.