Home Mathematics Classes of modules closed under projective covers
Article Open Access

Classes of modules closed under projective covers

  • César Cejudo-Castilla EMAIL logo , Ángel Raúl García-Ramírez and Ivan Fernando Vilchis Montalvo
Published/Copyright: April 3, 2025

Abstract

In this work, we study some classes of modules closed under submodules, quotients, and projective covers, even if the left projective cover of an arbitrary left module not always exists. We obtain a characterization of artinian principal ideal rings when the class of left R -modules closed under submodules and projective covers and the class of left R -modules closed under quotients and projective covers coincide. Also, for commutative rings, we characterize noetherian rings in which every cyclic module is quasi-injective.

MSC 2010: 16D40; 16D80; 16L60

1 Introduction

The study of module classes has been very active in ring and module theory since the appearance of torsion theories by Dickson. The torsion classes have contributed to the development of some major branches of ring such as localization of rings. With the success of torsion classes and free torsion classes, some generalizations of classes of modules have been studied; for example, Wisbauer classes [1], natural classes by Dauns and Zhou [2,3], Serre classes [4] and Raggi, Conatural classes by Rincón et al. [5], hereditary and cohereditary classes in [5], and classes closed under injective hulls by Rincón et al. [6] and Birkenmeier and Wiegandt [7].

In this article, we will study some classes of R -modules closed under submodules, quotients, and projective covers. We will use the following notation: R -Mod denotes the category of left R -modules, given M R -Mod , we denote E ( M ) and P ( M ) as the injective hull and projective cover of M , respectively. R -her denotes the class of module classes that are closed under submodules, R -quot denotes the class of module classes closed under quotients, and R -cov denotes the class of module classes closed under projective covers. Also, we denote by R -qcov the class closed under quotients and projective covers, and by R -hcov the class of module classes closed under submodules and projective covers.

Precisions about the definitions of being closed under projective covers and the generation of least classes that are closed under certain properties are treated at the beginning of Section 2. Later, we give characterizations for module classes to be closed under two of the previous conditions, including examples and counterexamples to exhibit the necessary and sufficient conditions. We focus our efforts on the study of the inclusion relations between R -qcov and R -hcov in both ways and their consequences for the ring R .

In Section 3, we stablish and prove our main result:

Theorem

For a ring R, the following properties are equivalent:

  1. for each projective left R-module P and every K R -Mod : If there exists an epimorphism P K , then there exists a monomorphism K P ,

  2. R is an artinian principal ideal ring,

  3. R -hcov = R -qcov and R is left perfect,

  4. R -quot R -her ,

  5. R -her R -quot ;

which summarize the work done in this section.

The rest of Section 3 explores further consequences of the inclusion R -qcov   R -hcov and gives one characterization for artinian principal ideals using left hereditary rings. Finally, we study some properties of q c -rings (rings whose cyclic modules are quasi-injective) and give a characterization of commutative noetherian q c -rings and we relate these rings to classes closed under projective covers.

2 Generation in the lattices R-hcov and R-qcov

Since, for an arbitrary ring, the left projective cover of an arbitrary left module not necessarily exists, the definition of a class of left modules being closed under projective covers needs some precision:

Definition 2.1

Given a class of left R -modules C , we say that it is closed under projective covers whenever, for any M C such that its projective cover P ( M ) exists, then P ( M ) C . Also, we will denote by R -cov the class of module classes closed by projective covers.

Example 1

We give some examples of module classes closed under projective covers.

(1) Let R = Z and C = { M Z -Mod M is not a left free module. } . Then, C R -cov , although no module in C has a projective cover. Indeed, as Z is a PID, being a left projective module is equivalent to being a left free module. In contrast, in Z -Mod, the only modules that have a projective cover are the ones that are already free ([8, Example 5.1.2(4)]).

(2) Let C = { M M is a left finitely generated module } . Then, C R -cov .

Let n N and M = i = 1 n R x i be a left finitely generated module. If P ( M ) does not exist, there is nothing to prove. If P ( M ) exist, we have the following diagram:

which can be lifted by the epimorphism φ : R ( n ) P ( M ) and we are done.

(3) Let R be a ring, J = Rad ( R ) its Jacobson radical, e R such that e 2 = e and

C = M M Re or M Re Je .

It is clear that C R -cov since Re is the projective cover of Re/Je.

Definition 2.2

Let A be a set of closure properties and C be a class of left R -modules. We denote by ξ A ( C ) the least class of left modules containing C and being closed under the properties of A .

Using the previous definition, we have that ξ ( C ) , ξ P ( C ) , and ξ ( C ) are the least class of left modules containing C and being closed under submodules, projective covers, and quotients, respectively. The following proposition characterizes ξ ( C ) , ξ P ( C ) , and ξ ( C ) . The proof is straightforward and will be omitted.

Proposition 2.1

If C R -Mod , then

  1. ξ ( C ) = { N t h e r e e x i s t s a m o n o m o r p h i s m N C w i t h C C } .

  2. ξ P ( C ) = C { P ( C ) C C s u c h t h a t P ( C ) e x i s t s } .

  3. ξ ( C ) = { M t h e r e e x i s t s a n e p i m o r p h i s m C M w i t h C C } .

We can regard ξ , ξ , ξ P as operators between classes of left R -modules. With this in mind, we can ask whether these operators commute or not. For instance, given a class of left R -modules C , we want to know if ξ ( ξ P ( C ) ) = ξ P ( ξ ( C ) ) . The following example answer in a negative manner this question.

