Algebraic-integer valued polynomials (Q2161344)

Let \(R\) be a Dedekind domain of a global field \(K\). Let \(\mathrm{int}(n,R):=\{\alpha\in\overline{R}\mid [K(\alpha):K]=n\}\) and \(\mathrm{int}(\leq n,R):=\{\alpha\in\overline{R}\mid [K(\alpha):K]\leq n\}\). The main object of study of this paper is the ring \(\mathrm{Int}_K(E,\overline{R})\), that is the set of \(m\)-variate polynomials \(f\in K[t_1,\ldots,t_m]\)that are \(\overline{R}-\)valued on \(E\), where \(E\) is one of the sets \(\mathrm{int}(n,R)\) or \(\mathrm{int}(\leq n,R)\). Also, let \(\mathcal{n}(b):=\{f\in R[X]\mid b^{-1}f\in \mathrm{Int}_K(\mathrm{int}(n,R),\overline{R}\}\) and \(\mathcal{I}(b)\) be the intersection of ideals of \(R[X]\) generated by \(\{b,g\}\), as \(g\) ranges over all degree \(n\) monic polynomials in \(R[X]\). The main results of the paper are: \begin{itemize} \item[i)] For \(n\geq 1, \mathrm{Int}_K(\mathrm{int}(\leq n,R)\overline{R})=\mathrm{Int}_K(\mathrm{int}(n,R),\overline{R})\). \item[ii)] If \(b\in R, b\neq 0\) is not invertible, then there exists a square-free monic polynomial \(\pi\in R[X]\) such that \(\mathcal{N}(b)\bmod \pi\) is the integral closure of \(bR[X]/\pi\). \item[iii)] If \(b\in R, b\neq 0\) is not invertible and \(n\geq 2\), then \(\mathcal{N}(b)=\mathcal{I}(b)\) if and only if there is no maximal ideal \(\mathfrak{m}\) of \(R\) such that \(b\in\mathfrak{m}^q\), where \(q\) is the cardinality of \(R/\mathfrak{m}\). \end{itemize}