Pure-injective hulls of modules over valuation rings (Q2502916): Difference between revisions

The aim of this paper is to study pure-injective hulls of modules over valuation rings. If \(R\) is a valuation domain and \(S\) a maximal immediate extension of \(R\), then Warfield proved that \(S\) is a pure-injective hull of \(R\). Moreover, for each finitely generated \(R\)- module \(M\), he showed that \(S\, XR\, M\) is a pure-injective hull of \(M\) and a direct sum of gen \(M\) indecomposable pure-injective modules. The author extends this last result to every valuation ring \(R\) by replacing \(S\) with the pure-injective hull \(R'\) of \(R\). As in the domain case, \(R\) is a faithfully flat module. Moreover, for each \(x\) in \(R'\) there exist \(r\) in \(R\) and \(y\) in \(1+PR'\) such that \(x=ry\). This property allows the author to prove most of the main result of this paper. The author extends results obtained by Fuchs and Salce on pure-injective hulls of uniserial modules over valuation domains. The author shows that the length of any pure-composition series of a polyserial module \(M\) is its Malcev rank \(Mr\, M\) and its pure-injecive hull \(M'\) is a direct sum of \(p\) indecomposable pure-injective modules, where \(p<Mr\, M\).