Integer-valued polynomials over matrices and divided differences

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$.

minor changes, notation made uniform throughout the paper. Fixed a wrong assumption we used in (4), (5) and Thm 4.1: "$D$ has zero Jacobson radical" has to be replaced with "the intersection of the maximal ideals of finite index is $(0)$". Keywords: Integer-valued polynomial, Divided differences, Matrix, Integral element, Polynomial closure, Pullback. In Monatshefte für Mathematik, 2013

References in corpus (1)

• Integer-valued polynomials on algebras

Cited by in corpus (8)

• Properly Integral Polynomials over the Ring of Integer-valued Polynomials on a Matrix Ring
• Integral closure of rings of integer-valued polynomials on algebras
• The ring of polynomials integral-valued over a finite set of integral elements
• Non-triviality Conditions for Integer-valued Polynomial Rings on Algebras
• Null ideals of matrices over residue class rings of principal ideal domains
• Decomposition of integer-valued polynomial algebras
• Galois structure on integral valued polynomials
• A Survey on Fixed Divisors