Example 2

Let R = Z p 3 for some prime number p . It is clear that R is a commutative uniserial QF ring (thus, perfect) with a finite chain of ideals:

0 ( p 2 ) ( p ) R .

Thus, we have that ( p 2 ) is a simple left R -module. Consider C = { M M ( p 2 ) } then, we have

ξ ( C ) = { M M 0 , M ( p 2 ) } , ξ P ( ξ ( C ) ) = { M M 0 , M ( p 2 ) , M R } ,

with ( p 2 ) being a simple left R -module. In contrast, as the projective cover P ( ( p 2 ) ) is a direct summand of R , which is an indecomposable R -module, then P ( ( p 2 ) ) R . Hence,

ξ P ( C ) = { M M ( p 2 ) , M R } , ξ ( ξ P ( C ) ) = { M M 0 , M ( p 2 ) , M ( p ) , M R } .

Therefore, ξ ξ P ξ P ξ as we claim.

Proposition 2.2

Let R be a ring. If C R -Mod is a class of left R-modules such that for all C C : P ( C ) exists. Then, C R-cov implies that ξ ( C ) R-cov .

Proof

Let M ξ ( C ) . We can assume that P ( M ) exists. As M ξ ( C ) , then there exist C C and an epimorphism C M . Since C C , P ( C ) exists and belongs to C . Now, we have the following diagram:

where p 1 , p 2 are the projective covers of C and M , respectively, and the morphism φ : P ( C ) P ( M ) exists since P ( C ) is projective. As ker p 2 P ( M ) , then Im φ = P ( M ) , i.e., φ is an epimorphism, therefore P ( M ) ξ ( C ) .□

Lemma 2.1

Let R be a ring and C R -Mod a class of left R-modules such that for every C C , P ( C ) exists. Then:

ξ ( ξ P ( C ) ) = { M t h e r e e x i s t s a n e p i m o r p h i s m P ( C ) M w i t h C C } .

Proof

Let K = { M there exists an epimorphism P ( C ) M with C C } now, given M ξ P ( C ) , we have two cases: M C or M = P ( C ) for some C C . In the first case, we take p : P ( M ) M , and in the second case, 1 M : M = P ( C ) M , then, in any case, M K . Thus, ξ P ( C ) K .

Now, K is closed under quotients. Indeed, given N K , M a left R -module and an epimorphism N M , then by definition, there exists P ( C ) N for some C C , so there exists P ( C ) M , then M K .

Finally, consider a class D containing ξ P ( C ) and being closed under quotients. If M K , there exists an epimorphism f : P ( C ) M for some C C . Now, since C ξ P ( C ) D R-cov , P ( C ) D . Hence, M D . Therefore, K is the smallest class containing ξ P ( C ) and that is closed under quotients, in other words, K = ξ ( ξ P ( C ) ) .□

Proposition 2.3

If C is class of left R-modules such that for every C C , P ( C ) exists. Then, ξ ( ξ P ( C ) ) = ξ { , P } ( C ) .

Proof

We note that, if K = { M , there exists an epimorphism P ( C ) M with C C } , then by the previous lemma and Proposition 2.1:

  1. C ξ P ( C ) K .

  2. K R-quot .

  3. K = ξ ( ξ P ( C ) ) R-cov .

Then, it is sufficient to prove that if D is a class such that C D and D R- q c o v , then K D . Indeed, given a left R -module M K , by Lemma 2.1, there exists an epimorphism P ( C ) M for some C C . Thus, as C C D and D R- q c o v , then M D . Therefore, ξ { , P } ( C ) = K = ξ ( ξ P ( C ) ) .□

Observation 1

As proved in the above proposition, generating the least class closed under quotients and left projective covers containing C is obtained by first generating the least class of left modules containing C closed under left projective covers and then consider the least class of left modules closed under quotients containing the former class. However, as Example 2 points out, we cannot obtain the least class of left R -modules closed under quotients and left projective covers by reversing the process described above.

Unfortunately, we do not have the analogous of Proposition 2.3 for the closure properties and P . As the following example shows:

Example 3

Let R = Z p 3 and C = { M M ( p 2 ) } as in Example 2. Then:

ξ ( C ) = { M M 0 , M ( p 2 ) } , ξ P ( ξ ( C ) ) = { M M 0 , M ( p 2 ) , M R } ,

as ( p 2 ) being a simple left R -module. On the contrary

ξ P ( C ) = { M M ( p 2 ) , M R } , ξ ( ξ P ( C ) ) = { M M 0 , M ( p 2 ) , M ( p ) , M R } .

Therefore, ξ ξ P ξ P ξ as we claim.

We should note that ξ { , P } ξ P ξ , but in this particular case: ξ { , P } ( C ) = ξ ( ξ P ( C ) ) . However, the previous equality does not always hold, as we will see in the following example:

Example 4

Let R = a ( x , y ) 0 a a , x , y Z 2 be a formal triangular matrix ring; thus, R is a commutative local artinian ring as we can see in the lattice of ideals of R , regarding that J denotes the Jacobson’s radical of R .

Where

S 1 = 0 ( 0 , 1 ) 0 0 , 0 ( 0 , 0 ) 0 0 , S 2 = 0 ( 1 , 0 ) 0 0 , 0 ( 0 , 0 ) 0 0 , S 3 = 0 ( 1 , 1 ) 0 0 , 0 ( 0 , 0 ) 0 0 ,

and

J = 0 ( x , y ) 0 0 x , y Z 2 .

