Un anneau de Prüfer. (A Prüfer ring) (Q1097315)

Let A be a Dedekind domain with finite residue field, and let B denote the ring of integer-valued polynomials with respect to A. It is known from previous work of the author [Bull. Soc. Math. Fr. 99, 273-283 (1971; Zbl 0202.328)] and of \textit{P.-J. Cahen} and the author [Bull. Sci. Math., II. Sér. 95, 295-304 (1971; Zbl 0221.13006)], and others that B is a two-dimensional Prüfer domain. The author proves here that each finite generated ideal of B is generated by two elements. Moreover, it is shown that if A is semilocal, then each finitely generated ideal I of B can be generated by two elements the first of which is an arbitrary nonzero element of I. \textit{R. Gilmer} and \textit{W. W. Smith} show in Houston J. Math. 11, 65-74 (1985; Zbl 0562.13014), that this last property does not hold for \(A={\mathbb{Z}}\) and \(B=Int({\mathbb{Z}})\), for example, x \(2+14\) is not one of two generators of the ideal \((3,1+x)\) in B.