×

Rings whose modules have maximal or minimal subprojectivity domain. (English) Zbl 1322.16002

The concepts of subinjectivity, the (sub)injectivity domain of an \(R\)-module \(M\), indigent modules and the right middle class, as well as their projective analogs, viz. subprojectivity, the (sub)projectivity domain, \(p\)-indigent modules and the right \(p\)-middle class have been introduced recently as alternative perspectives on injectivity and projectivity. The study of the injective case is relatively advanced; the projective case is taken further in this paper. A module \(M\) is said to be \(N\)-subprojective if \(M\) has the projective property with respect to any short exact sequence \(B\to N\to 0\). The subprojectivity domain of \(M\), denoted \(\mathbf{Pr}^{-1}(M)\), is the collection of all modules \(N\) such that \(M\) is \(N\)-subprojective. A module \(M\) is called \(p\)-indigent if \(\mathbf{Pr}^{-1}(M)\) consists of exactly the projective modules. If \(\mathbf{FP}\) is the direct sum of all representatives of modules of the class of finitely presented modules, then \(\mathbf{Pr}^{-1}(\mathbf{FP})\) is shown to consist of exactly the flat modules. This means that \(R\) is a right perfect ring if and only if \(\mathbf{FP}\) is \(p\)-indigent. Moreover, \(R\) is a QF-ring if and only if there is a \(p\)-indigent module which is contained in a projective module.
A ring \(R\) is said to have no subprojective \(\mathbf A\)-middle class if each element of the class \(\mathbf A\) is either \(p\)-indigent or projective. Characterizations are found for a nonsemisimple ring \(R\) to have no subprojective middle class. Certain Artinian serial rings are shown to have no subprojective middle class and necessary and sufficient conditions are found for a nonsemisimple QF-ring to have no subprojective middle class.
Several equivalent conditions are found for a nonsemisimple ring \(R\) to have no subprojective middle class. This leads to the result that a ring \(R\) which is not von Neumann regular has no subprojective middle class if and only if \(R\) is fully saturated.
A ring \(R\) is said to satisfy property \(P\) if its subinjectivity domains and subprojectivity domains are equal. It is shown that a ring satisfies \(P\) if and only if it is isomorphic to a product of full matrix rings over Artinian chain rings.

MSC:

16D40 Free, projective, and flat modules and ideals in associative algebras
16D60 Simple and semisimple modules, primitive rings and ideals in associative algebras
16D70 Structure and classification for modules, bimodules and ideals (except as in 16Gxx), direct sum decomposition and cancellation in associative algebras)
16E30 Homological functors on modules (Tor, Ext, etc.) in associative algebras
Full Text: DOI

References:

[1] DOI: 10.1017/S001708951000025X · Zbl 1228.16004 · doi:10.1017/S001708951000025X
[2] DOI: 10.1080/00927879708825996 · Zbl 0885.16005 · doi:10.1080/00927879708825996
[3] DOI: 10.1016/j.jalgebra.2014.03.027 · Zbl 1315.16011 · doi:10.1016/j.jalgebra.2014.03.027
[4] DOI: 10.1007/978-1-4684-9913-1 · doi:10.1007/978-1-4684-9913-1
[5] DOI: 10.1016/j.jalgebra.2011.04.021 · Zbl 1246.16005 · doi:10.1016/j.jalgebra.2011.04.021
[6] DOI: 10.1016/j.jalgebra.2012.11.027 · Zbl 1292.16003 · doi:10.1016/j.jalgebra.2012.11.027
[7] Dung N. V., Extending Modules (1994) · Zbl 0841.16001
[8] DOI: 10.1016/j.jalgebra.2010.10.038 · Zbl 1227.16004 · doi:10.1016/j.jalgebra.2010.10.038
[9] DOI: 10.1142/S0219498802000070 · Zbl 1034.16005 · doi:10.1142/S0219498802000070
[10] DOI: 10.1016/j.jpaa.2011.08.002 · Zbl 1251.16002 · doi:10.1016/j.jpaa.2011.08.002
[11] DOI: 10.1017/S0017089514000135 · Zbl 1320.16002 · doi:10.1017/S0017089514000135
[12] DOI: 10.1007/978-1-4612-0525-8 · doi:10.1007/978-1-4612-0525-8
[13] DOI: 10.1016/j.jalgebra.2012.04.005 · Zbl 1284.16003 · doi:10.1016/j.jalgebra.2012.04.005
[14] DOI: 10.14492/hokmj/1381757705 · Zbl 0559.16013 · doi:10.14492/hokmj/1381757705
[15] Stenström B., Lecture Notes in Mathematics 237, in: Rings and Modules of Quotients (1971) · Zbl 0229.16003 · doi:10.1007/BFb0059904
[16] DOI: 10.1090/S0002-9947-96-01494-8 · Zbl 0865.16006 · doi:10.1090/S0002-9947-96-01494-8
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.