English

Subinjective and Subprojective Extension-Reflecting Modules

Rings and Algebras 2025-07-16 v1

Abstract

Given a right R-module M and any short exact sequence of right R-modules 0ABC0, 0 \to A \to B \to C \to 0, it is well known that if both A and C belong to the subinjectivity domain In1(M)\mathfrak{\underline{In}^{-1}}(M) (resp., the subprojectivity domain Pr1(M)\mathfrak{\underline{Pr}^{-1}}(M)) of M, then B also belongs to the corresponding domain. Module classes satisfying this closure property are said to be closed under extensions. Let In(M)={NModRMIn1(N)} \mathfrak{In}(M) = \{ N \in Mod-R \mid M \in \mathfrak{\underline{In}^{-1}}(N) \} and Pr(M)={NModRMPr1(N)}. \mathfrak{Pr}(M) = \{ N \in Mod-R \mid M \in \mathfrak{\underline{Pr}^{-1}}(N)\}. Unlike In1(M)\mathfrak{\underline{In}^{-1}}(M) and Pr1(M)\mathfrak{\underline{Pr}^{-1}}(M), the classes In(M) \mathfrak{In}(M) and Pr(M)\mathfrak{Pr}(M) are not, in general, closed under extensions. In this paper, we investigate certain classes of modules and rings that ensure the extension-closure of In(M) \mathfrak{In}(M) and Pr(M)\mathfrak{Pr}(M) . We prove that if the injective hull of MM is projective, then In(M) \mathfrak{In}(M) is closed under extension; and if MM is a homomorphic image of a module which is both projective and injective, then Pr(M)\mathfrak{Pr}(M) . is closed under extensions. As a consequence, over a QF-ring, the classes In(M) \mathfrak{In}(M) and Pr(M)\mathfrak{Pr}(M) are closed under extensions for every module MM. We further explore several implications of these results and present examples of modules with the above properties over arbitrary rings. Additionally, we introduce the rings whose right modules of finite length are homomorphic images of injective modules. Among other results, we prove that, if In(R) \mathfrak{In}(R) is closed under extensions, then modules of finite length are homomorphic image of injectives if and and only if simple modules are homomorphic image of injectives.

Keywords

Cite

@article{arxiv.2507.11221,
  title  = {Subinjective and Subprojective Extension-Reflecting Modules},
  author = {Engin Büyükaşık},
  journal= {arXiv preprint arXiv:2507.11221},
  year   = {2025}
}
R2 v1 2026-07-01T04:02:09.479Z