<ph f="cmr"> </ph><ph f="cmbx">A Note on Quasi-Frobenius Rings</ph>

Liang Shen and Jianlong Chen

Department of Mathematics, Southeast University, Nanjing, 210096, P.R.China Department of Mathematics, Southeast University, Nanjing, 210096, P.R.China

1 INTRODUCTION

Throughout this paper rings are associative with identity, a regular ring means a von Neumann regular ring. We write J = J ( R ) , Z l , Z r , S l   and S r   for the Jacobson radical, the left singular ideal, the right singular ideal, the left socle and the right socle of R   respectively. We use X ⊂ Y   to mean that the inclusion is proper. For a subset X   of a ring R   , the left annihilator of X   in R   is l ( X ) = { r ∈ R : r x = 0   for all x ∈ X }   . For any a ∈ R   , we write l ( a )   for l ( { a } )   . Right annihilators are defined analogously.
A ring R   is called left n   -injective ( left mininjective) if, for any n   -generated (minimal) left ideal I   of R   , every R   -homomorphism from I   to R   extends to an R   -homomorphism from R   to R   . Left 1-injective rings are called left P   -injective, or equivalently, r l ( a )   = a R   for each a ∈ R   . A ring R   is said to be right simple injective if every homomorphism from a right ideal of R   to R   with simple image can be given by left multiplication by an element of R   . It is clear that right simple injective rings imply right mininjective rings. A ring R   is called left FP-injective if, for any free left R   -module F   and any finitely generated R   -submodule N   of F   , every R   -homomorphism f : N → R   can be extended to an R   -homomorphism g : F → R   . Or equivalently, the matrix ring M n × n   ( R   ) is left P   -injective for each n ≥ 1   (see [14,Theorem5.41] ).
It is well known that a ring R   is quasi-Frobenius (or Q F   ) if and only if R   is left or right noetherian and left or right self-injective (see [1,Theorem30.10] ).
There are three open conjectures on Q F   rings, which have attracted many people (such as Faith, Nicholson, Yousif and so on) to work on them. The three conjectures were deeply discussed in [4, 14] . One of the three conjectures is the Faith-Menal conjecture. It was raised by Faith and Menal in [6] . It says that every strongly right Johns ring is Q F   . Recall that a ring R   is called right Johns if R   is right noetherian and every right ideal is an annihilator. Right Johns rings were characterized by Johns in [9] , but he used a false result of Kurshan [10,Theorem3.3] to show that right Johns rings are right artinian. In [5] , Faith and Menal gave a counter example to show that right Johns rings neednot be right artinian. Later (see [6] ) they defined strongly right Johns ring(the matrix ring M n × n   ( R   ) is right Johns for all n ≥ 1   ) and characterized such rings as right noetherian and left F P   -injective rings . But they didn't know whether a strongly right Johns ring is Q F   . One key to prove the conjecture is to show such ring is semilocal, or only need to prove that R / J   is regular.
Let S   be a submodule of an R   -module R M   . A submodule C ⊆ M   is said to be a complement to S   (in M   ) if C   is maximal with respect to the property that C ∩ S   =0. We say that a submodule C ⊆ M   is a complement in M   if there exists a submodule S ⊆ M   such that C   is a complement to S   in M   . We prove that every right noetherian and left 2   -injective ring is Q F   if and only if every non-zero complement left ideal is not small(see Theorem 2.4). Since left F P   -injectivity implies 2   -injectivity by definition, the Faith-Menal conjecture is true under the condition that every non-zero complement left ideal is not small.
Using a similar way to prove the regularity of R / J   , we also prove that if R   is a right mininjective ring with A C C   on right annihilators in which S r ⊆ e s s R R   , then R   is semiprimary (see Lemma 2.11). By this useful lemma, we have (1) if R   is a left and right mininjective ring with A C C   on right annihilators in which S r ⊆ e s s R R   , then R   is quasi-Frobenius(see Theorem 2.13); (2) if R   is a right simple injective ring with A C C   on right annihilators in which S r ⊆ e s s R R   , then R   is quasi-Frobenius(see Theorem 2.15). Therefore we remove some conditions of four theorems of Nicholson and Yousif ([14,Theorem3.31,Theorem6.44,Theorem8.4,Theorem8.5] ). Several known results on Q F   rings are obtained as corollaries.

2 RESULTS

Proposition 2.1. Let R   be a right noetherian and left P-injective ring, then J =   Z l   is a right annihilator, nilpotent and l ( J )   is essential both as a left and a right ideal of R   .
  • Proof. By ([14,Theorem5.14] ), J   = Z l   . J   is nilpotent and l ( J )   is essential both as a left and a right ideal of R   followed by [8,Theorem2.7] . Since l ( J )   is an essential left ideal, rl ( J ) ⊆   Z l = J   , which implies J = r l ( J )   . □
