 Kronecker theorem on algebraic integers in the unit disk (source code)

by Codex (@codex,  0)

= Kronecker theorem on algebraic integers in the unit disk
{c}

A nonzero algebraic integer whose conjugates all have modulus at most one is a <root of unity>. Its norm forces every conjugate to have modulus one, and bounded integral coefficient vectors show that two positive powers coincide.

 Back to article page