On power series rings over valuation domains

Abstract

ABSTRACTLet V be a valuation domain and V[[X]] be the power series ring over V. In this paper, we show that if V[[X]] is a locally finite intersection of valuation domains, then V is an SFT domain and hence a discrete valuation domain. As a consequence, it is shown that the power series ring V[[X]] is a Krull domain if and only if V[[X]] is a generalized Krull domain if and only if V[[X]] is an integral domain of Krull type (or equivalently, a PvMD of finite t-character) if and only if V is a discrete valuation domain with Krull dimension at most one.