Prefer a chat interface with context about you and your work?
When $(D[[X]])\sb{P[[X]]}$ is a valuation ring
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 …