English

An alternative perspective on projectivity of modules

Rings and Algebras 2017-07-20 v3

Abstract

Similar to the idea of relative projectivity, we introduce the notion of relative subprojectivity, which is an alternative way to measure the projectivity of a module. Given modules MM and NN, MM is said to be {\em NN-subprojective} if for every epimorphism g:BNg:B \rightarrow N and homomorphism f:MNf:M \rightarrow N, then there exists a homomorphism h:MBh:M \rightarrow B such that gh=fgh=f. For a module MM, the {\em subprojectivity domain of MM} is defined to be the collection of all modules NN such that MM is NN-subprojective. A module is projective if and only if its subprojectivity domain consists of all modules. Opposite to this idea, a module MM is said to be {\em subprojectively poor}, or {\em spsp-poor} if its subprojectivity domain is as small as conceivably possible, that is, consisting of exactly the projective modules. Properties of subprojectivity domains and spsp-poor modules are studied. In particular, the existence of an spsp-poor module is attained for artinian serial rings.

Keywords

Cite

@article{arxiv.1206.5556,
  title  = {An alternative perspective on projectivity of modules},
  author = {Chris Holston and Sergio R. López-Permouth and Joe Mastromatteo and José E. Simental-Rodríguez},
  journal= {arXiv preprint arXiv:1206.5556},
  year   = {2017}
}

Comments

Dedicated to the memory of Francisco Raggi; v2 some editorial changes. 'Right hereditary right perfect' replaced by the (equivalent) condition 'right hereditary semiprimary'; v3 a mistake corrected in the statements of Propositions 3.8 and 3.9

R2 v1 2026-06-21T21:24:43.753Z