Eigenvalues of symmetric integer matrices (Q1201732)

This paper contains the proof of the following interesting theorem: The set of eigenvalues of symmetric matrices over the rational integer is the set of all totally real algebraic integers. The original question was posed by \textit{A. Hoffman} (unpublished communication) and the analogous one over the rational numbers was answered by \textit{F. Krakowski} [Commentarii Math. Helvet. 32, 224-240 (1958; Zbl 0083.007)]. The proof of the theorem of this paper shows that a totally real algebraic integer \(\Theta\) occurs as an eigenvalue of a \(t\times t\) integer matrix with \(t=O(n^ 2)\) where \(n=[Q(\Theta):Q]\). The author also poses the question how to reduce the size of the considered matrix to \(O(n)\) similarly to the case discussed over the rational numbers.