Algebraic properties of the ring of integer-valued polynomials on prime numbers (Q4344692)

Let \(D\) be an integral domain with quotient field \(K\), \(E\subseteq K\), and let \(\text{Int}(E,D) = \{f \in K [x] | f(a) \in D\;\text{for} \text{all} a\in E\}\). A great deal is known about this ring if \(E\) and \(D\) both equal \(\mathbb{Z}\), the integers. For example it is a 2-dimensional non-noetherian Prüfer domain in which each finitely generated ideal is generated by 2 elements [\textit{D. Brizolis}, Commun. Algebra 7, 1065-1077 (1979; Zbl 0422.13011), \textit{J.-L. Chabert}, J. Algebra 107, 1-16 (1987; Zbl 0635.13004), and \textit{R. Gilmer} and \textit{W. W. Smith}, J. Algebra 81, 150-164 (1983; Zbl 0515.13016)]. The paper under review addresses the question of whether these properties hold when \(D=\mathbb{Z}\) and \(E\) is the set \(P\) of primes in \(\mathbb{Z}\). The authors describe the prime ideals in \(\text{Int}(P,\mathbb{Z})\) and its class group and show that this ring does share with \(\text{Int}(\mathbb{Z},\mathbb{Z})\) the properties listed above. They also show that in contrast to \(\text{Int}(\mathbb{Z},\mathbb{Z})\), \(\text{Int}(P,\mathbb{Z})\) does not have the strong Skolem property, i.e. finitely generated ideals with the same value ideals need not be equal.