How changing $D[[x]]$ changes its quotient field
HTML articles powered by AMS MathViewer
- by Philip B. Sheldon PDF
- Trans. Amer. Math. Soc. 159 (1971), 223-244 Request permission
Abstract:
Let $D[[x]]$ be the ring of formal power series over the commutative integral domain $D$. It is shown that changing $D[[x]]$ to $D[[x/a]]$ changes (i.e. increases) the quotient field by an infinite transcendence degree over the original field whenever $\cap _{i = 1}^\infty {a^i}D = 0$. From this it follows that if ${D_1}$ and ${D_2}$ are two distinct rings between the integers and the rational numbers, with ${D_1}$ contained in ${D_2}$, then the change in the ring of coefficients from ${D_1}[[x]]$ to $D_{2}[[x]]$ again yields a change in the quotient fields by an infinite transcendence degree. More generally, it is shown that $D$ is completely integrally closed iff any increase in the ring of coefficients yields an increase in the quotient field of $D[[x]]$. Moreover, $D$ is a one-dimensional Prüfer domain iff any change in the ring of coefficients from one overring of $D$ to another overring of $D$ yields a change in the quotient field of the respective power series rings. Finally it is shown that many of the domain properties of interest are really properties of their divisibility groups, and some examples are constructed by first constructing the required divisibility groups.References
- N. Bourbaki, Éléments de mathématique. Fasc. XXXI. Algèbre commutative. Chapitre 7: Diviseurs, Actualités Scientifiques et Industrielles [Current Scientific and Industrial Topics], No. 1314, Hermann, Paris, 1965 (French). MR 0260715
- Edward D. Davis, Overrings of commutative rings. II. Integrally closed overrings, Trans. Amer. Math. Soc. 110 (1964), 196–212. MR 156868, DOI 10.1090/S0002-9947-1964-0156868-2
- L. Fuchs, Partially ordered algebraic systems, Pergamon Press, Oxford-London-New York-Paris; Addison-Wesley Publishing Co., Inc., Reading, Mass.-Palo Alto, Calif.-London, 1963. MR 0171864
- Robert W. Gilmer, Multiplicative ideal theory, Queen’s Papers in Pure and Applied Mathematics, No. 12, Queen’s University, Kingston, Ont., 1968. MR 0229624
- Robert W. Gilmer Jr., Domains in which valuation ideals are prime powers, Arch. Math. (Basel) 17 (1966), 210–215. MR 230713, DOI 10.1007/BF01899575
- Robert Gilmer, A note on the quotient field of the domain $D[[X]]$, Proc. Amer. Math. Soc. 18 (1967), 1138–1140. MR 217060, DOI 10.1090/S0002-9939-1967-0217060-4
- Robert W. Gilmer Jr. and William J. Heinzer, On the complete integral closure of an integral domain, J. Austral. Math. Soc. 6 (1966), 351–361. MR 0220714, DOI 10.1017/S1446788700004304
- Robert Gilmer and Jack Ohm, Integral domains with quotient overrings, Math. Ann. 153 (1964), 97–103. MR 159835, DOI 10.1007/BF01361178
- William Heinzer, Some remarks on complete integral closure, J. Austral. Math. Soc. 9 (1969), 310–314. MR 0251023, DOI 10.1017/S1446788700007230
- Paul Jaffard, Les systèmes d’idéaux, Travaux et Recherches Mathématiques, IV, Dunod, Paris, 1960 (French). MR 0114810
- Jack Ohm, Some counterexamples related to integral closure in $D[[x]]$, Trans. Amer. Math. Soc. 122 (1966), 321–333. MR 202753, DOI 10.1090/S0002-9947-1966-0202753-9
- Jack Ohm, Semi-valuations and groups of divisibility, Canadian J. Math. 21 (1969), 576–591. MR 242819, DOI 10.4153/CJM-1969-065-9
- Roger Rivet, Sur le corps des fractions d’un anneau de séries formelles à coefficients dans un anneau de valuation discrète, C. R. Acad. Sci. Paris Sér. A-B 264 (1967), A1047–A1049 (French). MR 213342
Additional Information
- © Copyright 1971 American Mathematical Society
- Journal: Trans. Amer. Math. Soc. 159 (1971), 223-244
- MSC: Primary 13.93
- DOI: https://doi.org/10.1090/S0002-9947-1971-0279092-5
- MathSciNet review: 0279092