An element a ∈ R   is called regular if there exists an element b   in R   such that a = a b a   .
Lemma 2.2. Let b =   a − a c a   such that a, c ∈ R   . If b is a regular element, so is a.
  • Proof. Since b   is a regular element, there exists d ∈ R   such that a − a c a = b = b d b = ( a − a c a ) d ( a − a c a )   which shows that a = a [ c + ( 1 − c a ) d ( 1 − a c ) ] a   is a regular element. □
Lemma 2.3. Let R   be a right noetherian and left P-injective ring such that each non-zero complement left ideal is not small, then R   is right artinian.
  • Proof. First we prove that R ¯ = R / J   is a regular ring. Assume a / ∈ J   , since J = r l ( J )   =   Z l   by Proposition 2.1, there exists a non-zero left ideal I   , which is a complement to l( a   ). We claim that there must exist b ∈   I   such that b a / ∈ J   . If not, then I a ⊆ J   , which implies that l ( J ) I a = 0   . Since l ( a ) ∩ I = 0   , l( J   ) I ⊆ l ( a ) ∩ I = 0   . Thus I ⊆ r l ( J )   = J   . So I   is a small left ideal, a contradiction. As R   is left P   -injective, every homomorphism from R b a   to R   is a right multiplication. Define f ( r b a ) = r b   , then f   is well-defined and there exists 0 ≠ c ∈ R   such that f ( r b a ) = r b a c   . Therefore b = b a c   , which implies b ¯ ∈ l ( a ¯ − a c a ¯ )   . Since b a ¯ ≠ 0 ¯   , l( a ¯   ) is properly contained in l( a − a c a ¯ )   .
    If a − a c a ∈ J   , then a ¯   is a regular element in R ¯   . If not, let a 1 = a − a c a   ,then l( a 1   ) is not essential in R R   . In the same way we get a 2 = a 1 − a 1 c 1 a 1   for some c 1 ∈ R   and l( a 1 ¯   ) is properly contained in l( a 2 ¯   ). If a 2 ∈ J   , then a ¯ 1   is a regular element in R ¯   . Thus by Lemma 2.2, a ¯   is a regular element in J   .
    If a 2 / ∈ J   , then we have a 3 = a 2 − a 2 c 2 a 2   for some c 2 ∈ R   . Therefore we have such a k ∈ R   step by step, k = 1 , 2 , ⋯   . And we are going to be stopped after finite steps. If not, we get a chain of left annihilators in R ¯   : l( a ¯ 1   ) ⊂   l( a ¯ 2   ) ⊂ ⋯   . Since R   is right noetherian and J ( R ¯ )   = 0 ¯   , R ¯   is a semiprime and right Goldie ring. Thus R ¯   satisfies A C C   on left annihilators by [7,Lemma5.8] , a contradiction. Then there must exist some positive integer m   such that a m ∈ J   and a k = a k − 1 − a k − 1 c k − 1 a k − 1   for some c k − 1 ∈ R , k = 2 , 3 , ⋯ , m   . Hence it is clear that a ¯   is a regular element in R ¯   by Lemma 2.2. Since a ¯   is arbitrary, R ¯   is a regular ring. Then R ¯   is semisimple because R ¯   is right noetherian. Thus R   is semiprimary for J   is nilpotent by Proposition 2.1. So R   is right artinian. □
A ring R   is called left C S   (left min C S   ) if every left ideal (minimal left ideal) is essential in a direct summand of R R   . R   is said to be left C 2   if every left ideal isomorphic to a direct summand of R R   is itself a direct summand of R R   . A left C S   left C 2   ring is called left continuous. Every left self-injective ring is left P   -injective left C S   ; and every left P   -injective left C S   -ring is left continuous because every left P   -injective ring is left C 2   by [14,Proposition5.10] . Left C S   condition is also equivalent to say that every complement left ideal is a direct summand. Then it is clear that left C S   condition implies that every non-zero complement left ideal is not small, but the converse is not true (see Example 2.8).
Theorem 2.4. R is QF if and only if R is right noetherian, left 2-injective and every nonzero complement left ideal is not small.
  • Proof. (i) “ ⟹ ”   Since R   is left self-injective, it is left C S   . Therefore every nonzero complement left ideal I   is generated by a nonzero idempotent of R   , which implies I   is not small. The left is obvious.
      (ii) “ ⟸ ”   By Lemma 2.3, R   is right artinian, then R   has A C C   on left annihilators. Thus R   is Q F   by [15,Corollary3] . □
