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.

Commutative rings whose proper ideals are direct sum of cyclically presented modules

Ideals of direct products of rings

The conductor ideals of maximal subrings in non-commutative rings

More on the strongly 1-absorbing primary ideals of commutative rings

Commutative rings with every non-maximal ideal finitely generated

Rings with divisibility on descending chains of ideals

2-irreducible and strongly 2-irreducible ideals of commutative rings

Nil-prime ideals of a commutative ring

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

When do modules mimic arbitrary sets?

On simple-direct modules

Classical ideals theory of maximal subrings in non-commutative rings

On functional prime ideals in commutative rings

On S-2-Prime Ideals of Commutative Rings

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

S-J-Ideals: A Study in Commutative and Noncommutative Rings

Relative homological rings and modules

When quotient of a polynomial or power series ring by a monomial ideal is half-factorial

Some homological properties of ideals with cohomological dimension one

Commutative rings in which every S-finite ideal is projective