Integer-valued polynomials over matrices and divided differences

TL;DR

This paper characterizes polynomials that are integer-valued over matrices with entries in an integrally closed domain, using divided differences and properties of roots of monic polynomials, extending classical integer-valued polynomial theory.

Contribution

It provides a new characterization of integer-valued polynomials over matrix rings via divided differences and root conditions, generalizing previous results to broader algebraic settings.

Findings

Characterization of integer-valued polynomials over matrix rings.

Use of divided differences to determine integrality conditions.

Reduction to checking roots of monic irreducible polynomials under certain conditions.

Abstract

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 the intersection of the maximal ideals of finite index is $(0)$ 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$.