Integral closure of rings of integer-valued polynomials on algebras

Abstract

Let $D$ be an integrally closed domain with quotient field $K$. Let $A$ be a torsion-free $D$-algebra that is finitely generated as a $D$-module. For every $a$ in $A$ we consider its minimal polynomial ${\mu }_a(X)\in D[X]$, i.e. the monic polynomial of least degree such that ${\mu }_a(a)=0$. The ring ${\mathrm{Int}}_K(A)$ consists of polynomials in $K[X]$ that send elements of $A$ back to $A$ under evaluation. If $D$ has finite residue rings, we show that the integral closure of ${\mathrm{Int}}_K(A)$ is the ring of polynomials in $K[X]$ which map the roots in an algebraic closure of $K$ of all the ${\mu }_a(X)$, $a\in A$, into elements that are integral over $D$. The result is obtained by identifying $A$ with a $D$-subalgebra of the matrix algebra $M_n(K)$ for some $n$ and then considering polynomials which map a matrix to a matrix integral over $D$. We also obtain information about polynomially dense subsets of these rings of polynomials.

Keywords: Integer-valued polynomial, matrix, triangular matrix, integral closure, pullback, polynomially dense set. accepted for publication in the volume "Commutative rings, integer-valued polynomials and polynomial functions", M. Fontana, S. Frisch and S. Glaz (editors), Springer 2014

Cited by in corpus (9)

• Properly Integral Polynomials over the Ring of Integer-valued Polynomials on a Matrix Ring
• The ring of polynomials integral-valued over a finite set of integral elements
• Non-triviality Conditions for Integer-valued Polynomial Rings on Algebras
• Polynomial overrings of $\mathrm{Int}(\mathbb{Z})$
• Null ideals of matrices over residue class rings of principal ideal domains
• Galois structure on integral valued polynomials
• Decomposition of integer-valued polynomial algebras
• A Survey on Fixed Divisors
• Nontriviality of rings of integral-valued polynomials