Category: Field Theory
A complex number $z$ is called algebraic number (respectively, algebraic integer) if $z$ is a root of a monic polynomial with rational (respectively, integer) coefficients.
Prove that $z \in \C$ is an algebraic number (resp. algebraic integer) if and only if $z$ is an eigenvalue of a matrix with rational (resp. integer) entries.