On finitely generated projective modules and multiplication modules (Q1094465)

Let R be a commutative ring with 1, and P a right R-module. P is said to be a multiplication module if every submodule N of P is of the form NI for some ideal I of R, and P is said to be hereditarily projective if P is projective and every homomorphic image of P in a finitely generated (f.g.) projective R-module is projective. We investigate the relationship between these two concepts. The following is one of the main results of the paper: Theorem: Let P be a f.g. indecomposable R-module. If R is a p.p. ring, then P is hereditarily projective iff P is a multiplication module and ann(P) is generated by an idempotent.