Abstract
This paper discusses the regularity of the GP-V’-rings in conjunction with idempotent reflexivity for the first time. We mainly discuss the weak and strong regularity of the GP-V’-rings using generalized weak ideals, weakly right ideals, and quasi-ideals. We show the following: (1) If is an idempotent reflexive semi-abelian left GP-V’-ring whose every maximal essential left ideal is a generalized weak ideal, a weakly right ideal, or a quasi-ideal, then is a reduced left weakly regular ring. (2) is a strongly regular ring if and only if is an idempotent reflexive semi-commutative left GP-V’-ring whose every maximal essential left ideal is a generalized weak ideal, a weakly right ideal, or a quasi-ideal. (3) If is a semi-primitive idempotent reflexive ring whose every simple singular left -module is flat, and every maximal left ideal is a generalized weak ideal, then, for any nonzero element , there exists a positive integer such that , and .
MSC:
16D50; 16E50
1. Introduction
In 1936, von Neumann first proposed the concept of (von Neumann) regular rings in the journal of Proc. Nat. Acad. Sci. USA (if there is always an element in the ring such that for any element , then the ring is called a regular ring). Regular rings play an important role in the study of operator algebras. Since von Neumann’s regular rings are a kind of ring with good properties, it is very important to study the von Neumann regularity of rings. In order to further research the semi-simplicity of the rings, Faith C. proposed the concept of V-rings (i.e., every simple -module over is an injective module) in reference [1] in 1967. Kaplansky I. proved a very interesting result: a commutative ring is a von Neumann regular if and only if every simple -module is injective. This result combines regular rings and V-rings closely. However, the rings we generally discuss are noncommutative associative rings. For noncommutative rings, what is the relationship between them? In 1973, Michler G.O. and Villamayor O.E. proved that they are neither sufficient nor necessary as discussed in reference [2], so the relationship between V-rings and regular rings is very interesting for noncommutative rings.
In 1974, Roger, Y.C.M. first proposed the concept of P-injective modules in reference [3]. In 1985, Roger, Y.C.M. weakened the condition of P-injective modules and proposed the concept of YJ-injective modules in reference [4] (which is consistent with the GP-injective modules in this paper cf. [5]). A left -module M is called a -injective module. This means that for any element in ring , there is a positive integer meaning that any left -module homomorphism from to , can be extended to the homomorphism from to . Therefore, the concept of V-rings is naturally extended to GP-V-rings (that is, every simple -module over a ring is GP-injective). Since regular rings must be PV-rings, they must also be GP-V-rings. Since the PV-ring is not necessarily a regular ring, the GP-V-ring is also not necessarily a regular ring. In recent years, the topic of studying the regularity of rings whose every singular -module is GP-injective has attracted the interest of many mathematicians (such as [6,7,8,9,10]). For instance, reference [7] analyzed the relationship between the von Neumann regularity of endomorphisms and the perspectivity of direct summands in modules in 2021. Reference [10] investigated the regularity of rings whose essential maximal right ideals are GP-injective in 2022. Reference [9] researched the structure of C-regular rings that satisfy the von Neumann regularity of commutators in 2024. Kim, J.Y. first introduced the concepts of reflexive rings and idempotent reflexive rings in reference [11]. However, until now, no researcher has studied idempotent reflexive GP-V’-rings and their regularity properties. In light of this, we systematically discuss the regularity of idempotent reflexive GP-V’-rings in this paper. We first give a brief introduction of the relevant definitions and lemmas below.
2. Preliminaries
In this section, some definitions and lemmas are provided to contribute to expounding the corresponding results more distinctly.
Definition 1
([11]). Let be a ring and be the left ideal of . If for , the left ideal is said to be reflexive. The ring is said to be reflexive if 0 is a reflexive ideal of the ring .
Definition 2
([11]). Let be a ring and be a left ideal of the . If for and , the left ideal is said to be idempotent reflexive. If , then is said to be an idempotent reflexive ring.
Note that the prime ideal is reflexive. Since the intersection of reflexive left ideals is reflexive, so is the semiprime ideal. It is clear that both abelian rings and semiprime rings are idempotent reflexive. Birkenmeier G.F., Kim J.Y. and Park J.K. have given an example in the literature [12] (Example 8) to show that an idempotent reflexive ring is not necessarily reflexive.
Definition 3.
An element in the ring is said to be a left weakly regular element if it satisfies .
Definition 4.
A ring is called semi-commutative if for and .
Definition 5.
A ring is semi-abelian if and only if either or for any idempotent of ring .
Definition 6.
An additive semigroup of ring is a weakly left (right) ideal if there exists a positive integer such that for every .
Definition 7.
A left (right) ideal of ring is a generalized weak ideal if there exists a positive integer such that for every .
Definition 8.
An additive semigroup of ring is a quasi-ideal if for every .
Definition 9
([13,14]). A ring R is called left GP-V-ring (GP-V’-ring) if every simple (singular) left -module is YJ-injective.
In the following, we discuss the regularity of GP-V’-rings with idempotent reflexivity. In order to obtain the corresponding theorems, we first give the following several lemmas. Among them, Lemma 1, Lemma 2 and Lemma 3 have been proven in the literature [11,15,16], respectively. Therefore, we only give the statements of these three lemmas and omit their detailed proofs.
Lemma 1
([11]). Let be a semi-primitive ring. If the maximal left (right) ideal of is a generalized weak ideal, then is a reduced ring.
Lemma 2
([15]). Let be an idempotent reflexive . If is not a left weakly regular element, then every maximal left ideal of containing must be essential.
Lemma 3
([16]). If every maximal left ideal of the is a weakly right ideal, then is reduced.
Lemma 4.
If is an idempotent reflexive semi-abelian left GP-V’-ring whose every maximal essential left ideal is a quasi-ideal, then is reduced.
Proof.
Suppose there exists such that , then . Therefore, there exists a maximal left ideal of which contains , and it is easy to see that is essential. In fact, if is not essential, then is a direct sum term of and , where then . Since is semi-abelian, then , i.e., hus , contradicting the hypothesis. Therefore, is essential. Noting that , we can define a left -module homomorphism as
Since is a left GP-V’-ring, the simple singular left -module is GP-injective. Thus, there exists such that
where . In view of the fact that is a left ideal and a quasi-ideal,
Thus, we obtain
Hence, , which contradicts the maximality of . This implies that the supposition is not true, that is to say, ring is reduced. □
If the condition “a quasi-ideal” in Lemma 4 is replaced by “a weakly right ideal” or “a generalized weak ideal”, the lemma still holds. Therefore, we can obtain the following two lemmas.
Lemma 5.
If is an idempotent reflexive semi-abelian left GP-V’-ring whose every maximal essential left ideal is a weakly right ideal, then is reduced.
Proof.
If is not reduced, then there exists such that . Thus, is contained in a maximal left ideal of , and it is easy to see that is essential. Indeed, if is not essential, then is a direct sum term of and , where , then . Since the ring is semi-abelian, then , i.e., Therefore, , contradicting the hypothesis. Hence, is essential. Noting that , we can define a left -module homomorphism
such that . Since is a left GP-V’-ring, the simple singular left -module is GP-injective. Thus, there exists such that
where . By the condition that is a left ideal and a weak right ideal, there exists a positive integer such that . Since
and , which contradicts the maximality of . Thus, is reduced. □
Lemma 6.
If is an idempotent reflexive semi-abelian left GP-V’-ring whose every maximal essential left ideal is a generalized weak ideal, then is reduced.
Proof.
If is not reduced, then there exists such that . Thus, is contained in a maximal left ideal of , and it is easy to see that is essential. Indeed, if is not essential, then is a direct sum term of and where then . Since is semi-abelian, then , i.e., , so we have
contradicting the hypothesis. Therefore, is essential. Noting that , we can define a left -module homomorphism
such that . Since is a left GP-V’-ring, the simple singular left -module is GP-injective. Thus, there exists such that
where . By the condition that is a left ideal, we can obtain . Since is a generalized weak ideal, there exists a positive integer such that . Note that
Since is a left ideal, . Since , it contradicts the maximality of . Therefore, is reduced. □
Lemma 7.
If is an idempotent reflexive semi-commutative left GP-V’-ring whose every maximal essential left ideal is a quasi-ideal, then is reduced.
Proof.
If is not reduced, then there exists such that . Thus, is contained in a maximal left ideal of , and it is easy to see that is essential. In fact, if is not essential, then is a direct sum term of and , where then . Since is semi-commutative, then . Since is idempotent reflexive, then . Thus, , i.e., hus, , contradicting the hypothesis. Therefore, is essential. Noting that , we can define a left -module homomorphism
Since is a left GP-V’-ring, the simple singular left -module is GP-injective. Thus, there exists such that
where . In view of the fact that is a left ideal and a quasi-ideal,
So, we can obtain
Hence, , which contradicts the maximality of . This implies that the ring is reduced. □
Lemma 8.
If is an idempotent reflexive semi-commutative left GP-V’-ring whose every maximal essential left ideal is a weakly right ideal, then is reduced.
Proof.
If is not reduced, then there exists such that . Thus, is contained in a maximal left ideal of , and it is easy to see that is essential. Indeed, if is not essential, then is a direct sum term of and , where , then . Since is semi-commutative, then . Since is idempotent reflexive, then . Thus, , i.e., . Therefore, , contradicting the hypothesis. Hence, is essential. Noting that , we can define a left -module homomorphism
such that . Since is a left GP-V’-ring, the simple singular left -module is GP-injective. Thus, there exists such that
where . By the condition that is a left ideal and a weak right ideal, there exists a positive integer such that . Since
and , which contradicts the maximality of . Thus, is reduced. □
Lemma 9.
If is an idempotent reflexive semi-commutative left GP-V’-ring whose every maximal essential left ideal is a generalized weak ideal, then is reduced.
Proof.
If is not reduced, then there exists such that . Thus, is contained in a maximal left ideal of , and it is easy to see that is essential. Indeed, if is not essential, then is a direct sum term of and , where then . Since is semi-commutative, then . Since is idempotent reflexive, then . Thus, , i.e., , so we have
contradicting the hypothesis. Therefore, is essential. Noting that , we can define a left -module homomorphism
such that . Since is a left GP-V’-ring, the simple singular left -module is GP-injective. Thus, there exists such that
where . By the condition that is a left ideal, we can obtain . Since is a generalized weak ideal, there exists a positive integer such that . Note that
Since is a left ideal, . Since , it contradicts the maximality of . Therefore, is reduced. □
3. Main Results
In 2005, Kim, J.Y. proved in the literature [11] that if is an idempotent reflexive left GP-V’-ring, then for any nonzero element in , there exists a positive integer such that and . Inspired by the result, we obtained the following theorem.
Theorem 1.
Let is a semi-primitive idempotent reflexive ring. If every simple singular left -module is flat, and every maximal left ideal is a generalized weak ideal, then for any nonzero element in , there exists a positive integer such that , and .
Proof.
If is a left weak regular element, then the conclusion clearly holds. In the following, we consider that if is not a left weak regular element, then . Firstly, we assume that , and . We claim that . Otherwise, there exists a maximal left ideal containing , and by Lemma 2, is an essential left ideal of . Thus, is flat and . Since , there exists such that , and so . By Lemma 1, is a reduced ring. Therefore,
This contradicts the maximality of . So .
Moreover, we considered the case where is not a nilpotent element. Consider the following chain
Set . If , then is contained in the maximal left ideal of . Similarly, by Lemma 2, is essential. Thus, is flat. Since , there exists such that . Hence,
This contradicts the maximality of . Thus, . □
In the following, we give a sufficient condition for the idempotent reflexive GP-V’-ring to be left weakly regular by using the condition “every maximal essential left ideal is a quasi-ideal”.
Theorem 2.
If is an idempotent reflexive semi-abelian left GP-V’-ring whose every maximal essential left ideal is a quasi-ideal, then is a reduced left weakly regular ring.
Proof.
Since is a left weakly regular ring, we obtain for any . Otherwise, there exists such that . Then, there exists a left ideal containing , and it is easy to see that is essential. Indeed, if is not essential, then is a direct sum term of . Set , where . Then, if , we have . So, we have ,which implies . Therefore,
Hence, , contradicting the hypothesis. Therefore, is essential. Since is GP-injective, for any , there exists a positive integer such that the -homomorphism from to can be defined as follows.
By Lemma 4, is reduced, so the above definition is reasonable. There exists such that
Therefore, , where . By the fact that is a left ideal and a quasi-ideal, then
Hence,
So , which contradicts the maximality of . Therefore, for any we have . Thus, is left weakly regular. □
If the condition “a quasi-ideal” is replaced by “a weakly right ideal” in Theorem 2, the conclusion of the theorem still holds. We can obtain the following theorem:
Theorem 3.
If is an idempotent reflexive semi-abelian left GP-V’-ring whose every maximal essential left ideal is a weakly right ideal, then is a reduced left weakly regular ring.
Proof.
By Lemma 5, the ring is reduced. Next, we prove that the ring is left weakly regular. That is, we show that there exists for any . Otherwise, there exists such that . Then, there exists a left ideal containing , and it is easy to see that is essential. Indeed, if is not essential, then is a direct sum term of . Set , where . When , i.e., we have . Since is idempotent reflexive, we have , and this implies . Therefore,
Hence, , contradicting the hypothesis. Therefore, is essential. Since is GP-injective, for any , there exists a positive integer such that the -homomorphism from to can be defined as follows.
Since is reduced, the above definition is reasonable. Therefore, there exists such that
Therefore, , where . By the fact that is a left ideal and a weakly right ideal, there exists a positive integer such that , and
Since , which contradicts the maximality of , we have for any . Hence, is left weakly regular. □
In Theorem 3, if the condition “a weakly right ideal” is replaced by “a generalized weak ideal”, the conclusion of the theorem still holds. We can obtain the following theorem:
Theorem 4.
If is an idempotent reflexive semi-abelian left GP-V’-ring whose every maximal essential left ideal is a generalized weak ideal, then is a reduced left weakly regular ring.
Proof.
By Lemma 6, it is clear that is reduced. Next, we prove that the ring is left weakly regular. That is, we show that for any , there exists . Otherwise, there exists such that . Then, there exists a left ideal containing , and it is easy to see that is essential. Indeed, if is not essential, then is a direct sum term of Set , where . When , we have So we have , which implies . Therefore,
Hence, , contradicting the hypothesis. Therefore, is essential. Since is GP-injective, for any , there exists a positive integer such that the -homomorphism from to can be defined as follows.
Since is reduced, the above definition is reasonable. Therefore, there exists such that
Therefore, , where . By the fact that is a left ideal and a generalized weak ideal, then
there exists a positive integer such that Since is a left ideal, we have
Hence, . Furthermore, noting that , this contradicts the maximality of . Therefore, for any , we have . Thus, is left weakly regular. □
Strengthening the condition “semi-abelian” to “semi-commutative” in Theorem 2, Theorem 3, and Theorem 4, respectively, we obtain the following three strong regularity theorems of the rings.
Theorem 5.
is a strongly regular ring if and only if is an idempotent reflexive semi-commutative left GP-V’-ring whose every maximal essential left ideal is a quasi-ideal.
Proof.
The necessity of the theorem is clearly established, so we are only required to show that sufficiency holds. By Lemma 7, is reduced. Next, we prove that for any . Otherwise, there exists such that . Then, there exists a maximal left ideal of containing . Similar to Lemma 2, it can be shown that is essential. Thus, is GP-injective. Since is reduced, we can define
Thus, there exists such that
where . By the fact that is a left ideal and a quasi-ideal, then
Hence,
Thus, , and
Thus, is a strongly regular ring. □
Theorem 6.
is a strongly regular ring if and only if is an idempotent reflexive semi-commutative left GP-V’-ring whose every maximal essential left ideal is a weakly right ideal.
Proof.
The necessity of the theorem is clearly established, so we are only required to show that sufficiency holds. By Lemma 8, is reduced. Next, we prove that , for any . Otherwise, there exists such that . Then, there exists a maximal left ideal of containing . Similar to the proof of Lemma 2, we can prove that is essential. Noting that , the left -module homomorphism can be defined as follows.
Since is a left GP-V’-ring, the simple singular left -module is GP-injective. Thus, there exists such that
Since is a weakly right ideal, there exists a positive integer such that . Similar to the proof of Lemma 3, we can obtain . This contradicts the maximality of . Therefore,
Hence, is a strongly regular ring. □
Theorem 7.
is a strongly regular ring if and only if is an idempotent reflexive semi-commutative left GP-V’-ring whose every maximal essential left ideal is a generalized weak ideal.
Proof.
The necessity of the theorem is clearly established, so we are only required to show that sufficiency holds. By Lemma 9, is reduced. Next, we prove that , for any . Otherwise, there exists such that . Then there exists a maximal left ideal of containing . Similar to Lemma 2, it can be shown that is essential. Thus, is GP-injective. Since is reduced, we can define
Thus, there exists such that
Since is a left ideal, , i.e., . As and is a generalized weak ideal, there exists a positive integer such that . Note that
and . Hence,
This contradicts the maximality of . Thus,
Therefore, there exists , such that
Thus,
Therefore, is a strongly regular ring. □
4. Conclusions
This paper mainly studies the regularity of idempotent reflexive GP-V’-rings. By using the concepts of generalized weak ideals, weakly right ideals, and quasi-ideals, we obtain several weakly and strongly regular theorems of idempotent reflexive GP-V’-rings.
Author Contributions
Conceptualization, L.L. and W.Z.; methodology, L.L.; investigation, Y.L.; writing—original draft preparation, L.L.; writing—review and editing, L.L. All authors have read and agreed to the published version of the manuscript.
Funding
This work was supported by the Doctoral/High-level Talents Research Foundation of Jinling Institute of Technology (No. jit-b-202043).
Data Availability Statement
The original contributions presented in the study are included in the article; further inquiries can be directed to the corresponding author.
Conflicts of Interest
The authors declare no conflicts of interest.
References
- Faith, C. Lectures on Injective Modules and Quotient Rings; Lecture Notes in Mathematics; Springer: Berlin/Heidelberg, Germany, 1967; Volume 49. [Google Scholar]
- Michler, G.O.; Villamayor, O.E. On rings whose simple modules are injective. J. Algebra 1973, 25, 185–201. [Google Scholar] [CrossRef]
- Roger, Y.C.M. On (von Neumann) regular rings. Proc. Edinb. Math. Soc. 1974, 19, 89–91. [Google Scholar]
- Roger, Y.C.M. On regular rings and artinian rings(II). Riv. Math. Univ. Parma 1985, 4, 101–109. [Google Scholar]
- Nam, S.B. A note on simple singular GP-injective modules. Korean J. Math. 1999, 7, 215–218. [Google Scholar]
- Ding, N.Q.; Chen, J.L. Rings whose simple singular modules are YJ-injective. Math. Jpn. 1994, 40, 191–195. [Google Scholar]
- Khurana, D.; Nielsen, P.P. Perspectivity and von Neumann regularity. Commun. Algebra 2021, 49, 5483–5499. [Google Scholar] [CrossRef]
- Wisbauor, R. Foundations of Module and Ring Theory; Routledge: London, UK, 2017. [Google Scholar]
- Kim, N.K.; Kwak, T.K.; Lee, Y.; Ryu, S.J. On von Neumann regularity of commutators. Algebra Colloq. 2024, 31, 181–198. [Google Scholar] [CrossRef]
- Jeong, J.; Kwak, T.K. On rings whose essential maximal right ideals are GP-injective. Commun. Korean Math. Soc. 2022, 37, 399–407. [Google Scholar]
- Kim, J.Y. Certain rings whose simple singular modules are GP-injective. Proc. Jpn. Acad. 2005, 81, 125–128. [Google Scholar] [CrossRef]
- Birkenmeier, G.F.; Kim, J.Y.; Park, J.K. A characterization of minimal prime ideals. Glasg. Math. J. 1998, 40, 223–236. [Google Scholar] [CrossRef][Green Version]
- Zhang, J.L. Characterizations of strongly regular rings. Northeast. Math. J. 1994, 10, 359–364. [Google Scholar]
- Xiao, G.S. On GP-V rings and characterizations of strongly regular rings. Northeast. Math. J. 2002, 18, 291–297. [Google Scholar]
- Zhou, H.Y.; Wang, X.D. On von-Neumann regular rings and left SF-rings. J. Math. Res. Expo. 2004, 24, 679–683. [Google Scholar]
- Xiao, G.S.; Tong, W.T. Rings whose every simple left R-modules is GP-injective. Southeast Asian Bull. Math. 2006, 30, 969–980. [Google Scholar]
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content. |
© 2024 by the authors. Licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license (https://creativecommons.org/licenses/by/4.0/).