Generalized rings of integer-valued polynomials (Q452380)

Let us first recall the definition of the classical ring of integer-valued polynomials \(\mathrm{Int}(\mathbb{Z})=\{f(X)\in\mathbb{Q}[X];f(\mathbb{Z})\) \(\subseteq \mathbb{Z}\}\). In the literature, many generalizations are done where elements of \(\mathbb{Q}[X]\) act on sets such as rings of algebraic integers or the ring \(M_n(\mathbb{Z})\) of \(n\times n\) matrices with entries in \(\mathbb{Z}\). In this paper, the authors answer the following two questions: (1) Do there exist Prüfer domains which lie properly between \(\mathbb{Z}[X]\) and \(\mathrm{Int}(\mathbb{Z})\)? (2) Is the integral closure of \(\mathrm{Int}_{\mathbb{Q}}(M_n(\mathbb{Z}))\) a Prüfer domain? For (1), let \(A_{\infty}\) be the ring of all algebraic integers and let \(S\) be a subset of \(A_{\infty}\). Then consider the ring \(\mathrm{Int}_{\mathbb{Q}}(S,A_{\infty})=\{f(X)\in \mathbb{Q}[X]; f(S)\subseteq A_{\infty}\}\). If \(S\) properly contains \(\mathbb{Z}\) then \(\mathrm{Int}_{\mathbb{Q}}(S,A_{\infty})\) lies between \(\mathbb{Z}[X]\) and \(\mathrm{Int}(\mathbb{Z})\). The authors demonstrate that for a positive integer \(n\) the collection of all algebraic integers of degree less than or equal to \(n\) over \(\mathbb{Q}\) constitutes a set \(S\) such that \(\mathrm{Int}_{\mathbb{Q}}(S,A_{\infty})\) is a Prüfer domain. For (2), the authors prove that \(\mathrm{Int}_{\mathbb{Q}}(M_n(\mathbb{Z}))\) is not integrally closed and that its integral closure is the Prüfer domain \(\mathrm{Int}_{\mathbb{Q}}(S,A_{\infty})\) , with \(S\) being the collection of all algebraic integers of degree less than or equal to \(n\).