A characterization of locally Artinian modules (Q915830): Difference between revisions

The starting point for this paper is a well known theorem of Osofsky, namely that a ring R is semiprime Artinian if and only if every cyclic right R-module is injective. At the heart of Osofsky's proof is the observation: if R is a right self-injective von Neumann regular ring and \(\{e_ i:\) \(i\in I\}\) an infinite family of orthogonal idempotents then the module R/(\(\sum e_ iR)\) is not injective [see \textit{B. L. Osofsky}, Pac. J. Math. 14, 645-650 (1964; Zbl 0145.266)]. Using this fact, \textit{Dinh van Huynh} and \textit{Nguyen V. Dung} [Glasg. Math. J. 30, 67-73 (1988; Zbl 0637.16012)] proved that a ring R is right Artinian if and only if every cyclic right R-module is a direct sum of an injective module and a finitely cogenerated module. In this paper the authors consider a ring R and right R-module M. They define \(\sigma\) [M] to be the full subcategory of Mod-R whose objects are submodules of M-generated modules. They prove that if M is self-projective (i.e. quasi-projective) then M is locally Artinian (i.e. every finitely generated submodule is Artinian) if and only if every cyclic module in \(\sigma\) [M] is a direct sum of an M-injective module and a finitely cogenerated module. The proof is via category equivalence involving the endomorphism ring \(End(M_ R)\). This result has several consequences of the type ``If every cyclic module in \(\sigma\) [M] is... then M is...'' and also allows the authors to extend the theorem of van Huynh and Dung to rings with local units (i.e. R has the property that every finitely generated subring is contained in a subring of the form eRe for some idempotent e).