Integer-valued polynomials, Prüfer domains, and localization
HTML articles powered by AMS MathViewer
- by Jean-Luc Chabert PDF
- Proc. Amer. Math. Soc. 118 (1993), 1061-1073 Request permission
Abstract:
Let $A$ be an integral domain with quotient field $K$ and let $\operatorname {Int} (A)$ be the ring of integer-valued polynomials on $A:\{ P \in K[X]|P(A) \subset A\}$. We study the rings $A$ such that $\operatorname {Int} (A)$ is a Prüfer domain; we know that $A$ must be an almost Dedekind domain with finite residue fields. First we state necessary conditions, which allow us to prove a negative answer to a question of Gilmer. On the other hand, it is enough that $\operatorname {Int} (A)$ behaves well under localization; i.e., for each maximal ideal $\mathfrak {m}$ of $A$, $\operatorname {Int} {(A)_\mathfrak {m}}$ is the ring $\operatorname {Int} ({A_\mathfrak {m}})$ of integer-valued polynomials on ${A_\mathfrak {m}}$. Thus we characterize this latter condition: it is equivalent to an "immediate subextension property" of the domain $A$. Finally, by considering domains $A$ with the immediate subextension property that are obtained as the integral closure of a Dedekind domain in an algebraic extension of its quotient field, we construct several examples such that $\operatorname {Int} (A)$ is Prüfer.References
- Demetrios Brizolis, A theorem on ideals in Prüfer rings of integral-valued polynomials, Comm. Algebra 7 (1979), no. 10, 1065–1077. MR 533204, DOI 10.1080/00927877908822391
- Paul-Jean Cahen, Polynomes à valeurs entières, Canadian J. Math. 24 (1972), 747–754 (French). MR 309923, DOI 10.4153/CJM-1972-071-2
- Paul-Jean Cahen and Jean-Luc Chabert, Coefficients et valeurs d’un polynôme, Bull. Sci. Math. (2) 95 (1971), 295–304 (French). MR 296065
- Jean-Luc Chabert, Anneaux de “polynômes à valeurs entières” et anneaux de Fatou, Bull. Soc. Math. France 99 (1971), 273–283 (French). MR 302636, DOI 10.24033/bsmf.1721
- Jutta Hausen, $E$-transitive torsion-free abelian groups, J. Algebra 107 (1987), no. 1, 17–27. MR 883865, DOI 10.1016/0021-8693(87)90069-X
- Jean-Luc Chabert and Gilbert Gerboud, Polynômes à valeurs entières et binômes de Fermat, Canad. J. Math. 45 (1993), no. 1, 6–21 (French, with English and French summaries). MR 1200319, DOI 10.4153/CJM-1993-002-8
- Robert W. Gilmer Jr., Integral domains which are almost Dedekind, Proc. Amer. Math. Soc. 15 (1964), 813–818. MR 166212, DOI 10.1090/S0002-9939-1964-0166212-8
- Robert Gilmer, Multiplicative ideal theory, Pure and Applied Mathematics, No. 12, Marcel Dekker, Inc., New York, 1972. MR 0427289
- Robert Gilmer, Prüfer domains and rings of integer-valued polynomials, J. Algebra 129 (1990), no. 2, 502–517. MR 1040951, DOI 10.1016/0021-8693(90)90233-E H. Hasse, Zwei Existenztheoreme über algebraische Zahlkörper, Math. Ann. 95 (1925), 229-238.
- Wolfgang Krull, Über einen Existenzsatz der Bewertungstheorie, Abh. Math. Sem. Univ. Hamburg 23 (1959), 29–35 (German). MR 104653, DOI 10.1007/BF02941023 A. Ostrowski, Über ganzwertige polynome in algebraischen Zahlkörpern, J. Reine Angew. Math. 149 (1919), 117-124. G. Pólya, Über ganzwertige polynome in algebraischen Zahlkörpern, J. Reine Angew. Math. 149 (1919), 97-116.
Additional Information
- © Copyright 1993 American Mathematical Society
- Journal: Proc. Amer. Math. Soc. 118 (1993), 1061-1073
- MSC: Primary 13F05; Secondary 13F20, 13G05
- DOI: https://doi.org/10.1090/S0002-9939-1993-1140666-0
- MathSciNet review: 1140666