Torsion-free modules of finite rank over a discrete valuation ring. (Q1427357): Difference between revisions

The goal of this paper is to present some information on torsion-free modules of finite rank over a discrete valuation ring \(R\). Its structure is the following: In Section 3 the class of pi-decomposable modules is investigated. It is shown that the class of pi-decomposable modules is closed under direct summands and that a pi-decomposable module is determined up to isomorphism by some numerical invariants (see Theorem 1). Section 4 deals with the category of torsion-free homomorphic images of pi-decomposable modules. Here, the most important result is Theorem 2, where there is proved a homological characterization of objects in this category. A remarkable full subcategory of the category of torsion-free homomorphic images of pi-de\-composable modules is that of almost pi-decomposable modules (i.e. finite rank modules \(M\) for which there exists a pi-decomposable module \(C\) containing \(M\) and satisfying the property that the quotient \(C/M\) is bounded torsion and finitely generated). This is studied in Section 5. The almost pi-decomposable modules are similar to the completely decomposable abelian groups and so many abelian group results can be extended for these modules. There is also investigated some correspondence between subcategories of the category almost pi-decomposable modules and categories of \(R\)-representations of finite partially ordered sets. These can be used in constructing indecomposable modules of arbitrary finite rank in the category of almost pi-decomposable modules, as in Example 4.