Split primes and integer-valued polynomials (Q1208187)

Let \(R\) be a Dedekind domain with finite residue fields, \(K\) its field of fractions, and denote by \(I\) the ring of integer-valued polynomials over \(R\), \(I=\{g(x)\in K[x];\;g(R)\subseteq R\}\). Let \(L\) be a finite separable extension of \(K\) and \(S\) be the integral closure of \(R\) in \(L\). For a nonzero prime ideal \(P\) of \(S\) write \(\nu_ P\) for the exponential valuation of \(L\) determined by \(P\). The author proves the following theorem which generalizes a known result obtained in the case \(R=\mathbb{Z}\): Let \(L=K(\alpha)\) and let \(E_ \alpha:I\to L\) be the evaluation map defined by \(E_ \alpha(f(x))=f(\alpha)\). Then \(S\subseteq E_ \alpha(I)\subseteq L\) and \(E_ \alpha(I)\) coincides with the ring \(\{a\in L\), \(\nu_ P(a)\geq 0\) for each \(P\in\Pi_ \alpha\}\), where \(\Pi_ \alpha\) denotes the set of prime ideals of \(S\) which split completely over \(R\) and for which \(\nu_ P(\alpha)\geq 0\).