Decompositions of modules over a discrete valuation ring

Abstract

Let N be a direct summand of a module which is a direct sum of modules of torsion-free rank one over a discrete valuation ring. Then there is a torsion module T such that N⊕T is also a direct sum of modules of torsion-free rank one.