The conditions \(\text{Int}(R)\subseteq R_S[X]\) and \(\text{Int}(R_S)=\text{Int}(R)_S\) for integer-valued polynomials (Q1380057)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The conditions \(\text{Int}(R)\subseteq R_S[X]\) and \(\text{Int}(R_S)=\text{Int}(R)_S\) for integer-valued polynomials |
scientific article |
Statements
The conditions \(\text{Int}(R)\subseteq R_S[X]\) and \(\text{Int}(R_S)=\text{Int}(R)_S\) for integer-valued polynomials (English)
0 references
17 March 1998
0 references
Let \(R\) be an integral domain with quotient field \(K\) and let \(\text{Int}(R)\) be the ring of integer-valued polynomials on \(R\), i.e. \(\text{Int}(R)=\{f\in K[x]\mid f(R)\subseteq R\}\). In the first part of the paper the author derives several equivalent conditions for \(\text{Int}(R)\nsubseteq R_S[X]\) with \(S\) a multiplicative subset of \(R\). In the second one almost Dedekind domains \(R\) for which (1) \(\text{Int}(R_P)=\text{Int}(R)_{(R-P)}\) for each maximal ideal \(P\) of \(R\) are characterized. In the third part firstly alternate characterizations of so called glad almost Dedekind domains are given [glad domains were introduced by \textit{A. K. Loper} in: Zero-dimensional commutative rings. Proc. 1994 Barrett Mem. Lect., Conf. Commutative Ring Theory, Knoxville 1994, Lect. Notes Pure Appl. Math. 171, 287-298 (1995; Zbl 0886.13009)], and then a characterization of almost Dedekind domains with finite residue fields satisfying (1) for \(P\in\text{Spec}(R)\) in terms of glad domains is proved. In the final part it is shown that if \(R\) is an almost Dedekind domain with finite residue fields such that (1) holds for all maximal ideals \(P\) of \(R\), then each finitely generated ideal of \(\text{Int}(R)\) can be generated by two elements, and if \(R\) is a finite intersection of glad overrings, then one of the generators may be chosen arbitrarily. This result, according to the author, extends results on the case that \(R\) is Noetherian and includes all known results where \(\text{Int}(R)\) is Prüfer.
0 references
integer-valued polynomials
0 references
almost Dedekind domains
0 references
Prüfer domain
0 references
glad domains
0 references