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

Let $D$ be an integral domain with quotient field $K$ and $\mathrm{\Omega }$ a finite subset of $D$. McQuillan proved that the ring $\mathrm{I}\mathrm{n}\mathrm{t}(\mathrm{\Omega },D)$ of polynomials in $K[X]$ which are integer-valued over $\mathrm{\Omega }$, that is, $f\in K[X]$suchthat$f(\Omega)\subset D$,isaPr\ddot{u}ferdomainifandonlyif$D$isPr\ddot{u}fer\mathrm{.}Underthefurtherassumptionthat$D$ is integrally closed, we generalize his result by considering a finite set $S$ of a $D$-algebra $A$ which is finitely generated and torsion-free as a $D$-module, and the ring ${\mathrm{I}\mathrm{n}\mathrm{t}}_K(S,A)$ of integer-valued polynomials over $S$, that is, polynomials over $K$ whose image over $S$ is contained in $A$. We show that the integral closure of ${\mathrm{I}\mathrm{n}\mathrm{t}}_K(S,A)$ is equal to the contraction to $K[X]$ of ${\rm Int}(\Omega_S,D_F)$,forsomefinitesubset$\Omega_S$ of integral elements over $D$ contained in an algebraic closure $\bar{K}$ of $K$, where $D_F$ is the integral closure of $D$ in $F=K({\mathrm{\Omega }}_S)$. Moreover, the integral closure of ${\mathrm{I}\mathrm{n}\mathrm{t}}_K(S,A)$ is Pr"ufer if and only if $D$ is Pr"ufer. The result is obtained by means of the study of pullbacks of the form $D[X]+p(X)K[X]$, where $p(X)$ is a monic non-constant polynomial over $D$: we prove that the integral closure of such a pullback is equal to the ring of polynomials over $K$ which are integral-valued over the set of roots ${\mathrm{\Omega }}_p$ of $p(X)$ in $\bar{K}$.