max-projective modules
Yusuf Alag\"oz, Eng\.in B\"uy\"uka\c{s}ik

TL;DR
This paper characterizes right almost-$QF$ and max-$QF$ rings, showing their equivalence under certain conditions and providing structural descriptions for these classes of rings.
Contribution
It introduces the concepts of max-projective modules and right max-$QF$ rings, and characterizes these rings in terms of their structural decomposition and properties.
Findings
Right Hereditary right Noetherian rings are right max-$QF$ iff they are right almost-$QF$.
A right Hereditary ring is max-$QF$ iff every injective simple module is projective.
A commutative Noetherian ring is almost-$QF$ iff it decomposes into a product of a $QF$ ring and a small ring.
Abstract
A right -module is called max-projective provided that each homomorphism where is any maximal right ideal, factors through the canonical projection . We call a ring right almost- (resp. right max-) if every injective right -module is -projective (resp. max-projective). This paper attempts to understand the class of right almost- (resp. right max-) rings. Among other results, we prove that a right Hereditary right Noetherian ring is right almost- if and only if is right max- if and only if , where is semisimple Artinian and is right small. A right Hereditary ring is max- if and only if every injective simple right -module is projective. Furthermore, a commutative Noetherian ring is almost- if and only if is max- if and only if , where is β¦
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsRings, Modules, and Algebras Β· Advanced Topics in Algebra Β· Advanced Algebra and Logic
MAX-PROJECTIVE MODULES
Yusuf AlagΓΆz
Izmir Institute of Technology
Department of Mathematics
35430
Urla, Δ°zmir
Turkey Siirt University
Department of Mathematics
Siirt
Turkey [email protected]
Β andΒ
ENGΔ°N BΓΌyΓΌkaΕΔ±k
Izmir Institute of Technology
Department of Mathematics
35430
Urla, Δ°zmir
Turkey
Abstract.
A right -module is called max-projective provided that each homomorphism where is any maximal right ideal, factors through the canonical projection . We call a ring right almost- (resp. right max-) if every injective right -module is -projective (resp. max-projective). This paper attempts to understand the class of right almost- (resp. right max-) rings. Among other results, we prove that a right Hereditary right Noetherian ring is right almost- if and only if is right max- if and only if , where is semisimple Artinian and is right small. A right Hereditary ring is max- if and only if every injective simple right -module is projective. Furthermore, a commutative Noetherian ring is almost- if and only if is max- if and only if , where is and is a small ring.
Key words and phrases:
Injective modules; -projective modules; max-projective modules; rings.
2010 Mathematics Subject Classification:
16D50, 16D60, 18G25
1. Introduction and Preliminaries
Throughout, will denote an associative ring with identity, and modules will be unital right -modules, unless otherwise stated. Let and be -modules. is called -projective (projective relative to ) if every -homomorphism from into an image of can be lifted to an -homomorphism from into . is called -projective if it is projective relative to the right -module . The module is called projective if is -projective, for every -module . A right -module is called max-projective provided that each homomorphism where is any maximal right ideal, factors through the canonical projection . This notion properly generalizes the notions -projective and rad-projective modules studied in [3].
Characterizing rings by projectivity of some classes of their modules is a classical problem in ring and module theory. A result of Bass [6, Theorem 28.4] states that a ring is right perfect if and only if each flat right -module is projective. On the other hand, the ring is if and only if each injective right -module is projective, [14]. Recently, the notion of -projectivity and its generalizations are considered in [1, 2, 3, 5, 24]. The rings whose flat right -modules are -projective and max-projective are characterized in [5, 4] and [8], respectively.
We call a ring right almost- (resp. right max-) in case all injective right -modules are -projective (resp. max-projective). Right almost -rings are max-. The ring of integers is almost-, since for each injective -module .
In this paper, we investigate some properties of max-projective -modules, and give some characterizations of almost- and max- rings.
We organize the paper as follows. In Section 2, some properties of max-projective -modules are investigated. We obtain that -projectivity and max-projectivity coincide over the ring of integers and over right perfect rings. Characterizations of semiperfect, perfect and rings in terms of max-projectivity are given. As an application, we show that a ring is right (semi)perfect if and only if every (finitely generated) right R-module has a max-projective cover if and only if every (simple) semisimple right -module has a max-projective cover. By [1, Lemma 2.1] any finitely generated -projective right -module is projective. This result is not true when -projectivity is replaced with max-projectivity. We prove that if is either a semiperfect or nonsingular self-injective ring, then finitely generated max-projective right -modules are projective. We show that any max-projective right -module of finite length is projective.
In Section 3, we give some characterizations of almost- and max- rings. Every right small ring is right max-, while a right small ring is right almost- provided is right Hereditary or right Noetherian. A right Hereditary right Noetherian ring is right almost- if and only if is right max- if and only if , where is a semisimple Artinian and is a right small ring. A right Hereditary ring is right max- if and only if every simple injective right -module is projective. A commutative Noetherian ring is almost- if and only if is max- if and only if , where is and is a small ring. A right Noetherian local ring is almost- if and only if is or right small.
As usual, we denote by Mod the category of right -modules. For a module , , , and denote the the injective hull, singular submodule, Jacobson radical and socle of , respectively. The notation means that is a superfluous submodule of in the sense that for any proper submodule of .
2. Max-projective modules
Definition 1**.**
A right -module is said to be max-projective if for every epimorphism with is a maximal right ideal of , and every homomorphism , there exists a homomorphism such that .
Example 1*.*
Every projective -module is max-projective.
The -module is max-projective, since for each simple -module .
Every simple max-projective -module is projective. For if is a simple right -module and is the identity map, then by max-projectivity of there is a homomorphism such that , where is the natural epimorphism. Then , and so is projective.
Any -module with is max-projective, since has no simple factors.
Given modules and , is said to be -subprojective if for every homomorphism and for every epimorphism , there exists a homomorphism such that (see [16]).
Lemma 1**.**
For an -module , the following are equivalent.
- (1)
* is max-projective.* 2. (2)
* is -subprojective for each simple -module .* 3. (3)
For every epimorphism with simple, and homomorphism , there exists a homomorphism such that .
Proof.
By definition. is clear.
Let be an epimorphism with is simple -module and a homomorphism. Since is simple, there exists an epimorphism . By the hypothesis there exists a homomorphism such that . Since is projective, there exists a homomorphism such that . Then , and so is max-projective. β
We need the following result in the sequel.
Lemma 2**.**
The following conditions are true.
- (1)
A direct sum of modules is max-projective (resp. -projective) if and only if each is max-projective (resp. -projective). 2. (2)
If is an exact sequence and is -projective, then is projective relative to both and .
Proof.
Since it is similar to the one provided in [6, Proposition 16.10] for -projective modules, the proof is omitted for max-projective modules.
is clear by [6, Proposition 16.12]. β
Corollary 1**.**
For a ring , the following are equivalent.
- (1)
* is semisimple.* 2. (2)
Every right -module is max-projective. 3. (3)
Every finitely generated right -module is max-projective. 4. (4)
Every cyclic right -module is max-projective. 5. (5)
Every simple right -module is max-projective.
Proof.
are clear.
Example 1 and the hypothesis implies that each simple right -module is projective. Thus is semisimple. β
In [3], the module is called rad-projective if, for any epimorphism where is an image of and any homomorphism , there exists a homomorphism such that . We have the following implications:
projective R-projective rad-projective max-projective
Proposition 1**.**
Let be a semilocal ring and an -module. Then the following are equivalent.
- (1)
* is rad-projective.* 2. (2)
* is max-projective.* 3. (3)
Every homomorphism can be lifted to a homomorphism .
Proof.
Clear. By [2, Proposition 3.14].
Since is semisimple, , with each simple as an -module. Let , and . Set . By the hypothesis, there exists a homomorphism such that . Since is semisimple, splits and there exists a homomorphism such that . Then, . β
In the next Proposition we provide a sufficient condition for an -module to be max-projective. We establish a converse in the case of self-injective rings.
Proposition 2**.**
If is a right -module such that for every maximal right ideal of , then is max-projective. The converse is true when is a right self-injective ring.
Proof.
By applying to the short exact sequence , with being a maximal right ideal of , we obtain the following exact sequence:
. If for every maximal right ideal of , it follows that is max-projective. Conversely, since is right self injective, . If is a max-projective right -module, then the map is onto, and so for any maximal right ideal of . β
Proposition 3**.**
Let be a short exact sequence. If is -subprojective and -subprojective, then is -subprojective.
Proof.
Let be an epimorphism with projective. Then using the pullback diagram of and , and applying , we get a commutative diagram with exact rows and columns:
[TABLE]
Since is -subprojective and -subprojective, and are epic. Hence, is epic by [6, Five Lemma 3.15].
β
Proposition 4**.**
Let be an -module. is max-projective if and only if is -subprojective for any -module with composition length .
Proof.
Let be a max-projective -module and be an -module with . Then there exists a composition series with each composition factor simple. Consider the short exact sequence . Since is max-projective, by Lemma 1, is -subprojective and -subprojective. So, by Proposition 3, is -subprojective. Continuing in this way, is -subprojective for each . Hence, is -subprojective. Conversely, since each simple right -module has finite length, is max-projective by Lemma 1. β
Corollary 2**.**
A -module is max-projective if and only if is -projective.
Proof.
By the Fundamental Theorem of Abelian Groups, a cyclic -module is isomorphic either to or to a finite direct sum of -modules of finite length. Now the proof is clear by Proposition 4. β
Corollary 3**.**
Let be an -module with finite composition length. If is max-projective, then it is projective.
Proof.
Let be an epimorphism. The module is -subprojective by Proposition 4. That is, there is a homomorphism such that . Thus the map splits, and so is projective. β
Submodules of max-projective -modules need not be max-projective. Consider the ring , for some prime integer . is max-projective, whereas the simple ideal is not max-projective, since the epimorphism does not split.
Recall that a ring is called right -ring (resp. right -ring) if all simple (resp. all singular simple) right -modules are injective.
Proposition 5**.**
Consider the following conditions for a ring :
- (1)
* is a right -ring.* 2. (2)
Submodules of max-projective right -modules are max-projective. 3. (3)
Submodules of projective right -modules are max-projective. 4. (4)
Every right ideal of is max-projective.
Then, . Also, if is a right self injective ring, then .
Proof.
Let be a submodule of a max-projective right -module . Consider the following diagram:
[TABLE]
where is a simple right -module, is the inclusion map and is the canonical quotient map. Since the simple module is either projective or singular, the former implies splits and there exists a homomorphism such that . In the latter one, is singular, so it is injective by the hypothesis. Thus, there is a homomorphism such that . Since is max-projective, there is a homomorphism such that . Hence, . In either case, there exists a homomorphism from to that makes the diagram commute. This implies that is max-projective.
Clear. Let be a right ideal of and a maximal right ideal of . Consider the following diagram:
[TABLE]
where is a simple right -module, is the inclusion map and is the canonical quotient map. Since is max-projective, there is a homomorphism such that . Since is injective, there exists a homomorphism such that . Now the map satisfies , as required. β
Proposition 6**.**
Let be a commutative or semilocal ring. Then pure submodules of max-projective -modules are max-projective.
Proof.
Let be a max-projective (right) module and a pure submodule of . Let be a simple (right) module and be a homomorphism. Since is pure-injective and is a pure submodule of , there is such that , where is the inclusion map. By max-projectivity of , there is a homomorphism such that , where is the natural epimorphism. Now we have , i.e. lifts . This proves that is max-projective. β
Lemma 3**.**
Let be a ring and be a preradical with . If is a max-projective -module, then is max-projective.
Proof.
Let be a max-projective -module and a homomorphism with simple -module. Consider the following diagram:
[TABLE]
Since M is max-projective, there exists a homomorphism such that . Since , , and so there exists a homomorphism such that . Now, since and is an epimorphism, , and so is max-projective. β
Remark 1*.*
Recall that any finitely generated -projective module is projective, [1, Lemma 2.1]. This is not true for max-projective modules in general. Let be a right -ring which is not right semihereditary. Then has a finitely generated right ideal which is not projective. By Proposition 5, each right ideal of is max-projective.
Proposition 7**.**
Let be a right nonsingular right self-injective ring. Every finitely generated max-projective right -module is projective.
Proof.
Let be a finitely generated max-projective right -module. As is a right nonsingular ring, by Lemma 3, is max-projective. Since is finitely generated, there exists an epimorphism such that is finitely generated free. This means is closed in . By the injectivity of , is a direct summand of , and so is projective. Then, for some projective submodule of . We claim that . Assume to the contrary that . Since, is a finitely generated submodule of , there exists a nonzero epimorphism for some simple right -module . Then, by Lemma 2, is max-projective, and so there exists a nonzero homomorphism such that , where is the natural epimorphism. But then , a contradiction. Thus we must have , whence is projective. β
A ring is called right max-ring if every nonzero right -module has a maximal submodule i.e. .
Proposition 8**.**
The following conditions are true.
- (1)
Over a semiperfect ring , every max-projective right -module with small radical is projective. 2. (2)
A ring is right perfect if and only if is semilocal and every max-projective right -module is projective.
Proof.
Let be a max-projective right -module with . Since is semilocal, is rad-projective by Proposition 1. Hence is projective by [2, Theorem 4.7].
Since over a right perfect ring every right -module has small radical, it follows from that every max-projective right -module is projective. Conversely, assume that is semilocal and every max-projective right -module is projective. Let be a nonzero right -module. We claim that . Assume to the contrary that has no maximal submodule, i.e. . Since for any simple right -module, is max-projective. Thus is projective, by the hypothesis. Since projective modules have maximal submodules, this is a contradiction. Hence, every right -module has a maximal submodule. Since is semilocal, is right perfect by [6, Theorem 28.4]. β
Recall that if is a right perfect ring, every -projective right -module is projective, [24]. Thus the following result follows from Proposition 8(2).
Corollary 4**.**
Let be a right perfect ring and be a right -module. Then the following are equivalent.
- (1)
* is projective.* 2. (2)
* is -projective.* 3. (3)
* is max-projective.*
The following Remark is an example of a right nonperfect ring such that every max-projective module is -projective.
Remark 2*.*
Let be a field, and the subalgebra of consisting of all eventually constant sequences in . For each , we let be the idempotent in whose ith component is and all the other components are [math]. Notice that a set of pairwise orthogonal idempotents in , so is not perfect, [25, Lemma 2.3]. By [25, Lemma 2.3 and Lemma 2.4], is simple -module and a module is -projective if and only if it is projective with respect to the projection . Thus, an -module is max-projective if and only if is -projective.
The following Corollary follows from [25, Theorem 3.3] and Remark 2.
Corollary 5**.**
Let be a field of cardinality and the subalgebra of consisting of all eventually constant sequences in . Assume GΓΆdelβs Axiom of Constructibility . Then all max-projective -modules are projective.
Lemma 4**.**
If is max-projective and , then is max-projective.
Proof.
Let be an -epimorphism with simple -module. Consider the following diagram:
[TABLE]
Since is max-projective, there exists a homomorphism such that . Since , , and so there exists a homomorphism such that . Now, since and is an epimorphism, , and so is a max-projective -module. β
It is well-known that a ring is semiperfect if and only if every simple -module has a projective cover. In the next Proposition, we extend this result by replacing projective covers with max-projective covers. Let be a ring and be a class of right -modules which is closed under isomorphisms. A homomorphism is called an -cover of the right -module , if and is an epimorphism with small kernel. That is to say, if is the class of max-projective right -modules, the homomorphism is called max-projective cover of . With the help of an argument similar to the one provided in [3, Theorem 18], we can establish the next Proposition.
Proposition 9**.**
For a ring , the following are equivalent.
- (1)
* is semiperfect.* 2. (2)
Every finitely generated right -module has a max-projective cover. 3. (3)
Every cyclic right -module has a max-projective cover. 4. (4)
Every simple right -module has a max-projective cover.
Proof.
are clear.
We first show that is a semisimple ring. Let be a simple right -module. By the hypothesis has a max-projective cover , say with . Since is simple and , is a simple -module. So, is max-projective by Lemma 4, whence is projective. Consider the map . This map induces an isomorphism. Since is projective -module, is the projective cover of . Hence, is a semiperfect ring. Therefore, is semisimple as an -module, and hence semisimple as an -module. Write , with each simple as a right -module, and let be a max-projective cover of , , as right -modules. Now, in order to prove that R is a semiperfect ring, it is enough to show that each , , is projective as a right -module. Clearly, , as a right R-module, is a max-projective cover of . Consider the diagram
[TABLE]
with being the max-projective cover of , and the canonical -epimorphism. By the max-projectivity of , can be lifted to a map such that . Since and we infer that and is onto. By the projectivity of , the map splits and for a submodule of . Since , and is projective. Therefore, each , , is projective as a right -module, and is semiperfect. β
Proposition 10**.**
For a ring , the following conditions are equivalent.
- (1)
* is right perfect.* 2. (2)
Every right -module has a max-projective cover. 3. (3)
Every semisimple right -module has a max-projective cover.
Proof.
are clear.
By Proposition 9, is a semiperfect ring. Let be a semisimple right -module and be a max-projective cover of . Since , is projective by Proposition 8(1). Thus every semisimple right -module has a projective cover, and so is right perfect. β
Let be any ring and be an -module. A submodule of is called radical submodule if has no maximal submodules, i.e. . By we denote the sum of all radical submodules of a module . For any module , is the largest radical submodule of , and so . Moreover, is an idempotent radical with and , (see [7]).
In [11, Lemma 1], the authors prove that over a right nonsingular right -ring, max-projective right -modules are nonsingular. Regarding the converse of this fact, we have the following.
Proposition 11**.**
If every max-projective right -module is nonsingular, then is right nonsingular and right max-ring.
Proof.
Clearly the ring is right nonsingular. If is right -ring, then for any right -module . Thus is a max-ring. Suppose is not right -ring and let be a noninjective simple right -module. We shall first see that . Suppose . Then is singular. Furthermore, since , is max-projective. This contradicts with the hypothesis. Therefore, for every simple right -module , . Let be a nonzero right -module. We claim that . Assume to the contrary that . Let and be a maximal submodule of . Then the simple right -module is noninjective, because small. Now, the obvious map extends to a nonzero map . Since , . This contradicts with . Hence for every right -module , and so is a right max-ring. β
Corollary 6**.**
For a ring , the following are equivalent.
- (1)
* is semilocal and every max-projective right -module is nonsingular.* 2. (2)
* is right perfect and right nonsingular.*
3. Almost- and max- rings
Recall that a ring is if and only if every injective (right) -module is projective (see, [14]). We slightly weaken this condition and obtain the following definition.
Definition 2**.**
A ring is called right almost- if every injective right -module is -projective. We call right max-, if every injective right -module is max-projective. Left almost- and left max- rings are defined similarly.
Clearly, we have the following inclusion relationship:
{ rings} {right almost- rings} { right max- rings}.
Example 2*.*
The ring of integers , is a right almost- but not : For every injective -module , we have . Thus , for each cyclic -module . This means that each injective -module is -projective,and so is almost-.
Remark 3*.*
Sandomierski [24] proved that if is a right perfect ring, then every -projective right module is projective. Thus a ring is right perfect and right almost- if and only if is .
Proposition 12**.**
Let and be Morita equivalent rings. Then, is right almost- if and only if is right almost-.
Proof.
An R-module is -projective if and only if is -projective for any finitely generated projective -module . Now, by [6, propositions 21.6 and 21.8 ], since injectivity, relative projectivity and being finitely generated are preserved by Morita equivalence, the proof is clear. β
Lemma 5**.**
Let and be rings. Then is right almost- (resp. right max-) if and only if and are both right almost- (resp. right max-).
Proof.
Let be an injective right -module. Then is an injective right -module, as well as an -projective module by the hypothesis. Hence, by Lemma 2, is -projective, and so is right almost-. Similarly, is right almost-. Conversely, let be an injective right -module. Since we have the decomposition , is an injective right -module, whence it is an injective right -module. On the other hand, since , is an -module, and so it is an injective -module. This means that and are -projective by the hypothesis. Then, by Lemma 2, is -projective. Similarly, is -projective. Therefore, is -projective. Since it is similar to the one provided for almost- rings, the proof is omitted for max- rings. β
Proposition 13**.**
Let be a right Hereditary ring and be an indecomposable injective right -module. Then the following are equivalent.
- (1)
* is -projective.* 2. (2)
* is max-projective.* 3. (3)
Either or is projective.
Proof.
Clear.
Assume that . Then has a simple factor module isomorphic to . Let be a nonzero homomorphism. Since is max-projective, there exists a homomorphism such that . By the fact that is right Hereditary, is projective, whence for some right -module . Since is indecomposable, either or , where the latter case implies that which is a contradiction. In the former case , implying that is projective.
Conversely, if is projective then is clearly -projective. Now suppose and let be a homomorphism. Then . Moreover is a direct summand of since is right Hereditary. Therefore , and so can be lifted to . β
Lemma 6**.**
(See [22, 3.3]) For a ring the following are equivalent.
- (1)
* is a right small ring.* 2. (2)
* for every injective right -module .* 3. (3)
.
Corollary 7**.**
If is a right Hereditary right small ring, then is right almost-.
Proposition 14**.**
If is a right semihereditary right small ring, then , for any injective right -module . In particular, is right almost- if and only if for any right ideal of .
Proof.
Let be an injective right -module and . Then . Since is right semihereditary, is absolutely pure. This means that is flat by [18, Corollary 4.86]. Then, by [18, Β§4 Exercise 20], , i.e. . Hence, the rest is clear. β
Recall that by Example 1, any right small ring is right max-. Moreover, if is right Noetherian, we have the following.
Proposition 15**.**
If is a right Noetherian and right small ring, then is right almost-.
Proof.
Let be an injective right -module. Then, by Lemma 6, . Now let be a homomorphism for any right ideal of . This implies that and since , we have . By the right Noetherian assumption, is a Noetherian right -module and its submodule is finitely generated, i.e. . Also since , this means that , whence can be lifted to . Consequently, is -projective. β
Theorem 1**.**
Let be a right Hereditary and right Noetherian ring. Then the following are equivalent.
- (1)
* is right almost-.* 2. (2)
* is right max-.* 3. (3)
Every injective right -module has a decomposition where and is projective and semisimple. 4. (4)
, where is a semisimple Artinian ring and is a right small ring.
Proof.
Clear.
Let be an injective right -module. Then has an indecomposable decomposition where βs are either projective or by proposition 13. Let Β is projective}. So the decomposition of can be written as . We claim that each is simple for . Since is projective for , . So there exists a simple factor of i.e. for some maximal submodule of and for some maximal right ideal of . Since is injective, by , the following diagram commutes.
[TABLE]
With the Hereditary assumption on , is projective and so . However is indecomposable, whence . Consequently, each is simple for .
Let be an injective right -module. By the assumption, where and is semisimple and projective. Since is -projective, we only need to show that is -projective. By the Noetherian assumption, the injective -module has a decomposition where each is indecomposable injective with . Proposition 13 implies that each is -projective, whence is -projective by Lemma 2. Therefore, is -projective by Lemma 2.
Let be the sum of minimal injective right ideals of . Then is injective since is right Noetherian. Thus we have the decomposition for some right ideal of such that and has no simple injective submodule. If is a nonzero homomorphism, then , where is injective by the Hereditary assumption, and so contains a semisimple injective direct summand . This means that , a contradiction. Thus, we have , and so is a two sided ideal. On the other hand, if is a nonzero homomorphism, then , and so is projective by Hereditary assumption. Also since is a semisimple injective -module, is semisimple injective, whence is semisimple injective for any maximal submodule of . This implies that . Then the simple -module is injective and projective, and so contains an isomorphic copy of a simple injective -module , yielding a contradiction. Therefore, , and so is a two sided ideal. Consequently, is a ring decomposition. Now let be the injective hull of as an -module. The injective hull is also a -module by the fact that . We claim that . Suppose the contrary and let be a maximal submodule of . Then is injective by the Hereditary assumption and it is max-projective by (2). Since is a simple right -module, it is isomorphic to for some maximal right ideal of , and so is injective. Then, the isomorphism lifts to i.e. the following diagram commutes.
[TABLE]
Since is monic and injective, is a direct summand of . It is easy to see that is also a right -module and so . On the other hand, since is minimal and injective, is also contained in , a contradiction. So we must have , whence by Lemma 6. This proves (4).
Clear, by Lemma 5 and Proposition 15.
β
Theorem 2**.**
Let be a right Hereditary ring. Then the following are equivalent.
- (1)
* is right max-.* 2. (2)
Every simple injective right -module is projective. 3. (3)
Every singular injective right -modules is -projective. 4. (4)
Every singular injective right -modules is max-projective. 5. (5)
* for every singular injective right -module .* 6. (6)
Every injective right -module can be decomposed as with .
Proof.
, and are clear.
Let be a simple injective right -module. We claim that is projective. Assume that is not projective. Then it is singular and injective. This implies, by our hypothesis that is max-projective, hence is projective, this is a contradiction. The conclusion now follows.
Let be an injective right -module and with is a simple right -module. If , there is nothing to prove. We may assume that is a nonzero homomorphism, and so is an epimorphism. Since is right Hereditary, is injective, and so by (2), is projective. Hence, the natural epimorphism splits, i.e. there exists a homomorphism such that . Then, , and so is max-projective.
Let be a singular injective right -module. Assume to the contrary that has a maximal submodule such that for some maximal right ideal of . So, there is a nonzero homomorphism , and by (4), there exists a nonzero homomorphism such that , where is the canonical epimorphism. Since is singular, is singular. Moreover, , and so is nonsingular. This implies that , yielding a contradiction.
Let be an injective right -module. Since is a right nonsingular ring, is a closed submodule of , and so for some submodule of . Then, by , .
Let be a singular injective right -module. This implies, by our hypothesis, that . Let be homomorphism for some right ideal of . Since and , is not an epimorphism. By the right Hereditary assumption, is injective, and so is a direct summand of . But since , we must have . This means, , whence for each right ideal of . Therefore, is -projective. β
Proposition 16**.**
Let be a local right max- ring. Then is either right self-injective or right small.
Proof.
Let be the unique maximal right ideal of and be the injective hull of the ring . Assume first that is not a small ring i.e. . Then has a maximal submodule such that is isomorphic to and denote this isomorphism by . Consider the composition where is the canonical projection. Since is right max-, there is a nonzero homomorphism such that
[TABLE]
commutes. Furthermore, is a small epimorphism and is an epimorphism, which means is also an epimorphism and splits. Thus, for some . Hence, is a right self injective ring. β
Corollary 8**.**
Let be a commutative semiperfect ring. If is max-, then where is self-injective and is small.
Proof.
Let be a commutative semiperfect ring, then by [19, Theorem 23.11], , where is a local ring . Hence, by Lemma 5 and Proposition 16, can be written as a direct product of local max- rings and every local max- ring either self-injective or small. β
Corollary 9**.**
Let be a right Noetherian local ring. Then the following are equivalent.
- (1)
* is right almost-.* 2. (2)
* is right max-.* 3. (3)
* is or right small.*
Proof.
Clear. Follows from Proposition 15.
Clear by Proposition 16, since right Noetherian right self-injective rings are . β
We do not know whether every right chain ring is almost-. But the following result will imply that each right chain ring with is right almost .
Proposition 17**.**
Let be a right chain ring and . Then .
Proof.
Assume first that for some . Then , and so, by [13, Proposition 5.3(b)], is a right Noetherian ring with . On the other hand if we suppose that for all , then, by [13, Proposition 5.2(d)], is a completely prime ideal. Let us now look at the case . Then simple right -module and . Let . If we have , then , whence either or , by [13, Proposition 5.2(f)]. If , then is a right Noetherian ring with . Otherwise, if , then , but since , this is not the case. If we look at the case , then . Since , is a completely prime ideal of , and so, by [13, Lemma 5.1], . Hence, . β
Corollary 10**.**
Let be a right chain ring. Then is a right almost- ring.
Proof.
Since is an ideal of , and every factor ring of a right chain ring is a right chain ring, without loss of generality we may assume that . Then by Proposition 17 and [13, Proposition 5.3], is a right Noetherian ring. We have two cases for : if is nilpotent, then is Artinian. This implies that is right self-injective by [13, Lemma 5.4] which then yields, is . So now assume that is not nilpotent. Then is a domain by [13, Proposition 5.2(d)], whence is right small. So, is right almost- by Proposition 15. Thus in any case is right almost-. β
We shall characterize commutative Noetherian max- rings.
Proposition 18**.**
(See [20]) Let be a commutative Noetherian ring, be a prime ideal of , , and . Then:
- (1)
* is a submodule of , , and .* 2. (2)
If is a maximal ideal of , then is a finitely generated -module for every integer . 3. (3)
* is Artinian.*
Lemma 7**.**
Let be a commutative Noetherian ring, and let for a maximal ideal of . The following are equivalent.
- (1)
* is -projective.* 2. (2)
* is max-projective.* 3. (3)
* or is projective, local and isomorphic to an ideal of .*
Proof.
is clear.
Assume that . Since is commutative, , where is the set of all maximal ideals of , [6, Exercises 15.(5)]. Now we will see that for any maximal ideal distinct from . Let be a maximal ideal distinct from . The fact implies for any . Let . Then for some , by Proposition 18. We have , where , , and then . Hence, . Since is commutative and , is a semisimple -module, and so semisimple as an -module. Then is finitely generated by Artinianity of , and hence for some finitely generated submodule of . Since is finitely generated, is a submodule of for some , by PropositionΒ 18. Thus . Since , , implying . On the other hand, , and so . Continuing in this manner , whence is finitely generated. Since is Noetherian, and so . Since is finitely generated, has finite composition length by Proposition 18(3). By max-projectivity of and Lemma 3, is max-projective. Thus is projective by Corollary 3. Then, for some projective submodule of . Since is indecomposable and , . Therefore is projective. Furthermore, since is indecomposable, the endomorphism ring of is local by [13, Lemma 2.25]. By [26, Theorem 4.2], is a local module, so it is cyclic and for some ideal of . Hence is isomorphic to an ideal of . This proves .
is obvious. β
Lemma 8**.**
(See [17, 9.7]) Suppose commutative Noetherian or semilocal right Noetherian ring and be a class of right -modules. Then .
Lemma 9**.**
Let be a commutative Noetherian ring. Then the following are equivalent.
- (1)
* is a small ring, i.e., .* 2. (2)
* for each simple -module .*
Proof.
: Clear by Lemma 6.
: Let be a complete set of representatives of simple -modules. Then is an injective cogenerator. Then, for some index set , the injective hull of is a direct summand of . By Lemma 8, . Since is a direct summand of , we have . Thus is a small ring by Lemma 6. β
Theorem 3**.**
Let be a commutative Noetherian ring. Then the following are equivalent.
- (1)
* is almost-.* 2. (2)
* is max-.* 3. (3)
, where is and is small.
Proof.
is clear.
First suppose that for all simple -module . Then is a small ring by Lemma 9. On the other hand, if for some simple -module , then is isomorphic to a direct summand of by Lemma 7. Let be sum of minimal ideals of with . Then is isomorphic to an ideal of . Thus without loss of generality we can assume that is an ideal of . Since is Noetherian, is finitely generated, and so where each is an ideal of . Thus for some ideal of . Now is injective and Noetherian, so is a ring. On the other hand, let be a simple -module, then is a simple -module. Let be the injective hull of . As is a -module, . If , then this would imply , by the same arguments above. Thus , and so is a small ring by Lemma 9.
Clear, by Proposition 15 and Lemma 5. β
Proposition 19**.**
Let be a semiperfect ring. Then the following are equivalent.
- (1)
* is right almost- and direct sum of small right -modules is small.* 2. (2)
* is right max- and direct sum of small right -modules is small.* 3. (3)
* is right almost- and for each injective right -module .* 4. (4)
* is right max- and for each injective right -module .* 5. (5)
* is .*
Proof.
and Clear. and By [23, Lemma 9].
Let be an injective right -module. Since is max-projective with , by Proposition 8, is projective. Hence is .
Let be an injective right -module. By the hypothesis, is projective. Since is right Artinian, every right -module has a small radical, whence . β
In [10], a submodule of a right -module is called coneat in if is epic for every simple right -module . In [9], is called s-pure in if is monic for every simple left -module . M is absolutely coneat (resp., absolutely s-pure) if is coneat (resp., s-pure) in every extension of it. If is commutative, then s-pure short exact sequences coincide with coneat short exact sequences, [15, Proposition 3.1].
Proposition 20**.**
Consider the following conditions for a ring R:
- (1)
* is right max-.* 2. (2)
Every absolutely coneat right -module is max-projective. 3. (3)
Every absolutely s-pure right -module is max-projective. 4. (4)
Every absolutely pure right -module is max-projective.
Then . Also, if is a commutative ring, then .
Proof.
Clear.
Let be an absolutely coneat right -module. Consider the following diagram:
[TABLE]
where is a simple right -module, is the inclusion map and is the canonical quotient map. Since coneat in , there is a homomorphism such that . Also, by , there exists a homomorphism such that . Hence, .
Let be an absolutely s-pure right -module. Then is s-pure in . Since is commutative, is coneat in . Hence, is max-projective by . β
In [21, Lemma 1.16], it was shown that for a projective module , if , where is a summand of and , then there exists a submodule with . By using the same method in the proof of [5, Theorem 2.8], one can prove the following result.
Proposition 21**.**
A ring is right almost- if and only if for every injective right -module , if , where is a finitely generated projective summand of and , then for some .
Let R be a ring and be a class of -modules which is closed under isomorphic copies. Following Enochs, a homomorphism with is called an -precover of the -module if for each homomorphism with , there exists such that .
Lemma 10**.**
Let be a right self-injective ring. Then the following are equivalent.
- (1)
* is right almost-.* 2. (2)
Every finitely generated right -module has an injective precover which is -projective. 3. (3)
Every cyclic right -module has an injective precover which is -projective.
Proof.
Let be a finitely generated right -module and be an epimorphism. For any homomorphism with is injective, there exists such that . Since is injective, is an injective precover of .
Clear.
Let be an injective right -module and be a right ideal of . Suppose that is a homomorphism, is the natural epimorphism and be an injective cover of . So, there is such that . By hypothesis, is -projective and hence there is such that . Let . So . Therefore, E is -projective, and so is right almost-. β
In [12], a module is said to be copure-injective if for any injective module . Now we give the characterization of almost- rings in terms of copure-injective modules.
Proposition 22**.**
Let be a ring. Then the followings are equivalent.
- (1)
* is right almost- and is copure-injective.* 2. (2)
Every right ideal of is copure-injective. 3. (3)
Every submodule of a finitely generated projective right -module is copure injective.
Proof.
Let be an injective right -module and be a right ideal of . By applying to the short exact sequence , we obtain the following exact sequence: . Since is copure-injective, . Then the map is onto since is -projective. Hence, for any injective -module .
Suppose that every right ideal of is copure-injective. First, by induction, we show that every submodule of is copure-injective. The case follows by the hypothesis. Now suppose that and every submodule of is copure-injective. Let be a submodule of , and consider the exact sequence . By induction hypothesis, is copure-injective, and is also copure-injective. Therefore, for any injective right -module , consider the exact sequence . Since , we have . Therefore, is copure-injective. Now if is a submodule of a finitely generated projective right -module , then there is such that . By the above observation, is also copure-injective. is clear. by Proposition 2. β
Proposition 23**.**
Let be a ring. Then the following are equivalent.
- (1)
* is semisimple.* 2. (2)
* is right almost- right V-ring.* 3. (3)
* is right almost- and every submodule of an -projective right module is -projective.* 4. (4)
* is right self-injective and every submodule of an -projective right module is -projective.*
Proof.
, and are clear.
Since is a right -ring, every simple right -module is injective. By the hypothesis, every simple right -module is -projective, whence projective.
Let be a cyclic right -module and a right ideal of . Consider the following diagram:
[TABLE]
where is the inclusion map and is the canonical quotient map. Since is -projective there exists such that . By the injectivity of , there exists such that . Then , and is the required map.
Since every simple right -module can be embedded in an injective -module, every simple right -module is -projective, and so every simple right -module is projective. Hence, is semisimple. β
The reference list from the paper itself. Each links out to its DOI / PubMed record.
- 1[1] H. Alhilali, Y. Ibrahim, G. Puninski, and M. Yousif, When R is a testing module for projectivity? J. Algebra 484 (2017), 198-206.
- 2[2] I. Amin, Y. Ibrahim, and M. Yousif, Ο π \tau -projective and strongly Ο π \tau -projective modules, Contemporary ring theory 2011 , 2012, pp. 209-235.
- 3[3] I. Amin, Y. Ibrahim, and M. Yousif, Rad-projective and strongly rad-projective modules, Comm. Algebra 41 (2013), no. 6, 2174-2192.
- 4[4] A. Amini, M. Ershad, and H. Sharif, Rings over which flat covers of finitely generated modules are projective, Comm. Algebra 36 (2008), no. 8, 2862-2871.
- 5[5] B. Amini, A. Amini, and M. Ershad, Almost-perfect rings and modules, Comm. Algebra 37 (2009), no. 12, 4227-4240.
- 6[6] F. W. Anderson, K. R. Fuller, Rings and categories of modules , Springer-Verlag, New York, 1992.
- 7[7] E. BΓΌyΓΌkaΕΔ±k, E. Mermut, and S. Γzdemir, Rad-supplemented modules, Rend. Semin. Mat. Univ. Padova 124 (2010), 157-177.
- 8[8] E. BΓΌyΓΌkaΕΔ±k, Rings over which flat covers of simple modules are projective, J. Algebra Appl. 11 (2012), no. 3, 1250046, 7.
