Realtime Access Map
Completely cotorsion modules
We show that any finitely generated projective cotorsion left module over a ring of left pure global dimension at most 1 is a direct sum of indecomposable direct summands. We deduce that such a ring is left cotorsion and semiperfect if and only if its left cotorsion envelope is finitely presented. Some extensions of this result are also discussed.