Abstract:A module over a ring R is pure projective provided it is isomorphic to a direct summand of a direct sum of finitely presented modules. We develop tools for the classification of pure projective modules over commutative noetherian rings. In particular, for a fixed finitely presented module M, we consider Add ⁡ ( M ) {\operatorname{Add}(M)} , which consists of direct summands of direct sums of copies of M. We are primarily interested in the case where R is a one-dimensional, local domain, and in torsion-free (or Cohen–Macaulay) modules. We show that, even in this case, Add ⁡ ( M ) {\operatorname{Add}(M)} can have an abundance of modules that are not direct sums of finitely generated ones. Our work is based on the fact that such infinitely generated direct summands are all determined by finitely generated data. Namely, idempotent/trace ideals of the endomorphism ring of M and finitely generated projective modules modulo such idempotent ideals. This allows us to extend the classical theory developed to study the behaviour of direct sum decomposition of finitely generated modules comparing with their completion to the infinitely generated case. We study the structure of the monoid V * ⁢ ( M ) {V^{*}(M)} , of isomorphism classes of countably generated modules in Add ⁡ ( M ) {\operatorname{Add}(M)} with the addition induced by the direct sum. We show that V * ⁢ ( M ) {V^{*}(M)} is a submonoid of V * ⁢ ( M ⊗ R R ^ ) {V^{*}(M\otimes_{R}\widehat{R})} , this allows us to make computations with examples and to prove some realization results.

Notes on pure projective modules

A note on pure-semisimple rings

Big pure projective modules over commutative noetherian rings: Comparison with the completion

On the Existence of Nonzero Injective Covers and Projective Envelopes of Modules

On Relatively Semi-projective and Direct-projective Modules

Some remarks on almost projective envelopes

Relative Projective Modules and Relative Injective Modules

ON (m;n)-PURITY OF MODULES

New Characterizations of Pseudo-Coherent Rings

On Copure Projective Modules and Copure Projective Dimensions

On Pure Derived Categories

A Note On Existence Of Envelopes And Covers

NOTES ON FP-PROJECTIVE MODULES AND FP-INJECTIVE MODULES

Rings whose indecomposable modules are pure-projective or pure-injective

Injectivity and Projectivity Domains of a Simple Module Over a Commutative ring

On Relative Injective Modules And Relative Coherent Rings

Some Remarks on Projective Generators and Injective Cogenerators

On (co)pure Baer injective modules

On simple-direct modules

Homological properties of modules characterized by matrices