Publications Meetings The Profession Membership Programs Math Samplings Policy & Advocacy In the News About the AMS

Remote Access
Green Open Access
Proceedings of the American Mathematical Society
Proceedings of the American Mathematical Society
ISSN 1088-6826(online) ISSN 0002-9939(print)


When $ (D[[X]])\sb{P[[X]]}$ is a valuation ring

Authors: J. T. Arnold and J. W. Brewer
Journal: Proc. Amer. Math. Soc. 37 (1973), 326-332
MSC: Primary 13F20; Secondary 13A15
MathSciNet review: 0311656
Full-text PDF Free Access

Abstract | References | Similar Articles | Additional Information

Abstract: Let D be an integral domain with identity and let K denote the quotient field of D. If P is a prime ideal of D denote by $ P[[X]]$ that prime ideal of $ D[[X]]$ consisting of all those formal power series each of whose coefficients belongs to P. In this paper the following question is considered: When is $ {(D[[X]])_{P[[X]]}}$ a valuation ring? Our main theorem states that if $ {(D[[X]])_{P[[X]]}}$ is a valuation ring, then $ {D_P}$ must be a rank one discrete valuation ring. Moreover, we show that if $ {D_P}$ is a rank one discrete valuation ring and if $ PD[[X]] = P[[X]]$, then $ {(D[[X]])_{P[[X]]}}$ is a valuation ring. We also give an example to show that $ {(D[[X]])_{P[[X]]}}$ need not be a valuation ring when $ {D_P}$ is rank one discrete.

References [Enhancements On Off] (What's this?)

Similar Articles

Retrieve articles in Proceedings of the American Mathematical Society with MSC: 13F20, 13A15

Retrieve articles in all journals with MSC: 13F20, 13A15

Additional Information

PII: S 0002-9939(1973)0311656-X
Keywords: Formal power series, valuation ring
Article copyright: © Copyright 1973 American Mathematical Society

Comments: Email Webmaster

© Copyright , American Mathematical Society
Contact Us · Sitemap · Privacy Statement

Connect with us Facebook Twitter Google+ LinkedIn Instagram RSS feeds Blogs YouTube Podcasts Wikipedia