The ring of polynomials integral-valued over a finite set of integral elements (Q262666)

Let \(D\) be an integrally closed domain, \(K\) its quotient field and \(A\) a finitely generated \(D\)-algebra, which is torsion-free as a \(D\)-module. For a finite subset \(S\) of \(A\) the author studies the properties of the ring \[ \text{Int}_K(S,A) =\{f\in K[X]:\;f(S)\subset A\}. \] The main result (Theorem 1.4) shows that if \(\Omega\) is a finite subset of the integral closure \(\overline D\) of \(D\) in the algebraic closure of \(K\), then the ring \(\text{Int}_K(\Omega,\overline D)\) is a Prüfer ring if and only if \(D\) is a Prüfer ring. This is a generalization of a theorem of \textit{D. L. McQuillan} [Proc. R. Ir. Acad., Sect. A 85, 177--184 (1985; Zbl 0596.13017)] dealing with the case \(\Omega\subset D\). See also \textit{P.-J. Cahen} et al. [J. Korean Math. Soc. 38, No. 5, 915--935 (2001; Zbl 1010.13011)] and \textit{M. H. Park} [J. Pure Appl. Algebra 219, No. 7, 2713--2723 (2015; Zbl 1308.13032)] for another generalization.