As the ring R is local, all the left simple R -modules are isomorphic. Then S 1 R J . Since J is superflous in R, then P ( S 1 ) R .

As R being artinian, P ( J ) exists; however, if we suppose that P ( J ) R or P ( J ) S 1 , we obtain

P ( J ) R ρ : R J J is a cyclic R -module. P ( J ) S 1 σ : S 1 J J S 1 , since  S 1  be a simple left  R -module.

Both cases are contradictions since J = Soc ( R ) = S 1 S 2 S 3 ; we can conclude that P ( J ) ξ ( R ) . Then, if C = { M M R } , we have

ξ P ( C ) = { M M R } , ξ ( ξ P ( C ) ) = { M M R , J , S 1 , 0 } ,

but it is clear that P ( J ) ξ { , P } ( C ) but P ( J ) ξ ( ξ P ( C ) ) . Consequently, ξ { , P } ξ ξ P as we claim.

Therefore, for the closure properties and P , we have to do some extra work:

Definition 2.3

Let C be a class of left R -modules. We define

  1. η 0 ( C ) = C ,

  2. η ( C ) = ξ P ( ξ ( C ) ) ,

  3. η n + 1 ( C ) = η η n ( C ) ,

  4. η ( C ) = n N η n ( C ) .

Observation 2

Note that from Definition 2.3, given n N :

η n + 1 ( C ) = ξ ( η n ( C ) ) { P ( N ) N ξ ( η n ( C ) ) , such that P ( N ) exists } .

Note that, for each n N , C η n ( C ) , since C ξ ( C ) η ( C ) (every R -module is a submodule of itself); moreover, η n ( C ) ξ ( η n ( C ) ) η n + 1 ( C ) for each n N .

In the following examples, we calculate η n ( C ) for some n N and a particular class C of left R -modules.

Example 5

Let R be a left hereditary ring, and C = { M M is a left projective R -module } . Then, η ( C ) = ξ ( C ) .

Proof

As M is a left projective module, we have that P ( M ) = M for each M C , and every submodule C of an element in C is also left projective, we have that

η ( C ) = ξ ( C ) { P ( C ) = C C ξ ( C ) } = ξ ( C ) . η 2 ( C ) = η ( ξ ( C ) ) = ξ ( ξ ( C ) ) { P ( C ) = C C ξ ( ξ ( C ) ) } .

It is clear that ξ ( ξ ( C ) ) = ξ ( C ) , then η 2 ( C ) = ξ ( C ) = η ( C ) . Therefore,

η ( C ) = ξ ( C ) .

Example 6

Let R be a principal ideal domain (PID) and consider C = { R } . Then, η ( R ) = ξ ( R ) .

Proof

Since R is a PID, every ideal of R is free as left R -module and consequently left projective, then { P ( C ) C ξ ( R ) } = ξ ( R ) . Then, as in the previous example:

η ( R ) = ξ ( R ) .

In particular, for the PID R = Z , we have that η ( Z ) = { n Z n Z } and for R = K [ x ] where K is a field, η ( K [ x ] ) = { ( 0 ) } { ( x k ) k N { 0 } } .□

Example 7

If R is a left artinian, left hereditary, and left uniserial ring and let C be the class of all left simple R -modules, then η ( C ) = C ξ ( R ) .

Proof

Since R is a left artinian ring, the left projective cover P ( S ) exists for each S C . Moreover, for each S C , we have that P ( S ) = Re for some idempotent element e of R and consequently, P ( S ) R for each left simple R -module as R being left uniserial.

Note that ξ ( C ) = { 0 } C and { P ( C ) C ξ ( C ) } = { 0 } { M M R } using the previous argument. Hence,

η ( C ) = { 0 } { M M R } C .

Now, it is clear that M ξ ( η ( C ) ) = C ξ ( R ) . Hence,

{ P ( C ) C ξ ( η ( C ) ) } = ξ ( R ) ,

as R being left hereditary. Then

η 2 ( C ) = C ξ ( R ) .

Finally, note that

ξ ( η 2 ( C ) ) = { M exists M N for some N η 2 ( C ) } = C ξ ( R ) .

At this stage, it is clear that η 3 ( C ) = η 2 ( C ) . Therefore,

η ( C ) = C ξ ( R ) .

Lemma 2.2

If C is a class of left R-modules, then η ( C ) = ξ { P , } ( C ) .

Proof

Since C η n ( C ) for each n N , C η ( C ) . We will prove that η ( C ) is closed under submodules and projective covers.

Let M η ( C ) and K M a monomorphism, by definition, M η n ( C ) for some n N . Then, K ξ ( η n ( C ) ) η n + 1 ( C ) η ( C ) . On the contrary, if P ( M ) exists, then P ( M ) η n + 1 ( C ) as M ξ ( η n ( C ) ) , thus P ( M ) η ( C ) and consequently, η ( C ) R- h c o v .

Finally, we will prove by induction that η ( C ) is the smallest class closed under submodules and projective covers containing C .

Let D be a class of left R -modules closed under submodules and projective covers containing C . For n = 0 we have that η 0 ( C ) = C D . On the contrary, suppose that η n ( C ) D and take M η n + 1 ( C ) . By Observation 2, we have either of the following two cases: M ξ ( η n ( C ) ) or M { P ( N ) N ξ ( η n ( C ) ) such that P ( N ) exists } , we now apply the inductive hypothesis since D is a class closed under submodules and projective covers. As we can see, in any case M D , therefore η ( C ) D .□