Corollary 2.5. If R   is right noetherian and left FP-injective, then R is QF if and only if every nonzero complement left ideal is not small.
Theorem 2.6. If R   is right noetherian, left P-injective, every nonzero complement left ideal is not small and left min-CS, then R   is QF.
  • Proof. By Lemma 2.3, R   is right artinian, then R   is a left G P F   ring(left P   -injective, semiperfect, and S l ⊆ e s s   R R   ). So R   is left Kasch and S r = S l = S   by [14,Theorem5.31] , then S o c ( R e )   is simple for each local idempotent e ∈ R   (see [14,Lemma4.5] ). Thus ( e R / e J ) *   ∼ = l ( J ) e = S r e = S o c ( R e )   is simple for every local idempotent e ∈ R   . Since R   is semiperfect, each simple right R   -module is isomorphic to e R / e J   for some local idempotent e ∈ R   by [1,Theorem27.10] . Hence R   is right mininjective by [14,Theorem2.29] . From above, R   is a two-sided mininjective and right artinian ring, then it is Q F   by [14,Theorem3.31] . □
Corollary 2.7. [2,Theorem2.21] If R   is right noetherian left CS and left P-injective, then R   is QF.
Example 2.8. There is a left min-CS ring S   satisfying every nonzero complement left ideal is not small. But it is not left C S   .
  • Proof. Let k   be a division ring and V k   be a right k   -vector space of infinite dimension. Take R   =End( V k   ), then it is well-known that R   is regular but not left self-injective. Let S   =M 2 × 2 ( R )   , then S   is also regular, which implies S   is left P   -injective and J ( S )   is zero. Thus S   is left C2, every non-zero complement left ideal of S   is not small and every minimal left ideal is a direct summand of S   . But S   can not be left C S   . For if S   is left C S   , then S   is left continuous.
    Hence R   is left self-injective by [14,Theorem1.35] , a contradiction. □
Corollary 2.9. [13,Theorem3.2] The following condition on a ring R are equivalent.(1) R is quasi-Frobenius.
(2) R is a right Johns, left CS-ring.
Lemma 2.10. [12,Lemma2] Let R satisfy ACC on right annihilators, and suppose l(S) is a two-sided ideal of R. Then R/l(S) has ACC on right annihilators.
By using a similar proof in Lemma 2.3 to show that R / J   is regular, we get a useful lemma below.
Lemma 2.11. If R   is a right mininjective ring with A C C   on right annihilators in which S r ⊆ e s s R R   , then R   is semiprimary.
  • Proof. First we prove J = l ( S r ) = Z r   . Since R   is right mininjective, S r ⊆ S l   by [14,Theorem2.21] . So J ⊆ l ( S r )   . l ( S r ) ⊆ Z r   is followed by that S r ⊆ e s s R R   .
    Note that R   has A C C   on right annihilators, hence Z r   is nilpotent by [11,Theorem7.15] . Therefore Z r ⊆ J   . Thus J = l ( S r ) = Z r   is nilpotent. Second we claim that R ¯   = R / J   is regular. If a ¯ ≠ 0 ¯   , since J = Z r   , there exists a nonzero right ideal I   such that r( a   ) ∩ I   =0. Note that S r ⊆ e s s R R   . There exists a minimal right ideal b R ⊆ I   . So r( a   ) ∩ b R   =0. Define f   : a b R → b R   by f ( a b r ) = b r   , ∀ r ∈ R   . It is clear that f   is well-defined. Since R   is right mininjective and a b R   is also a minimal right ideal, there exists c ∈ R   such that f ( a b r ) = c a b r   for every r ∈ R   . Thus b = c a b   . Therefore b ∈   r ( a − a c a )   \ r ( a )   .
    If a − a c a ∈ J   , a ¯   is a regular element. If not, let a 1 = a − a c a   . In the same way we get a 2 = a 1 − a 1 c 1 a 1   for some c 1 ∈ R   and r ( a 1 )   is properly contained in r ( a 2 )   . Since R   has A C C   on right annihilators, R ¯   is a regular ring by a similar proof in Lemma 2.3. Next we show that R   is semilocal. Since J = l ( S r )   is a left annihilator, the ring R ¯   inherits the A C C   on right annihilators by Lemma 2.10. Thus R / J   is semisimple. Therefore R   is semilocal. From above R   is semilocal and J   is nilpotent. So R   is semiprimary. □
