Integer-valued polynomials on algebras (Q2377443)

Let \(D\) be a domain which is not a field, let \(K\) be its field of quotients, and let \(A\) be a torsion-free \(D\)-algebra, finitely generated as a \(D\)-module and satisfying \(K\cap A=D\). A polynomial \(f\in K[X]\) is said to be integer-valued on \(A\), if \(f(A)\subset A\). The ring of all such polynomials is denoted by \(\mathrm{Int}_D(A)\). Integer-valued polynomials on \(A\) in \(n\geq2\) variables are defined similarly, however they form a ring, denoted by \(\mathrm{Int}^n_D(A)\) only if \(A\) is commutative. The author shows (Theorem 2.2) that if \(f\in K[X_1,\dots,X_n]\) is integer-valued on \(A\), then the polynomial function \(A^n\longrightarrow A\), induced by \(f\), is uniformly \(I\)-adically continuous for every ideal \(I\) of \(D\). This is then used to provide a description of prime ideals in \(\mathrm{Int}^n_D(A)\). This description is applied in the last section to characterize prime ideals in the ring of polynomials with coefficients in \(M_n(K)\), the ring of \(n\times n\) matrices over \(K\), mapping \(M_n(D)\) in \(M_n(D)\), studied earlier by \textit{N. J. Werner} [Commun. Algebra 40, No. 12, 4717--4726 (2012; Zbl 1272.16028)].