Now, we are interested in studying the consequences of the equality between R -qcov and R -hcov . First, we study the inclusion of one of these classes into the other, as in the following proposition:

Proposition 2.4

Let R be a ring such that R-qcov R -hcov . Then, for every left projective R-module P and K R -Mod :

If there exists a monomorphism K P , there exists an epimorphism P K .

Proof

Let P be a left projective module, K R -Mod and a monomorphism K P . Now, consider C = { M M P } ; note that C satisfies the hypothesis of Lemma 2.1 then P ξ , P ( C ) and since ξ , P ( C ) R -qcov   R -hcov so, K ξ , P ( C ) , and there exists an epimorphism P K .□

Theorem 2.1

Let R be a left perfect ring. The following statements are equivalent:

  • (1) R- q c o v R- h c o v .

  • (2) For each left projective R-module P and K R -Mod :

  • If there exists a monomorphism K P , then there exists an epimorphism P K .

Proof

(1) (2) See Proposition 2.4.

(2) (1) Consider C R- q c o v , M C and a monomorphism N M . We are going to prove that C it is closed under submodules. As R is a left perfect ring, then there exists a left projective cover P ( M ) and we have the following diagram:

where L is the pullback for the epimorphism and monomorphism. Now, since M C we have that P ( M ) C , then for the monomorphism L P ( M ) , by hypothesis, there exists an epimorphism P ( M ) L . Hence L C . Finally, as C is closed under quotients it follows that N C . Therefore, C R- h e r .□

Note that the condition of R being a left perfect ring is necessary for the last result; to see this, we recall the following result due to Kaplansky: (cf. [9, Theorem 4.13]).

Theorem

Let R be a left hereditary ring and M R -Mod . If there exists M F with F being a free R-module, then

M x X I x w h e r e I x R .

In the following example, we show that Theorem 2.1 is not in general true if R is not a left perfect ring.

Example 8

Let R = Z and consider C = { M M Z p } .

Let P be a left projective module, K R -Mod and a monomorphism K P . Since Z is a PID, every left projective module is free, then by Kaplansky’s theorem:

K x X I x , I x Z .

Now, since Z is a PID, we have that I x = ( 0 ) or I x Z , i.e., K Z ( Y ) for some Y X ; consequently, K is covered by P = Z ( X ) and (2) of the previous theorem is fulfilled. On the contrary, as Z p is not a free module and its isomorphic to all its quotients, we have that C R -qcov , but Z p is a proper submodule of C , thus R -qcov R -hcov , as we claim.

The dual proposition of (2) in Theorem 2.1 has strongest consequences and its related to the other inclusion as we show in the following results.

Proposition 2.5

Let R be a ring in which the following property holds for every left projective module P and K R -Mod : If there exists an epimorphism P K , then there exists a monomorphism K P . Then, R is a QF ring.

Proof

Let M R -Mod , then there exist a free R -module F and an epimorphism F M . As F is a left projective module, by the hyphotesis, then there exists a monomorphism M F , so every left R -module embeds in a free module. Therefore, R is a Q F -ring.□

Proposition 2.6

Let R be a ring in which the following property holds for every left projective module P and K R -Mod : If there exists an epimorphism P K , then there exists a monomorphism K P . Thus, R- h c o v R- q c o v .

Proof

Take C R- h c o v , M C and an epimorphism M N , since R is a Q F ring, there exists P ( M ) , moreover, P ( M ) C (since the class is closed under projective covers), and we also have

P ( M ) M N .

Given that P ( M ) is left projective, then by hypothesis, there exists a monomorphism N P ( M ) and since C is closed under submodules, N C .□

Theorem 2.2

Let R be a left hereditary ring. The following statements are equivalent:

  • (1) R- h c o v R- q c o v .

  • (2) For every left projective module P and K R -Mod : If there exists an epimorphism P K , then there exists a monomorphism K P .

Proof

( 1 ) ( 2 ) Let P a left projective R -module, K R -Mod and an epimorphism P K . If we consider C = { M M P } , clearly ξ P ( C ) = C . Since R is a left hereditary ring, ξ ( C ) = { M M L with 0 L P } . Now, according to Definition 2.3, we have that η ( C ) = ξ P ( ξ ( C ) ) = ξ ( C ) , and η 2 ( C ) = η ( η ( C ) ) = ξ ( C ) , then by Lemma 2.2, we obtain that ξ { , P } ( C ) = ξ ( C ) . Finally, we can see that ξ ( C ) = ξ { , P } ( C ) R -hcov   R -qcov by the hyphotesis, then as K is a quotient of P , K ξ , P ( C ) . Therefore, exists a monomorphism K P .

( 2 ) ( 1 ) See Proposition 2.6.□

Theorem 2.3

For a left perfect ring R, the following conditions are equivalent:

  • (1) R- q c o v = R- h c o v .

  • (2) For each left projective R-module P and K R -Mod , we have:

  • there exists an epimorphism P K if and only if there exists a monomorphism K P .

Proof

(2) (1) It follows immediately from Theorem 2.1 and Proposition 2.6.

(1) (2) Suppose that R- q c o v = R- h c o v , let P be a left projective R -module and K R -Mod .

( ) If there exists an epimorphism P K , then K ξ { , P } ( P ) .

We will see that ξ ( P ) R -cov . For this, we take L ξ ( P ) , then by Proposition 2.1, there exists a monomorphism L P , and since R is left perfect, there exists P ( L ) , and as R -qcov R -hcov , by Theorem 2.1, then there exists an epimorphism P L and the following diagram commutes:

Since P ( L ) is left projective, it follows that P ( L ) is a direct summand of P , and consequently, there is a monomorphism P ( L ) P ; in other words, the projective cover P ( L ) ξ ( P ) i.e., ξ ( P ) R -cov then ξ { , P } ( P ) ξ ( P ) . Now, by hypothesis and [6, Remark 2.3]: ξ { , P } ( P ) = ξ { , P } ( P ) and since K ξ { , P } ( P ) it follows that K ξ { , P } ( P ) . Hence, there exists a monomorphism K P .

( ) By Theorem 2.1.□

3 Artinian principal ideal rings

The following theorem summarizes some well-known results about artinian principal ideal rings (i.e., left and right artinian rings and left and right principal ideal rings), we include them for convenience.

Theorem 3.1

The following propositions are equivalent:

  1. R is an artinian principal ideal ring.

  2. R is a left principal ideal ring and QF.

  3. The injective hull and the projective cover of each (left or right) finitely generated R-module are isomorphic.

  4. For each left R -module M , R Soc ( M ) M J M and for each rigth R-module N, Soc R ( N ) N J N where J denotes the Jacobson radical of the ring R.

  5. For every ideal I of R , R I is Q F .

  6. R- h e r = R-quot .

Proof

See [6, Theorem 4.1]□

Theorem 3.2

For a ring R, the following properties are equivalent:

  • (1) For each projective left R-module P and every K R -Mod :

  • if there exists an epimorphism P K , then there exists a monomorphism K P .

  • (2) R is an artinian principal ideal ring.

  • (3) R- h c o v = R- q c o v and R is left perfect.

  • (4) R- q u o t R- h e r .

  • (5) R- h e r R- q u o t .

Proof

(1) (2) By Proposition 2.5, R is Q F .

On the contrary, let I be an ideal of R , P a left projective R I -module and for a K R I -Mod an epimorphism β : P K .

Note that I P = I K = 0 as left R I -modules, so for each r R and m P ( m K ) , we define the action r m ( r + I ) m , then P and K are left R -modules and β can be regarded as an epimorphism of left R -modules, then for (1) there exists a monomorphism α : K P of left R -modules.

Note that α ( ( r + I ) m ) = α ( r m ) = r α ( m ) = ( r + I ) α ( m ) , then α is a monomorphism of left R I -modules, i.e., R I is QF for each ideal I of R , then by Theorem 3.1, R is an artinian principal ideal ring.

(2) (3) See [5, Theorem 38].

(3) (1) See Theorem 2.3.

(5) (2) and (4) (2) See [6, Theorem 4.2].□

Proposition (1) in the previous theorem seems to be versatile in combination with some rings, another example of this can be found in the next theorem.

Corollary 3.1

Let R be a left hereditary ring. The following statements are equivalent:

  1. R is a QF ring.

  2. R is an artinian principal ideal ring.

  3. R -hcov   R -qcov .

Proof

(1) (2) Is clear.

(2) (3) It follows from Theorem 3.2.

(3) (1) See Theorem 2.3.□

Rings that satisfy the conditions of the previous corollary are called semisimple.

We will now establish other consequences of the relation R - q c o v R - h c o v .

Lemma 3.1

If R - q c o v R - h c o v , then for each left R-module M the following statements are equivalent.

  1. M is left noetherian.

  2. M is finitely generated.

Proof

( 1 ) ( 2 ) It is clear.

( 2 ) ( 1 ) Let C be the class of left finitely generated R -modules, then C R- q c o v R - h c o v as we see in Example 1.2. Now, given M C and N a submodule of M , we have that N C , then N is finitely generated, so M is left noetherian.□

Corollary 3.2

If R- q c o v R -hcov , then R is a left principal ideal ring.

Proof

Since R is left projective, by Theorem 2.1 for every ideal I of R there exists an epimorphism R I , I is cyclic and R is a left principal ideal ring.□

Corollary 3.3

If R- q c o v R - h c o v , then for every simple left R-module S, P ( S ) is left noetherian when exists.

Proof

Let S be a simple left R -module, and suppose that P ( S ) exists. Then, we have the following commutative diagram:

and h ( R ) + ker g = P ( S ) hence h ( R ) = P ( S ) , then P(S) is cyclic, so by Lemma 3.1, P ( S ) is left noetherian.□

The following theorem is the symmetric counterpart of Corollary 3.1.

Theorem 3.3

For a left self-injective ring R, the following statements are equivalent:

  1. R -qcov   R -hcov .

  2. R is an artinian principal ideal ring.

Proof

(1) (2) As R is left self-injective and left prinicipal ideal ring and thus left noetherian, then R is a Q F . Therefore, by [10, Proposition 25.4.6.B (c)], R is an artinian principal ideal ring.

(2) (1) It follows from Theorem 3.2.□

As the class of cyclic modules is closed under quotients and projective covers, it is natural to ask for which rings the class of cyclic modules is closed under submodules and injective hulls. It turns out that for the commutative case such rings are the artinian principal ideal rings. Furthermore, it is equivalent to the condition: R -qcov   R -hhull where R -hhull denotes the classes of modules closed under submodules and injective hulls. Also in [11, Remark 6.84], Lam points out that the property: Every cyclic right R-module is quasi injecitve (QI for short) is not in general equivalent to being semisimple and he shows that the ring Q [ x ] ( x 2 ) satisfies the above property. This ring is a commutative artinian principal ideal ring. So, we conjectured that a commutative artinian principal ideal ring R is precisely a ring for which every cyclic R -module is QI. All the above is summarized in Theorem 3.5. But first we need some remarks and lemmas in order to prove our final theorem.

