×

Universal properties of integer-valued polynomial rings. (English) Zbl 1129.13022

Author’s abstract: Let \(D\) be an integral domain, and let \(A\) be a domain containing \(D\) with quotient field \(K\). We will say that the extension \(A\) of \(D\) is polynomially complete if \(D\) is a polynomially dense subset of \(A\), that is, if for all \(f\in K[X]\) with \(f(D)\subseteq A\) one has \(f(A)\subseteq A\). We show that, for any set \(\underline{X}\), the ring Int\((D^{\underline{X}})\) of integer-valued polynomials on \(D^{\underline{X}}\) is the free polynomially complete extension of \(D\) generated by \(\underline{X}\), provided only that \(D\) is not a finite field. We prove that a divisorial extension of a Krull domain \(D\) is polynomially complete if and only if it is unramified, and has trivial residue field extensions, at the height one primes in \(D\) with finite residue field. We also examine, for any extension \(A\) of a domain \(D\), the following three conditions:
(a) \(A\) is a polynomially complete extension of \(D\);
(b) Int\((A^{n})\supseteq\) Int\((D^{n})\) for every positive integer \(n\); and
(c) Int\((A)\supseteq\) Int\((D)\).
In general one has (a)\(\Rightarrow\)(b)\(\Rightarrow\)(c). It is known that (a)\(\Leftrightarrow\)(c) if \(D\) is a Dedekind domain. We prove various generalizations of this result, such as: (a)\(\Leftrightarrow\)(c) if \(D\) is a Krull domain and \(A\) is a divisorial extension of \(D\). Generally one has (b)\(\Leftrightarrow\)(c) if the canonical \(D\)-algebra homomorphism \(\varphi_{n}:\bigotimes_{i=1}^{n}\)Int\((D) \longrightarrow\) Int\((D^{n})\) is surjective for all positive integers \(n\), where the tensor product is over \(D\). Furthermore, \(\varphi_{n}\) is an isomorphism for all \(n\) if \(D\) is a Krull domain such that Int\((D)\) is flat as a \(D\)-module, or if \(D\) is a Prüfer domain such that Int\((D_{\mathcal{M}}) =\) Int\((D)_{\mathcal{M}}\) for every maximal ideal \(\mathcal{M}\) of \(D\).

MSC:

13F20 Polynomial rings and ideals; rings of integer-valued polynomials
13F05 Dedekind, Prüfer, Krull and Mori rings and their generalizations
13A15 Ideals and multiplicative ideal theory in commutative rings
Full Text: DOI

References:

[1] Atiyah, M. F.; Macdonald, I. G., Introduction to Commutative Algebra (1969), Addison-Wesley · Zbl 0175.03601
[2] Cahen, P.-J.; Chabert, J.-L., Integer-Valued Polynomials, Math. Surveys Monogr., vol. 48 (1997), Amer. Math. Soc. · Zbl 0884.13010
[3] Cahen, P.-J.; Chabert, J.-L., Coefficients et valeurs d’un polynôme, Bull. Sci. Math., 95, 295-304 (1971) · Zbl 0221.13006
[4] Chabert, J.-L.; Cahen, P.-J., Old problems and new questions around integer-valued polynomials and factorial sequences, (Multiplicative Ideal Theory in Commutative Algebra (2006), Springer Science+Business Media) · Zbl 1117.13022
[5] Elliott, J., Binomial rings, integer-valued polynomials, and \(λ\)-rings, J. Pure Appl. Algebra, 207, 165-185 (2006) · Zbl 1100.13026
[6] Gerboud, G., Substituabilité d’un anneau de Dedekind, C. R. Acad. Sci. Paris Sér. A, 317, 29-32 (1993) · Zbl 0795.13006
[7] P. Hall, The Edmonton Notes on Nilpotent Groups, Queen Mary College Math. Notes, Mathematics Department, Queen Mary College, London, 1969; P. Hall, The Edmonton Notes on Nilpotent Groups, Queen Mary College Math. Notes, Mathematics Department, Queen Mary College, London, 1969
[8] Reyes Sánchez, M. V.; Verschoren, A., Classical and Involutive Invariants of Krull Domains, \(K\)-Monogr. Math., vol. 5 (1999), Kluwer Academic Publishers · Zbl 0967.13013
[9] Wilkerson, C., \(λ\)-Rings, binomial domains, and vector bundles over \(C P(\infty)\), Comm. Algebra, 10, 311-328 (1982) · Zbl 0492.55004
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.