Properly integral polynomials over the ring of integer-valued polynomials on a matrix ring (Q296666)

Let \(D\) be a Dedekind domain having finite residue fields, let \(M_n(D)\) be the ring of \(n\times n\) matrices over \(D\) and denote by \(\mathrm{Int}_K(M_n(D))\) the ring of polynomials \(f(X)\) over the fraction field \(K\) of \(D\) satisfying \(f(M_n(K))\subset M_n(K)\). Polynomials \(f\in K[X]\setminus \mathrm{Int}_K(M_n(D))\) which belong to the integral closure of \(\mathrm{Int}_K(M_n(D))\) are called \textit{properly integral over} \(\mathrm{Int}_K(M_n(D))\). Examples of such polynomials in the case \(n=2\) were found by \textit{S. Evrard} and \textit{K. Johnson} [J. Algebra 441, 660--677 (2015; Zbl 1327.13069)] and the authors present a construction of them for every \(n\geq2\), considering first the case when \(D\) is a discrete valuation ring. This implies that \(\mathrm{Int}_K(M_n(D))\) is not integrally closed, and in Corollary 3.5 it is shown that the same applies to \(\mathrm{Int}_K(A)\), where \(A\) is a torsion-free \(D\)-algebra, finitely generated as a \(D\)-module and satisfying \(A\cap K = D\). In the last section of the paper the generators of the null ideal \(N_R(R)=\{f\in R[X]:\;f(R)=0\}\) are determined in the case, when \(R=V/\pi^nV\), \(V\) being a discrete valuation ring with maximal ideal generated by \(\pi\) (Theorem 4.10).