Ashan [12] explored the connection between the R -modules left QI (those who are totally invariant under their injective hull or equivalently modules M such that for each N M and each morphism f : N M there exists an endomorphism g : M M such that g i = f where i : N M is the inclusion) and their relation with the class of cyclic left modules, naming left q c -rings to the rings whose cyclic left R -modules are left QI.

Lemma 3.2, Lemma 3.3, and Theorem 3.4 are taken from [12] in order to enhance clarity to the final theorem of this article.

Lemma 3.2

[12, Lemma 2] Let R be a ring and I an ideal of R. If M is a quasi-injective R I -module, then M, regarded as R-module, is also quasi-injective. Also, if M is a quasi-injective R-module such that I M = 0 , then R I -module M is also quasi-injective.

Lemma 3.3

[12, Lemma 3] Let R be a ring. Then, every left cyclic R-module is quasi-injective if and only if every left cyclic R K -module is R K -quasi-injective for each two-sided ideal K of R .

Theorem 3.4

[12, Theorem 12] Let R be a commutative ring. Then, every cyclic R-module is quasi-injective if and only if every factor ring of R is self-injective.

Theorem 3.5

Let R be a commutative ring. The following statements are equivalent:

  1. R is an artinian principal ideal rings.

  2. The class of cyclic R-modules closed under submodules and injective hulls.

  3. R is a noetherian ring and every cyclic R-module is quasi-injective.

  4. R - q c o v   R -hhull.

Proof

(1) (2) Let C be the class of cyclic R -modules and consider M C , thus M R I for some I R .

Given N K I R I , since R is a principal ideal ring then K = R x for some x R and then N K I = ( R x ) I = R ( x + I ) C , so C is closed under submodules.

Again, since R is a principal ideal ring, taking ( I : 0 ) the annihilator of I , then there exists x R such that ( I : 0 ) = x R . Clearly I ( 0 : x ) and since R is Q F we have that ( 0 : x R ) = ( 0 : ( I : 0 ) ) = I , but we also have to ( 0 : x ) = ( 0 : x R ) , thus ( 0 : x ) I , hence ( 0 : x ) = I , consequently R I = R ( 0 : x ) R x . In other words, R I are isomorphic to a principal ideal of R , then E ( R I ) is a direct summand of E ( R R ) = R R , following that E ( M ) = E ( R I ) is cyclic and therefore E ( M ) C , thus C is closed under injective hulls.

(2) (3) Let I R , then I is cyclic, in consequence R is a principal ideal ring and therefore noetherian. Now, let M C and E ( M ) be an injective hull. By definition M = R y again, by hypothesis E ( M ) = R x . Let f : R x R x be an endomorphism of E ( M ) , since R y R x , there exists an r R such that y = r x then:

f ( y ) = f ( r x ) = r f ( x ) = r ( r x ) = ( r r ) x = ( r r ) x = r ( r x ) = r y R y ,

i.e., M = R y is strongly invariant under E ( M ) , in other words, M is quasi-injective, in particular R is quasi-injective, again by [11, Remark 6.71 (2)] is self-injective, consequently R is QF.

(3) (1) By Theorem 3.4, we have that R I is self-injective for all I R . Since R is noetherian then R I is also noetherian for all I R , so R I is Q F for all I R , thus by (5) of Theorem 3.1 R is an artinian principal ideal ring.

(1) (4) Let C be a class of modules such that C R -qcov , by [6, Theorem 4.1] C R -her , as C is closed under quotients.

By hypothesis, R is a perfect ring, then given M C , P ( M ) exists and also there exist an epimorphism P ( M ) M and consequently a monomorphism M P ( M ) , by Theorem 3.2, since P ( M ) is projective. Then, we have the following diagram:

which commutes by the injectivity of P ( M ) as R being a Q F ring. Finally, E ( M ) is a direct summand of P ( M ) and consequently a quotient of P ( M ) .

(4) (2) Just note that the class of cyclic modules is closed under quotients and projective covers.□

Acknowledgement

The authors would like to express their gratitude to the referees for their helpful suggestions, which improved the contents of this article.

  1. Funding information: The authors state no funding involved.

  2. Author contributions: All authors have accepted responsibility for the entire content of this manuscript and consented to its submission to the journal, reviewed all the results, and approved the final version of the manuscript. AA prepared the manuscript with contributions from all co-authors.

  3. Conflict of interest: The authors state no conflict of interest.

  4. Data availability statement: Data sharing is not applicable to this article as no datasets were generated or analyzed during the current study.

References

[1] R. Wisbauer, Foundations of Module and Ring Theory, Gordon and Breach Science Publishers, London, 1991. Search in Google Scholar

[2] J. Dauns and Y. Zhou, Classes of Modules, Chapman & Hall/CRC, New York, 2006. 10.1201/9781420011593Search in Google Scholar

[3] Y. Zhou, The lattice of natural classes of modules, Comm. Algebra 24 (1996), no. 5, 1637–1648, DOI: https://doi.org/10.1080/00927879608825660. 10.1080/00927879608825660Search in Google Scholar

[4] S. Crivei and I. Crivei, Classes of modules related to Serre subcategories, An. Ştiinţ. Univ. “Ovidius” Constanţa Ser. Mat. 9 (2001), no. 1, 39–46.Search in Google Scholar

