Integer-valued polynomials over matrices and divided differences
Let \(D\) be an integrally closed domain with quotient field \(K\) and \(n\) a positive integer. We give a characterization of the polynomials in \(K[X]\) which are integer-valued over the set of matrices \(M_n(D)\) in terms of their divided differences. A necessary and sufficient condition on \(f\in K[X]\) to be integer-valued over \(M_n(D)\) is that, for each \(k\) less than \(n\), the \(k\)th divided difference of \(f\) is integral-valued on every subset of the roots of any monic polynomial over \(D\) of degree \(n\). If in addition \(D\) has zero Jacobson radical then it is sufficient to check the above conditions on subsets of the roots of monic irreducible polynomials of degree \(n\), that is, conjugate integral elements of degree \(n\) over \(D\).
KeywordsInteger-valued polynomial Divided differences Matrix Integral element Polynomial closure Pullback
Mathematic Subject Classification13B25 13F20 11C20
- 2.Cahen, J.-P., Chabert, J.-L.: Integer-valued polynomials, vol. 48. American Mathematical Society Surveys and Monographs, Providence (1997)Google Scholar
- 4.Frisch, S.: Polynomial separation of points in algebras. In: Chapman, S. (ed.) Arithmetical Properties of Commutative Rings and Modules (Chapel Hill Conf.), pp. 249–254. Dekker, New York (2005)Google Scholar
- 6.Gilmer, R.: Contracted ideals with respect to integral extensions. Duke Math. J. 34, 561–571 (1967)Google Scholar
- 9.Peruginelli, G.: Integral-valued polynomials over sets of algebraic integers of bounded degree. submitted, http://arxiv.org/abs/1301.2045