No label defined (Q4337579)

Let \(R\) be an integral domain with quotient field \(K\). The ring of integer-valued polynomials on \(R\) is \(\text{Int}(R)= \{f\in K[X]\mid f(R)\subseteq R\}\). It was shown by \textit{G. Gerboud} [C. R. Acad. Sci., Paris, Sér I 307, No. 8, 375--378 (1988; Zbl 0681.12001)] that if \(R\) has characteristic zero then \(\text{Int}(R)\) is contained in the \(R\)-submodule of \(K[X]\) generated by the binomial polynomials \({X\choose i}= X(X-1)\cdots (X-(i-1))/i!\). Thus these polynomials form a basis for \(\text{Int}(R)\) as an \(R\)-module if and only if they are contained in \(\text{Int}(R)\), and characterizations of when this happens have been given by several different authors under various hypotheses. One characterization is that the polynomials \(f_p(X)= (X^p-X)/p\) are in \(\text{Int}(R)\) for each rational prime \(p\). In the paper under review the authors determine the ideals \(C(n)= \{\alpha\in K\mid \alpha{X\choose n}\in \text{Int}(R)\}\) and \(E(p)= \{\alpha\in K\mid \alpha f_p(X)\in \text{Int}(R)\}\) in the case that \(R\) is a Dedekind domain of characteristic zero. To state the first of these theorems let \(P\) be a maximal ideal of \(R\) with \(P\cap \mathbb Z= p\mathbb Z\), and let \(f_P\) and \(e_P\) denote the residue degree and ramification index respectively. Let \(v_P\) be the normalized valuation corresponding to \(P\). Then the exponent \(c_P(n)\) to which \(P\) occurs in the factorization of \(C(n)\) for \(n\geq p\) is given by: (1) If \(f_P>1\), then \(c_P(n)= v_P(n!)\). (2) If \(f_P=1\) and \(e_P>1\), then \(c_P(n)= v_P(n!)- [n/p]\) (where the brackets mean greatest integer). (3) If \(f_P=1\) and \(e_P=1\), then \(c_P(n)=0\).