[5] A. García, H. Rincón, and J. Ríos, On some lattices of module classes, J. Algebra Appl. 5 (2006), no. 1, 105–117, DOI: https://doi.org/10.1142/S0219498806001624. 10.1142/S0219498806001624Search in Google Scholar

[6] A. García, C. Cejudo, H. Rincón, and I. Vilchis-Montalvo, On classes of modules closed under injective hulls and artinian principal ideal rings, Int. Electron. J. Algebra 15 (2014), no. 15, 1–12, DOI: https://doi.org/10.24330/ieja.266233. 10.24330/ieja.266233Search in Google Scholar

[7] G. F. Birkenmeier and R. Wiegandt, Pseudocomplements in the lattice of torsion classes, Comm. Algebra 26 (1998), no. 1, 197–220, DOI: https://doi.org/10.1080/00927879808826126. 10.1080/00927879808826126Search in Google Scholar

[8] F. Kasch, Modules and Rings, Academic Press, London, 1982. Search in Google Scholar

[9] J. Rotman, An Introduction to Homological Algebra, Universitext Springer New York, New York, 2000. Search in Google Scholar

[10] C. Faith, Algebra II: Ring Theory, Springer-Verlag, Berlin-Heidelberg-New York, 1976. Search in Google Scholar

[11] T. Y. Lam, Lectures on Modules and Rings, Springer-Verlag, New York, 1999. 10.1007/978-1-4612-0525-8Search in Google Scholar

[12] J. Ashan, Rings all of whose cyclic modules are quasi-inyective, Proc. Lond. Math. Soc. 27 (1973), no. 3, 425–439, DOI: https://doi.org/10.1112/plms/s3-27.3.425. 10.1112/plms/s3-27.3.425Search in Google Scholar

Received: 2024-04-15
Revised: 2025-01-20
Accepted: 2025-02-05
Published Online: 2025-04-03

© 2025 the author(s), published by De Gruyter

This work is licensed under the Creative Commons Attribution 4.0 International License.