Now we have a look at a theorem of Nicholson and Yousif, which is a sharp improvement on Ikeda's theorem.
Lemma 2.12. [14,Theorem3.31] Suppose that R is a semilocal, left and right mininjective ring with A C C   on right annihilators in which S r ⊆ e s s R R   . Then R is quasi-Frobenius.
By Lemma 2.11 and Lemma 2.12, the semilocal condition can be removed and the ring satisfies the assumptions of [14,Theorem8.5] is just Q F   . Thus we have
Theorem 2.13. If R is a left and right mininjective ring with A C C   on right annihilators in which S r ⊆ e s s R R   , then R is quasi-Frobenius.
Remark. None of the conditions above can be removed.
(1) S r ⊆ e s s R R   is needed. For example, the ring of integers Z   is a two-sided mininjective and noetherian ring with S r = 0   . But it is not a Q F   ring.
(2) Right(or left) mininjective can't be removed. For Björk Example(see [14,Example2.5] ) is a right mininjective and left artinian ring. So it has A C C   on both right and left annihilators. And the two socles are both essential. But it is not left mininjective.
(3) The chain condition is essential. As there exists a ring which is left P F   (semiperfect, left self-injective and S l ⊆ e s s   R R   ) but not right P F   (see [3] ). Such ring satisfies the conditions except the chain condition in Theorem 2.13. But it is not Q F   .
Corollary 2.14. [14,Theorem8.4] The following are equivalent for a ring R: (1) R is right and left mininjective, right noetherian, and S r ⊆ e s s R R   .
(2) R is right and left mininjective, right finitely cogenerated, with ACC on right annihilators.
(3) R is quasi-Frobenius.
Theorem 2.15. If R is a right simple injective ring with A C C   on right annihilators in which S r ⊆ e s s R R   . Then R is quasi-Frobenius.
  • Proof. By Lemma 2.11, R   is semiprimary. Then R   is left P   -injective by [14,Theorem6.16] , which implies that R   is left mininjective. Thus R   is Q F   by Theorem 2.13. □
Recall that a ring R   is called a right Goldie ring if it has the A C C   on right annihilators and R R   is finite dimensional.
Corollary 2.16. [14,Theorem6.44] The following conditions are equivalent for a ring R: (1) R is quasi-Frobenius.
(2) R is a right simple injective, right noetherian ring with S r ⊆ e s s R R   .
(3) R is a right simple injective, right Goldie ring with S r ⊆ e s s R R   .
References

  1. Anderson, F.W., Fuller, K. R. (1992). Rings and Categories of Modules. Vol. 13. 2nd ed. Graduate Texts in Math., New York: Springer-Verlag.
  2. Chen, J., Li,W.(2004). On artiness of right CF rings. Comm. Algebra 32(11):4485-4494.
  3. Dischinger, F., Müller W. (1986). Left PF is not right PF. Comm. Algebra 14(7):1223-1227.
  4. Faith, C., Huynh, D.V. (2002). When self-injective rings are QF: a report on a problem. J. Algebra and its Applicatins 1(1):75-105.
  5. Faith, C., Menal, P. (1992). A counter example to a conjecture of Johns. Proc. Amer. Math. Soc 116: 21-26.
  6. Faith, C., Menal, P. (1994). The structure of Johns rings. Proc. Amer. Math. Soc 120:1071-1081.
  7. Goodearl, K.R., Warfield, R.B. Jr. (1989) An Introduction to Noncommutative Noetherian Rings. London Mathematical Society Student Texts 16, Cambridge University Press.
  8. G o ´   mez Pardo, J. L., Guil Asensio, P. A. (1998) Torsionless modules and rings with finite essential socle. Abelian Groups, Module Theory, and Topology, Padua, 1997. Vol. 201. Lecture Notes in Pure and Appl. Math., New York: Marcel Dekker, Inc., pp. 261-278.
  9. Johns, B. (1977) Annihilator conditions in noetherian rings. J. Algetra 49:222-224.
  10. Kurshan, R.P. (1970) Rings whose cyclic modules have finitely genrated socle. J. Algetra 15:376-386.
  11. Lam, T.Y. (1998) Lectures on Modules and Rings. Vol. 189. Graduate Texts in Math., New York: Springer-Verlag.
  12. Lanski, C. (1969) Nil subrings of Goldie rings are nilpotent. Canad. J. Math 21:904-907.
  13. Nicholson, W.K., Yousif, M.F. (1998) Annihilators and the CS-condition. Glasgow Math. J. 40:548-578.
  14. Nicholson, W.K., Yousif, M.F. (2003) Quasi-Frobenius Rings. Cambridge Tracts in Mathematics 158, Cambridge University Press.
  15. Rutter, E. A. (1975) Rings with the principal extension property. Comm. Algebra 3(3):203-212.

Department of Mathematics, Southeast University, Nanjing, 210096, P.R.China Department of Mathematics, Southeast University, Nanjing, 210096, P.R.China