Skolem properties, value-functions, and divisorial ideals Original Research Article

Let D be the ring of integers of a number field K. It is well known that the ring Int(D) = {f ε K[X] ¦ f (D) subset of or equal to D} of integer-valued polynomials on D is a Prüfer domain. Here we study the divisorial ideals of Int(D) and prove in particular that Int(D) has no divisorial prime ideal. We begin with the local case. We show that, if V is a rank-one discrete valuation domain with finite residue field, then the unitary ideals of Int(V) (that is, the ideals containing nonzero constants) are entirely determined by their values on the completion of V. This improves on the Skolem properties which only deal with finitely generated ideals. We then globalize and consider a Dedekind domain D with finite residue fields. We show that a prime ideal of t(D) is invertible if and only if it is divisorial, and also, in the case where the characteristic of D is 0, if and only if it is an upper to zero which is maximal.