Valuation domains of bounded module type (Q1262349): Difference between revisions

A ring R is said to be of bounded module type if, for some natural number n, every finitely generated R-module is a direct sum of submodules generated by n elements. In this article, the author gives a positive answer to the following question of P. Vamos for the class of totally branched and discrete valuation domains: Is a valuation domain R of bounded module type if and only if R is almost maximal? Let R be a valuation domain, P the maximal ideal of R. For a finitely generated R-module M, the length of M, denoted by \(\ell (M)\), is \(\dim_{R/P}(M/PM)\). The Goldie dimension of M is written by g(M). - With these notations, the main result of the paper is theorem 4: Let R be a valuation domain, let I be a prime ideal of R such that R/I is not complete in the R/I-topology. Then for each positive integer n there exists an indecomposable module M with \(\ell (M)=n+1\) and \(g(M)=n.\) Using the above, the author shows theorem 5: Let R be a totally branched and discrete valuation domain. Then R is of bounded module type if and only if R is almost maximal.