Articles in the same Issue

  1. On I-convergence of nets of functions in fuzzy metric spaces
  2. Special Issue on Contemporary Developments in Graphs Defined on Algebraic Structures
  3. Forbidden subgraphs of TI-power graphs of finite groups
  4. Finite group with some c#-normal and S-quasinormally embedded subgroups
  5. Classifying cubic symmetric graphs of order 88p and 88p 2
  6. Two-sided zero-divisor graphs of orientation-preserving and order-decreasing transformation semigroups
  7. Simplicial complexes defined on groups
  8. Further results on permanents of Laplacian matrices of trees
  9. Algebra
  10. Classes of modules closed under projective covers
  11. On the dimension of the algebraic sum of subspaces
  12. Green's graphs of a semigroup
  13. On an uncertainty principle for small index subgroups of finite fields
  14. On a generalization of I-regularity
  15. Algorithm and linear convergence of the H-spectral radius of weakly irreducible quasi-positive tensors
  16. The hyperbolic CS decomposition of tensors based on the C-product
  17. On weakly classical 1-absorbing prime submodules
  18. Equational characterizations for some subclasses of domains
  19. Algebraic Geometry
  20. Spin(8, ℂ)-Higgs bundles fixed points through spectral data
  21. Embedding of lattices and K3-covers of an Enriques surface
  22. Kodaira-Spencer maps for elliptic orbispheres as isomorphisms of Frobenius algebras
  23. Applications in Computer and Information Sciences
  24. Dynamics of particulate emissions in the presence of autonomous vehicles
  25. Exploring homotopy with hyperspherical tracking to find complex roots with application to electrical circuits
  26. Category Theory
  27. The higher mapping cone axiom
  28. Combinatorics and Graph Theory
  29. 𝕮-inverse of graphs and mixed graphs
  30. On the spectral radius and energy of the degree distance matrix of a connected graph
  31. Some new bounds on resolvent energy of a graph
  32. Coloring the vertices of a graph with mutual-visibility property
  33. Ring graph induced by a ring endomorphism
  34. A note on the edge general position number of cactus graphs
  35. Complex Analysis
  36. Some results on value distribution concerning Hayman's alternative
  37. Freely quasiconformal and locally weakly quasisymmetric mappings in metric spaces
  38. A new result for entire functions and their shifts with two shared values
  39. On a subclass of multivalent functions defined by generalized multiplier transformation
  40. Singular direction of meromorphic functions with finite logarithmic order
  41. Growth theorems and coefficient bounds for g-starlike mappings of complex order λ
  42. Refinements of inequalities on extremal problems of polynomials
  43. Control Theory and Optimization
  44. Averaging method in optimal control problems for integro-differential equations
  45. On superstability of derivations in Banach algebras
  46. The robust isolated calmness of spectral norm regularized convex matrix optimization problems
  47. Observability on the classes of non-nilpotent solvable three-dimensional Lie groups
  48. Differential Equations
  49. The ill-posedness of the (non-)periodic traveling wave solution for the deformed continuous Heisenberg spin equation
  50. A note on the global existence and boundedness of an N-dimensional parabolic-elliptic predator-prey system with indirect pursuit-evasion interaction
  51. Blow-up of solutions for Euler-Bernoulli equation with nonlinear time delay
  52. Periodic or homoclinic orbit bifurcated from a heteroclinic loop for high-dimensional systems
  53. Regularity of weak solutions to the 3D stationary tropical climate model
  54. Local minimizers for the NLS equation with localized nonlinearity on noncompact metric graphs
  55. Global existence and blow-up of solutions to pseudo-parabolic equation for Baouendi-Grushin operator
  56. Bubbles clustered inside for almost-critical problems
  57. Existence and multiplicity of positive solutions for multiparameter periodic systems
  58. Existence of positive periodic solutions for evolution equations with delay in ordered Banach spaces
  59. On a nonlinear boundary value problems with impulse action
  60. Normalized ground-states for the Sobolev critical Kirchhoff equation with at least mass critical growth
  61. Multiple positive solutions to a p-Kirchhoff equation with logarithmic terms and concave terms
  62. Infinitely many solutions for a class of Kirchhoff-type equations
  63. Real and non-real eigenvalues of regular indefinite Sturm–Liouville problems
  64. Existence of global solutions to a semilinear thermoelastic system in three dimensions
  65. Limiting profile of positive solutions to heterogeneous elliptic BVPs with nonlinear flux decaying to negative infinity on a portion of the boundary
  66. Morse index of circular solutions for repulsive central force problems on surfaces
  67. Differential Geometry
  68. On tangent bundles of Walker four-manifolds
  69. Pedal and negative pedal surfaces of framed curves in the Euclidean 3-space
  70. Discrete Mathematics
  71. Eventually monotonic solutions of the generalized Fibonacci equations
  72. Dynamical Systems Ergodic Theory
  73. Dynamical properties of two-diffusion SIR epidemic model with Markovian switching
  74. A note on weighted measure-theoretic pressure
  75. Pullback attractors for a class of second-order delay evolution equations with dispersive and dissipative terms on unbounded domain
  76. Pullback attractor of the 2D non-autonomous magneto-micropolar fluid equations
  77. Functional Analysis
  78. Spectrum boundary domination of semiregularities in Banach algebras
  79. Approximate multi-Cauchy mappings on certain groupoids
  80. Investigating the modified UO-iteration process in Banach spaces by a digraph
  81. Tilings, sub-tilings, and spectral sets on p-adic space
  82. Continuity and essential norm of operators defined by infinite tridiagonal matrices in weighted Orlicz and l spaces
  83. A family of commuting contraction semigroups on l 1 ( N ) and l ( N )
  84. q-Stirling sequence spaces associated with q-Bell numbers
  85. Chlodowsky variant of Bernstein-type operators on the domain
  86. Hyponormality on a weighted Bergman space of an annulus with a general harmonic symbol
  87. Characterization of derivations on strongly double triangle subspace lattice algebras by local actions
  88. Fixed point approaches to the stability of Jensen’s functional equation
  89. Geometry
  90. The regularity of solutions to the Lp Gauss image problem
  91. Solving the quartic by conics
  92. Group Theory
  93. On a question of permutation groups acting on the power set
  94. A characterization of the translational hull of a weakly type B semigroup with E-properties
  95. Harmonic Analysis
  96. Eigenfunctions on an infinite Schrödinger network
  97. Maximal function and generalized fractional integral operators on the weighted Orlicz-Lorentz-Morrey spaces
  98. Subharmonic functions and associated measures in ℝn
  99. Mathematical Logic, Model Theory and Foundation
  100. A topology related to implication and upsets on a bounded BCK-algebra
  101. Boundedness of fractional sublinear operators on weighted grand Herz-Morrey spaces with variable exponents
  102. Number Theory
  103. Fibonacci vector and matrix p-norms
  104. Recurrence for probabilistic extension of Dowling polynomials
  105. Carmichael numbers composed of Piatetski-Shapiro primes in Beatty sequences
  106. The number of rational points of some classes of algebraic varieties over finite fields
  107. Classification and irreducibility of a class of integer polynomials
  108. Decompositions of the extended Selberg class functions
  109. Joint approximation of analytic functions by the shifts of Hurwitz zeta-functions in short intervals
  110. Fibonacci Cartan and Lucas Cartan numbers
  111. Recurrence relations satisfied by some arithmetic groups
  112. The hybrid power mean involving the Kloosterman sums and Dedekind sums
  113. Numerical Methods
  114. A modified predictor–corrector scheme with graded mesh for numerical solutions of nonlinear Ψ-caputo fractional-order systems
  115. A kind of univariate improved Shepard-Euler operators
  116. Probability and Statistics
  117. Statistical inference and data analysis of the record-based transmuted Burr X model
  118. Multiple G-Stratonovich integral in G-expectation space
  119. p-variation and Chung's LIL of sub-bifractional Brownian motion and applications
  120. Real Analysis
  121. Chebyshev polynomials of the first kind and the univariate Lommel function: Integral representations
  122. Multiple solutions for a class of fourth-order elliptic equations with critical growth
  123. Majorization-type inequalities for (m, M, ψ)-convex functions with applications
  124. The evaluation of a definite integral by the method of brackets illustrating its flexibility
  125. Some new Fejér type inequalities for (h, g; α - m)-convex functions
  126. Some new Hermite-Hadamard type inequalities for product of strongly h-convex functions on ellipsoids and balls
  127. Topology
  128. Unraveling chaos: A topological analysis of simplicial homology groups and their foldings
  129. A generalized fixed-point theorem for set-valued mappings in b-metric spaces
  130. On SI2-convergence in T0-spaces
  131. Generalized quandle polynomials and their applications to stuquandles, stuck links, and RNA folding
Downloaded on 21.1.2026 from https://www.degruyterbrill.com/document/doi/10.1515/math-2025-0136/html
Scroll to top button