Hindawi Publishing Corporation Journal of Applied Mathematics Volume 2013, Article ID 630285, 7 pages http://dx.doi.org/10.1155/2013/630285 Research Article πΊπΉ-Regular Modules Areej M. Abduldaim1,2 and Sheng Chen1 1 2 Department of Mathematics, Harbin Institute of Technology, Harbin 150001, China Applied Science Department, University of Technology, Baghdad 10001, Iraq Correspondence should be addressed to Areej M. Abduldaim; areej mussab@yahoo.com Received 9 November 2012; Accepted 3 February 2013 Academic Editor: Jong Hae Kim Copyright © 2013 A. M. Abduldaim and S. Chen. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited. We introduced and studied πΊπΉ-regular modules as a generalization of π-regular rings to modules as well as regular modules (in the sense of Fieldhouse). An π -module π is called πΊπΉ-regular if for each π₯ ∈ π and π ∈ π , there exist π‘ ∈ π and a positive integer π such that ππ π‘ππ π₯ = ππ π₯. The notion of πΊ-pure submodules was introduced to generalize pure submodules and proved that an π module π is πΊπΉ-regular if and only if every submodule of π is πΊ-pure iff πM is a πΊπΉ-regular π M -module for each maximal ideal M of π . Many characterizations and properties of πΊπΉ-regular modules were given. An π -module π is πΊπΉ-regular iff π /ann(π₯) is a π-regular ring for each 0 =ΜΈ π₯ ∈ π iff π /ann(π) is a π-regular ring for finitely generated module π. If π is a πΊπΉ-regular module, then π½(π) = 0. 1. Introduction Throughout this paper, unless otherwise stated, π is a commutative ring with nonzero identity and all modules are left unitary. For an π -module π, the annihilator of π₯ ∈ π in π is annπ (π₯) = {π ∈ π : ππ₯ = 0}. The symbol β» stands for the end of the proof if the proof is given or the end of the statement when the proof is not given. Recall that a ring π is said to be regular (in the sense of von Neumann) if for each π ∈ π , there exists π‘ ∈ π such that ππ‘π = π [1]. The concept of regular rings was extended firstly to π-regular rings by McCoy [2], recall that a ring π is π-regular if for each π ∈ π , there exist π‘ ∈ π and a positive integer π such that ππ π‘ππ = ππ [2] and secondly to modules in several nonequivalent ways considered by Fieldhouse [3], Ware [4], Zelmanowitz [5], and Ramamurthi and Rangaswamy [6]. In [7], Jayaraman and Vanaja have studied generalizations of regular modules (in the sense of Zelmanowitz) by Ramamurthi [8] and Mabuchi [9]. Following [10], we denoted Fieldhouse’ regular modules by πΉ-regular. An π -module π is called πΉ-regular if each submodule of π is pure [3]. Dissimilar to the generalizations that have been studied in [7, 9] and [8], in this paper a new generalization of π-regular rings to modules and πΉ-regular modules was introduced, called πΊπΉ-reular (generalized πΉ-regular) modules. An π module π is called πΊπΉ-regular if for each π₯ ∈ π and π ∈ π , there exist π‘ ∈ π and a positive integer π such that ππ π‘ππ π₯ = ππ π₯. A ring π is called πΊπΉ-regular if π is πΊπΉ-regular as an π -module. On the other hand, πΊπΉ-regular modules are also a generalization of π-regular rings. Thus, π is a π-regular ring if and only if π is a πΊπΉ-regular π -module. Furthermore, we introduced a new class of submodules, named, πΊ-pure submodules as a generalization of pure submodules. A submodule π of an π -module π is said to be πΊ-pure if for each π ∈ π , there exists a positive integer π such that π ∩ ππ π = ππ π. Recall that a submodule π of an π -module π is pure if π ∩ πΌπ = πΌπ for each ideal πΌ of π [11]. We find that the relationship between πΊπΉ-regular modules and πΊ-pure submodules is an analogous relationship between πΉregular modules and pure submodules. In Section 3.1 of this paper, after the concept of πΊπΉregular modules was introduced, we obtained several characteristic properties of πΊπΉ-regular modules. For instance, it was proved that the following are equivalent for an π -module π: (1) π is πΊπΉ-regular; (2) every submodule of π is πΊ-pure; (3) π /ann(π₯) is a π-regular ring for each 0 =ΜΈ π₯ ∈ π; (4) and for each π₯ ∈ π and π ∈ π , there exist π‘ ∈ π and a positive integer π such that ππ+1 π‘π₯ = ππ π₯. It is also shown that if π 2 Journal of Applied Mathematics is a finitely generated π -module, then π is πΊπΉ-regular if and only if π /ann(π) is a π-regular ring. Section 3.2 was devoted to investigate the relationship between πΊπΉ-regular modules with the localization property and semisimple modules. For example, we proved that π is a πΊπΉ-regular π -module if and only if πM is a πΊπΉ-regular π M module for every maximal ideal M of π if and only if πM is a semisimple π M -module for every maximal ideal M of π . Finally, in Section 3.3 we studied some properties of the Jacobson radical, π½(π), of πΊπΉ-regular modules. Thus we proved that if π is a πΊπΉ-regular π -module, then π½(π) = 0, and also we get that if π½(π ) is a reduced ideal of a ring π and π is a πΊπΉ-regular π -module, then π½(π ) ⋅ π = 0. 2. The Notion of πΊπΉ-Regular Modules and General Results We start by recalling that an π -module π is πΉ-regular if each submodule of π is pure [3], and a ring π is π-regular if for each π ∈ π , there exist π‘ ∈ π and a positive integer π such that ππ π‘ππ = ππ [2]. Definition 1. An π -module π is called πΊπΉ-regular if for each π₯ ∈ π and π ∈ π , there exist π‘ ∈ π and a positive integer π such that ππ π‘ππ π₯ = ππ π₯. A ring π is πΊπΉ-regular if and only if π is πΊπΉ-regular as an π -module. (3) A ring π is π-regular if and only if π is πΊπΉ-regular as an π -module. (4) Every submodule of a πΊπΉ-regular module is πΊπΉregular module. In particular, every ideal of a πregular ring π is πΊπΉ-regular π -module. Furthermore, it follows from (1) that if πΌ is an ideal of a π-regular ring π , then the π -module π /πΌ is πΊπΉ-regular. (5) The converse of (1) is true if the module is free, that is, any free π -module π is πΊπΉ-regular if and only if π is a π-regular ring. For if, π is a free π -module, then ann(π₯) = 0 for each 0 =ΜΈ π₯ ∈ π, so π β π /ann(π₯) is a π-regular ring. (6) If an π -module π is πΊπΉ-regular and it contains a nontorsion element, then π is a π-regular ring. In particular, if π is a πΊπΉ-regular π -module and π is not a π-regular ring, then π is a torsion π -module. Now from Proposition 2 and Remark 3(3), we conclude the following. Corollary 4. The following statements are equivalent for a ring: (1) π is a π-regular ring; (2) π /πππ(π) is a π-regular ring for each 0 =ΜΈ π ∈ π . The following gives another characterization for πΊπΉregular modules. We have seen previously that every πΉ-regular π -module is πΊπΉ-regular. In the following we consider some conditions such that the converse is true. Proposition 2. An π -module π is πΊπΉ-regular if and only if π /πππ(π₯) is a π-regular ring for each 0 =ΜΈ π₯ ∈ π. Remark 5. Proof. Suppose that π is a πΊπΉ-regular π -module, so for each π₯ ∈ π and π ∈ π , there exist π‘ ∈ π and a positive integer π such that ππ π‘ππ π₯ = ππ π₯; hence, (ππ π‘ππ − ππ ) ∈ ann(π₯) which means that ππ π‘ππ = ππ ; therefore, π /ann(π₯) is a π-regular ring. Conversely, suppose that π /ann(π₯) is a π-regular ring for each 0 =ΜΈ π₯ ∈ π, thus for each π ∈ π /ann(π₯), there exist π‘ ∈ π /ann(π₯) and a positive integer π such that ππ π‘ππ = ππ ; hence, ππ π‘ππ −ππ ∈ ann(π₯) which implies that (ππ π‘ππ −ππ )π₯ = 0; therefore, π is a πΊπΉ-regular π -module. It is clear that every πΉ-regular module is πΊπΉ-regular, but the converse may not be true in general; for example, by applying Proposition 2 to the π-module π4 , we can easily see that it is πΊπΉ-regular; however, π4 is not an πΉ-regular π-module. In fact, the π-module ππ is πΊπΉ-regular for each positive integer π [12], while it is not πΉ-regular for some positive integer π. On the other hand, the π-module π is not πΊπΉ-regular because for each 0 =ΜΈ π₯ ∈ π we have that annπ (π₯) = 0, but π/annπ β π which is not a π-regular ring [12]. Remark 3. (1) If π is a π-regular ring, then every π -module is πΊπΉregular. (2) Every module over Artinian ring π is πΊπΉ-regular (because every Artinian ring is π-regular [12]). (1) Let π be a reduced ring. An π -module π is πΉ-regular if and only if π is a πΊπΉ-regular π -module. (2) An π -module π is πΉ-regular if and only if π is a πΊπΉ-regular π -module and πΏ(π /ann(π₯)) = 0 for each 0 =ΜΈ π₯ ∈ π, where πΏ(π /ann(π₯)) is the prime radical of the ring π /ann(π₯). Now, we describe πΊπΉ-regular modules over the ring of integers π. Proposition 6. A π-module π is πΊπΉ-regular if and only if π is a torsion π-module. Proof. If π is a πΊπΉ-regular π-module, then by Remark 3(6) π is a torsion π-module. Conversely, if π is a torsion πmodule, then annπ (π₯) = ππ for some positive integer π; hence, π/annπ (π₯) β ππ is a π-regular ring for each positive integer π [12], which implies that π is a πΊπΉ-regular πmodule. Proposition 7. Every homomorphic image of a πΊπΉ-regular π module is πΊπΉ-regular. Proof. Let π, πσΈ be two π -modules such that π is πΊπΉregular and let π : π → πσΈ be an π -epimorphism. For every π¦ ∈ πσΈ , there exists π₯ ∈ π such that π(π₯) = π¦. It is clear that ann(π₯) ⊆ ann(π¦). Define πΌ : π /ann(π₯) → π /ann(π¦) by Journal of Applied Mathematics 3 πΌ(π+ann(π₯)) = π+ann(π¦) for each π ∈ π . It is an easy matter to check that πΌ is well defined π -epimorphism. Since π /ann(π₯) is a π-regular ring, then π /ann(π¦) is also a π-regular ring [12]. Therefore, πσΈ is a πΊπΉ-regular π -module. Corollary 8. The following statements are equivalent for an π module π: (1) π/π is a πΊπΉ-regular π -module for every nonzero submodule π of π. (2) π/π π₯ is a πΊπΉ-regular π -module for every 0 =ΜΈ π₯ ∈ π. Another characterization of a πΊπΉ-regular π -module is given in the next result. Proposition 9. An π -module π is πΊπΉ-regular if and only if for each π₯ ∈ π and π ∈ π , there exist π‘ ∈ π and a positive integer π such that ππ+1 π‘π₯ = ππ π₯. Proof. Suppose that π is a πΊπΉ-regular π -module, so for each π₯ ∈ π and π ∈ π , there exist π ∈ π and a positive integer π such that ππ π ππ π₯ = ππ π₯, then we can take π‘ = π ππ−1 ∈ π and hence ππ+1 π‘π₯ = ππ π₯. Conversely, for each π₯ ∈ π and π ∈ π , there exist π ∈ π and a positive integer π such that ππ+1 π π₯ = ππ π₯. Now, ππ π π ππ π₯ = ππ+1 π π π−1 ππ−1 π₯ = ππ π π−1 ππ−1 π₯ = ππ+1 π π π−2 ππ−2 π₯ = ππ π π−2 ππ−2 π₯ = ⋅ ⋅ ⋅ = ππ+1 π π₯ = ππ π₯ (after π times), thus ππ π‘ππ π₯ = ππ π₯ where π‘ = π π which implies that π is a πΊπΉ-regular π -module. 3. Main Results 3.1. πΊπΉ-Regular Modules and Purity. Recall that a submodule π of an π -module π is pure in π if each finite system of equations ππ = ∑πππ π₯π , π πππ ∈ π , ππ ∈ π, 1 ≤ π ≤ π, (1) which is solvable in π, is solvable in π [13]. It is not difficult to prove that π is pure in π if and only if for each ideal πΌ of π , π∩πΌπ = πΌπ [11]. This motivates us to introduce the following definition as a generalization of pure submodules. Definition 10. A submodule π of an π -module π is called πΊpure if for each π ∈ π , there exists a positive integer π such that π ∩ ππ π = ππ π. It is clear that every pure module is πΊ-pure. The following theorem gives another characterization of πΊπΉ-regular modules in terms of πΊ-pure submodules. Theorem 11. An π -module π is πΊπΉ-regular if and only if every submodule of π is πΊ-pure. Proof. Suppose that π is a πΊπΉ-regular π -module and let π be any submodule of π. For each π ∈ π and for some positive integer π, let π₯ ∈ π ∩ ππ π, then there exists π¦ ∈ π such that π₯ = ππ π¦. Since π is πΊπΉ-regular, then there exists π‘ ∈ π such that ππ π¦ = ππ π‘ππ π¦. Put π = π‘ππ , then ππ π¦ = πππ π¦ which implies that π₯ = ππ₯, but π₯ ∈ π, so π₯ = ππ₯ ∈ ππ π and hence π ∩ ππ π ⊆ ππ π. On the other hand, it is clear that ππ π ⊆ π ∩ ππ π, thus π β ππ π = ππ π which means that π is a πΊ-pure submodule. Conversely, assume that every submodule is πΊ-pure and let π₯ ∈ π and π ∈ π such that π ππ π₯ = π which is a πΊpure submodule of π for some positive integer π, then π ∩ ππ π = ππ π for each π ∈ π . In particular, if π = π we get ππ π₯ ∈ π ∩ ππ π ⊆ ππ π = ππ π ππ π₯ which implies that there exists π‘ ∈ π such that ππ π‘ππ π₯ = ππ π₯, so π is a πΊπΉ-regular π -module. Corollary 12. An π -module π is πΊπΉ-regular if and only if for each π₯ ∈ π, there exist π ∈ π and a positive integer π such that π ππ π₯ is a πΊ-pure submodule. Remark 13. Fieldhouse in [11] proved that for a submodule π of an π -module π, if π/π is a flat π -module, then π is pure. On the other hand, if π is flat and π is pure, then π/π is flat. So, immediately we have that for a flat π -module, if π/π is a flat π -module for each submodule π of π, then π is πΊπΉregular π -module. It is not difficult to prove that in case of πΉregular modules the converse of the latest statement is true; however, we do not know whether it is true for πΊπΉ-regular modules or not. Remark 14. In [14], Mao proved that a right π -module π is πΊπ-flat if and only if there exists an exact sequence 0 → πΎ → π → π → 0 with π free such that for any π ∈ π , there exists a positive integer π satisfying πΎ ∩ πππ = πΎππ , where (1) a right π -module π is said to be generalized π-flat (πΊπ-flat for short) if for any π ∈ π , there exists a positive integer π (depending on π) such that the sequence 0 → π ⊗ π ππ → π ⊗ π is exact [15], (2) a right π -module π is π-flat [16] or torsion-free [15] if for any π ∈ π , the sequence 0 → π ⊗ π π → π ⊗ π is exact. Obviously, every flat module is π-flat [16] and every π-flat module is πΊπ-flat [14]. According to the above remark we get the following. Corollary 15. An π -module π is πΊπ-flat if and only if there exists an exact sequence 0 → π → π → π → 0 with π is a submodule of a free π -module π such that π is a πΊ-pure submodule. Corollary 16. For every submodule π of a free π -module π, if there exists an exact sequence 0 → π → π → π → 0 such that π is a πΊ-pure submodule in π, then π is a πΊπ-flat π -module if and only if π is πΊπΉ-regular. Now, we recall that (1) an π -module π is π-injective if for every principal ideal πΌ of π , every π -homomorphism of πΌ into π extends to one of π into π [17]. A ring π is called πinjective if π is π-injective as an π -module. (2) An π -module π is called ππ½-injective if for any 0 =ΜΈ π ∈ π , there exists a positive integer π such that ππ =ΜΈ 0 and any π -homomorphism of π ππ into π extends to one of π into π. A ring π is called ππ½-injective if π is ππ½-injective as an π -module [18]. ππ½injective modules are called πΊπ-injective modules by some other authors [19–22]. (3) An π -module π is called ππΊπinjective (weak πΊπ-injective) if for any π ∈ π , there exists a 4 Journal of Applied Mathematics positive integer π such that every π -homomorphism of π ππ into π extends to one of π into π (ππ may be zero). A ring π is called ππΊπ-injective if π is ππΊπ-injective as an π -module [23–25]. (4) A ring π is called π.π. if every principal ideal of π is projective. And π is called πΊππ-ring if for any π ∈ π , there exists a positive integer π (depending on π) such that π ππ is projective [26, 27]. Note that π-injectivity implies ππ½-injectivity (or πΊπinjectivity) and ππΊπ-injectivity, as well as the concept of π.π. rings implies the concept of πΊππ-rings. However, the notion of ππ½-injective (or πΊπ-injective) modules is not the same notion of ππΊπ-injective modules. It is known that a ring π is π-regular if and only if every π -module is ππΊπ-injective [12, 22], so from all the above we conclude the following theorem. Theorem 17. The following statements are equivalent for a ring π . (1) π is a π-regular ring. (2) π /πππ(π) is a π-regular ring for each 0 =ΜΈ π ∈ π . (3) Any free π -module is πΊπΉ-regular. (4) Every π -module is ππΊπ-injective. We end this section by the following two related results. Proposition 18. Let π be an π -module. If π /πππ(π) is a πregular ring, then π is a πΊπΉ-regular π -module. Proof. We have that ann(π) ⊆ ann(π₯) for each π₯ ∈ π, so there exists an obvious π -epimorphism π : π /ann(π) → π /ann(π₯) defined by π(π + ann(π)) = π + ann(π₯). Since π /ann(π) is a π-regular ring, then π /ann(π₯) is a π-regular ring [12]; therefore, π is a πΊπΉ-regular π -module. In case of finitely generated modules, the converse of Proposition 18 is true. Proposition 19. Let π be an π -module. If π is a finitely generated πΊπΉ-regular π -module, then π /πππ(π) is a π-regular ring. Proof. Let {π₯1 , π₯2 , . . . , π₯π } be a finite set of generators of π. Put π = ann(π), and ππ = ann(π₯π ), 1 ≤ π ≤ π, then π = ∩π ππ . Now define π : π /π → ⊕ ∑ππ=1 π /ππ by π(π + π) = (π + π1 , π + π2 , . . . , π + ππ ) for each π + π ∈ π /π. It is easily checked that π is a ring monomorphism. Thus, π /π can be identified with a subring π of ⊕ ∑ππ=1 π /ππ . In fact π = {(π + π1 , π + π2 , . . . , π + ππ ) : π ∈ π } . (2) We will show now that π, and hence π /π is a π-regular ring. Since π is a πΊπΉ-regular π -module, then π /ππ is a πregular ring, thus for each π ∈ π and 1 ≤ π ≤ π, there exist π‘π ∈ π and a positive integer π such that ππ π‘π ππ + ππ = ππ + ππ ; this means that ππ π‘π ππ π₯π = ππ π₯π . Define π‘ by the relation 1 − π‘ππ = ∏ππ=1 (1 − π‘π ππ ), then ππ (1 − π‘ππ )π₯π = ππ ∏ππ=1 (1 − π‘π ππ )π₯π = ∏ππ=1 (ππ − ππ π‘π ππ )π₯π = 0 which implies that for each π, ππ +ππ = ππ π‘ππ + ππ , so π is a π-regular ring and hence π /π is a π-regular ring. 3.2. πΊπΉ-Regular Modules and Localization. In this section we study the localization property and semisimple modules with πΊπΉ-regular modules and we give some characterizations of πΊπΉ-regular modules in the sense of them. Theorem 20. Let π be an π -module. π is a πΊπΉ-regular π module if and only if πM is a πΊπΉ-regular π M -module for each maximal ideal M in π . Proof. Let π be a πΊπΉ-regular π -module, and let M be any maximal ideal in π . Let π₯/π‘ ∈ πM and π/π‘1 ∈ π M , where π₯ ∈ π, π ∈ π and π‘, π‘1 ∈ π −M. So there exist π ∈ π and a positive integer π such that ππ πππ π₯ = ππ π₯. Hence, (π/π‘1 )π (π₯/π‘) = ππ π₯/π‘1π π‘ = (ππ πππ π₯/π‘1π π‘)(π‘1π /π‘1π ) = (ππ /π‘1π )(ππ‘1π /1)(ππ /π‘1π )(π₯/π‘) = (π/π‘1 )π (ππ‘1π /1)(π/π‘1 )π , where ππ‘1π /1 ∈ π M , then πM is πΊπΉregular π M -module. Conversely, suppose that πM is a πΊπΉ-regular π M module. Let π be a submodule of π and let M be a maximal ideal of π . By Theorem 11, πM is a πΊ-pure submodule of πM ; therefore, πM ∩ (π ππ )M πM = (π ππ )M πM for each π ∈ π and for some positive integer π. But by [28], we have that πM ∩ (π ππ )M πM = πM ∩ (π ππ π)M = (π ∩ π ππ π)M and (π ππ π)M = (π ππ )M πM , then (π ππ π ∩ π)M = (π ππ π)M , again by [28], we get that π ππ π ∩ π = π ππ π, which implies that π is a πΊ-pure submodule of π and by Theorem 11 π, is a πΊπΉ-regular π -module. Recall that an π -module π is simple if 0 and π are the only submodules of π, and an π -module π is said to be semisimple if π is a sum of simple modules (may be infinite). A ring π is semisimple if it is semisimple as an π -module [29]. It is known that over any ring π , a semisimple module is πΉregular [4, 30], consequently it is πΊπΉ-regular. Furthermore, it is known that over a local ring, every πΉ-regular module is semisimple [31]. We can generalize the latest statement as the following. Proposition 21. Every πΊπΉ-regular module over local ring is semisimple. Proof. Let M be the only maximal ideal of π . Since π is πΊπΉregular, then for each 0 =ΜΈ π₯ ∈ π we have that π /ann(π₯) is πΊπΉ-regular local ring which implies that π /ann(π₯) is a field [12]; hence, ann(π₯) is a maximal ideal, so M = ann(π₯) for each 0 =ΜΈ π₯ ∈ π. Therefore, M = ann(π₯) = ann(π). On the other hand, π /M β π /ann(π) is a field, which implies that π is a vector space over the field π /ann(π) which is a simple ring. Then π is a semisimple module over the ring π /ann(π). Thus, π is a semismple π -module [29]. As an immediate result from Theorem 20 and Proposition 21, we get the following. Corollary 22. Let π be an π -module. π is πΊπΉ-regular if and only if πM is a semisimple π M -module for each maximal ideal M of π . We mentioned before that every πΉ-regular π -module is πΊπΉ-regular; the following gives us another condition such that the converse is true. Journal of Applied Mathematics Corollary 23. Let π be a local ring. An π -module π is πΉregular if and only if π is a πΊπΉ-regular π -module. Corollary 24. An π -module π = π β¨ πΎ is πΊπΉ-regular if and only if π and πΎ are πΊπΉ-regular π -modules. Proof. Assume that π and πΎ are πΊπΉ-regular π -modules, then for each maximal ideal M in π , each of πM and πΎM is a semisimple module (Proposition 21); hence, it is an easy matter to check that πM + πΎM is a semisimple module, so πM = πM β¨ πΎM is a πΊπΉ-regular module. Thus, π is a πΊπΉregular module (Theorem 20). The other direction is obtained directly from Proposition 7. Finally we can summarize that the conditions under which πΉ-regular modules coincide with πΊπΉ-regular modules and the characterizations of πΊπΉ-regular modules, of Section 2 with those of this section, in the following Proposition 25 and Theorem 26, respectively: Proposition 25. An π -module π is πΊπΉ-regular if and only if π is an πΉ-regular module, if any of the following conditions are satisfied. (1) π is a local ring. (2) π is a reduced ring. (3) The prime radical of the ring π /πππ(π₯) is zero for each 0 =ΜΈ π₯ ∈ π. Theorem 26. The following statements are equivalent for a ring π . (1) π is a πΊπΉ-regular π -module. (2) π /πππ(π₯) is a π-regular ring for each 0 =ΜΈ π₯ ∈ π (3) For each π₯ ∈ π and π ∈ π , there exist π‘ ∈ π and positive integer π such that ππ+1 π₯ = ππ π₯. (4) Every submodule of π is πΊ-pure. (5) For each π₯ ∈ π, there exist π ∈ π and a positive integer π such that π ππ π₯ is a πΊ-pure submodule. (6) π is a πΊπ-flat π -module, if for every submodule π of a free π -module π there exists an exact sequence 0 → π → π → π → 0 such that π is a πΊ-pure submodule in π. (7) If π is a finitely generated π -module, then π /πππ(π) is a π-regular ring. (8) πM is a πΊπΉ-regular π M -module for each maximal ideal M in π . (9) πM is a semisimple π M -module for each maximal ideal M of π . 3.3. The Jacobson Radical of πΊπΉ-Regular Modules. Let π be an π -module. A submodule π of π is said to be small in π if for each submodule πΎ of π such that π + πΎ = π, we have πΎ = π [32]. The Jacobson radical of a ring π will be denoted by π½(π ). The following submodules of π are equal: (1) the intersection of all maximal submodules of π, (2) the sum of all the small submodules of π, and (3) the sum of all 5 cyclic small submodules of π. This submodule is called the Jacobson radical of π and will be denoted by π½(π) [29, 32]. It is appropriate now to note that for each element π ∈ π it may happen that ππ = 0. But some cases demand that ππ must be nonzero element. For this purpose we introduce the following concept. Definition 27. An π -module π is called ππΊπΉ-regular if for each 0 =ΜΈ π₯ ∈ π and π ∈ π , there exist π‘ ∈ π and a positive integer π with ππ =ΜΈ 0 such that ππ π‘ππ π₯ = ππ π₯. A ring π is called ππΊπΉ-regular if it is ππΊπΉ-regular as an π -module. It is clear that ππΊπΉ-regularity implies πΊπΉ-regularity and they are coincide if π is a reduced ring. Proposition 28. Let π be an ππΊπΉ-regular π -module, then π½(π ).π = 0. Proof. For each 0 =ΜΈ π₯ ∈ π and for each 0 =ΜΈ π ∈ π , there exist π‘ ∈ π and a positive integer π with ππ =ΜΈ 0 such that ππ π‘ππ π₯ = ππ π₯, then ππ π₯(ππ π₯ − 1) = 0. If π ∈ π½(π ), then ππ ∈ π½(π ) and (ππ π‘ − 1) is invertible, so ππ π₯ = 0, but we have that ππ =ΜΈ 0 and π₯ =ΜΈ 0; hence, ππ₯ = 0 which implies that π½(π ) ⋅ π = 0. Recall that an π -module π is faithful if for every π ∈ π such that ππ = 0 implies π = 0 [29], or equivalently, an π module π is called faithful if ann(π) = 0 [33]. Corollary 29. If π is a faithful ππΊπΉ-regular π -module, then π½(π ) = 0. Corollary 30. Let π be a reduced ring and π be a πΊπΉ-regular π -module, then π½(π ) ⋅ π = 0. Corollary 31. Let π be any ring such that π½(π ) is a reduced ideal of π and let π be a πΊπΉ-regular π -module, then π½(π )⋅π = 0. Corollary 32. Let π be a reduced ring. If π is a faithful πΊπΉregular π -module, then π½(π ) = 0. It is suitable to mention that, in general, not every module contains a maximal submodule; for example, π as π-module has no maximal submodule. So we have the next two results, but first we need Lemma 33 which is proved in [29]. Lemma 33. An π -module π is semisimple if and only if each submodule of π is direct summand. Proposition 34. Let π be a πΊπΉ-regular π -module, then π½(π) = 0. Proof. Since π is a πΊπΉ-regular π -module, then πM is a semisimple π M -module for each maximal ideal M of π (Corollary 22). Since each cyclic submodule of πM is direct summand (Lemma 33), then it cannot be small; therefore, the Jacobson radical of a semisimple module is zero, so π½(πM ) = 0 for each maximal ideal M of π . On the other hand, π½(π)M ⊆ π½(πM ) [28], thus π½(π)M = 0 for each maximal ideal M of π , and hence π½(π) = 0 [28]. 6 Corollary 35. Every nonzero πΊπΉ-regular π -module π contains a maximal submodule. Proof. Suppose not, then π½(π) = π, but π½(π) = 0 (Proposition 34), so π = 0 which is a contradiction. Corollary 36. Let π be a πΊπΉ-regular π -module, then for each 0 =ΜΈ π₯ ∈ π, there exist a maximal submodule M such that π₯ ∉ M. Proof. If π₯ ∈ π, for each maximal submodule M of π, then π₯ ∈ π½(π) = 0 which implies that π₯ = 0. Corollary 37. Let π be a πΊπΉ-regular π -module, then every proper submodule of π contained in a maximal submodule. Proof. Let π be a proper submodule of π. Since π is a πΊπΉ-regular π -module, then π/π =ΜΈ 0 is πΊπΉ-regular (Proposition 7), so π/π contains a maximal submodule (Corollary 35), which means that there exists a submodule πΎ of π such that π ⊆ πΎ, πΎ/π is a maximal submodule of π/π; therefore, πΎ is a maximal submodule of π and contains π. Corollary 38. Every simple submodule of a πΊπΉ-regular π module is direct summand. Proof. Let π be a simple submodule of a πΊπΉ-regular π module π, then π is cyclic; say π = π π₯, then there exists a maximal submodule M of π such that π₯ ∉ M (Corollary 37). It is clear that π = M + π π₯. Now, if π π₯ ∩ M =ΜΈ (0), then π π₯∩M = π π₯ because π π₯ is a simple submodule. Thus, π₯ ∈ M which is a contradiction, so π = π π₯ β¨ M. Acknowledgment S. Chen was sponsored by Project no. 11001064 supported by the National Natural Science Foundation of China. References [1] J. Von Neumann, “On regular rings,” Proceedings of the National Academy of Sciences, vol. 22, pp. 707–713, 1936. [2] N. H. McCoy, “Generalized regular rings,” Bulletin of the American Mathematical Society, vol. 45, no. 2, pp. 175–178, 1939. [3] D. J. Fieldhouse, Purity and flatness [Ph.D. thesis], McGill University, Montreal, Canada, 1967. [4] R. Ware, “Endomorphism rings of projective modules,” Transactions of the American Mathematical Society, vol. 155, pp. 233– 256, 1971. [5] J. Zelmanowitz, “Regular modules,” Transactions of the American Mathematical Society, vol. 163, pp. 341–355, 1972. [6] V. S. Ramamurthi and K. M. Rangaswamy, “On finitely injective modules,” Journal of the Australian Mathematical Society Series A, vol. 16, pp. 239–248, 1973, Collection of articles dedicated to the memory of Hanna Neumann, II. [7] M. Jayaraman and N. Vanaja, “Generalization of regular modules,” Communications in Algebra, vol. 35, no. 11, pp. 3331–3345, 2007. Journal of Applied Mathematics [8] V. S. Ramamurthi, “A note on regular modules,” Bulletin of the Australian Mathematical Society, vol. 11, pp. 359–364, 1974. [9] T. Mabuchi, “Weakly regular modules,” Osaka Journal of Mathematics, vol. 17, no. 1, pp. 35–40, 1980. [10] T. Cheatham and E. Enochs, “Regular modules,” Mathematica Japonica, vol. 26, no. 1, pp. 9–12, 1981. [11] D. J. Fieldhouse, “Pure theories,” Mathematische Annalen, vol. 184, pp. 1–18, 1969. [12] M. S. Abbas and A. M. Abduldaim, “π-regularity and full πstability on commutative rings,” Al-Mustansiriya Science Journal, vol. 12, no. 2, pp. 131–146, 2001. [13] J. J. Rotman, An Introduction to Homological Algebra, vol. 85 of Pure and Applied Mathematics, Academic Press, New York, NY, USA, 1979. [14] L. Mao, “Generalized P-flatness and P-injectivity of modules,” Hacettepe Journal of Mathematics and Statistics, vol. 40, no. 1, pp. 27–40, 2011. [15] A. Hattori, “A foundation of torsion theory for modules over general rings,” Nagoya Mathematical Journal, vol. 17, pp. 147–158, 1960. [16] W. K. Nicholson, “On PP-rings,” Periodica Mathematica Hungarica, vol. 27, no. 2, pp. 85–88, 1993. [17] R. Y. C. Ming, “On (von Neumann) regular rings,” Proceedings of the Edinburgh Mathematical Society. Series II, vol. 19, pp. 89– 91, 1974/75. [18] R. Yue Chi Ming, “On regular rings and self-injective rings. II,” Glasnik Matematicki, vol. 18, no. 2, pp. 221–229, 1983. [19] J. Chen, Y. Zhou, and Z. Zhu, “GP-injective rings need not be P-injective,” Communications in Algebra, vol. 33, no. 7, pp. 2395– 2402, 2005. [20] N. K. Kim, S. B. Nam, and J. Y. Kim, “On simple singular GPinjective modules,” Communications in Algebra, vol. 27, no. 5, pp. 2087–2096, 1999. [21] S. B. Nam, N. K. Kim, and J. Y. Kim, “On simple GP-injective modules,” Communications in Algebra, vol. 23, no. 14, pp. 5437– 5444, 1995. [22] J. Zhang and J. Wu, “Generalizations of principal injectivity,” Algebra Colloquium, vol. 6, no. 3, pp. 277–282, 1999. [23] R. Yue Chi Ming, “On annihilator ideals. IV,” Rivista di Matematica della UniversitaΜ di Parma. Serie IV, vol. 13, pp. 19–27, 1987. [24] R. Yue Chi Ming, “Generalizations of continuous and Pinjective modules,” Analele StintΜ§ifice Ale Universit AΜTΜ§II ”AL.I.CUZA” IASΜ§I, Tomul LII, S.I., MathematicaΜ, vol. 52, no. 2, pp. 351–364, 2006. [25] R. Yue Chi Ming, “VNR rings, π-regular rings and annihilators,” Commentationes Mathematicae Universitatis Carolinae, vol. 50, no. 1, pp. 25–36, 2009. [26] Y. Hirano, “On generalized PP-rings,” Mathematical Journal of Okayama University, vol. 25, no. 1, pp. 7–11, 1983. [27] M. OΜhori, “On non-commutative generalized rings,” Mathematical Journal of Okayama University, vol. 26, pp. 157–167, 1984. [28] Max. D. Larsen and P. J. McCarthy, Multiplicative Theory of Ideals, vol. 43, Academic Press, New York, NY, USA, 1971. [29] F. Kasch, Modules and Rings, vol. 17 of London Mathematical Society Monographs, Academic Press, London, UK, 1982. [30] T. J. Cheatham and J. R. Smith, “Regular and semisimple modules,” Pacific Journal of Mathematics, vol. 65, no. 2, pp. 315– 323, 1976. [31] D. J. Fieldhouse, “Regular Modules over Semilocal Rings,” Colloquium Mathematical Society, pp. 193–196, 1971. Journal of Applied Mathematics [32] D. J. Fieldhouse, “Pure simple and indecomposable rings,” Canadian Mathematical Bulletin, vol. 13, pp. 71–78, 1970. [33] T. W. Hungerford, Algebra, vol. 73 of Graduate Texts in Mathematics, Springer, New York, NY, USA, 1980. 7 Advances in Operations Research Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Advances in Decision Sciences Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Mathematical Problems in Engineering Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Journal of Algebra Hindawi Publishing Corporation http://www.hindawi.com Probability and Statistics Volume 2014 The Scientific World Journal Hindawi Publishing Corporation http://www.hindawi.com Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 International Journal of Differential Equations Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Volume 2014 Submit your manuscripts at http://www.hindawi.com International Journal of Advances in Combinatorics Hindawi Publishing Corporation http://www.hindawi.com Mathematical Physics Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Journal of Complex Analysis Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 International Journal of Mathematics and Mathematical Sciences Journal of Hindawi Publishing Corporation http://www.hindawi.com Stochastic Analysis Abstract and Applied Analysis Hindawi Publishing Corporation http://www.hindawi.com Hindawi Publishing Corporation http://www.hindawi.com International Journal of Mathematics Volume 2014 Volume 2014 Discrete Dynamics in Nature and Society Volume 2014 Volume 2014 Journal of Journal of Discrete Mathematics Journal of Volume 2014 Hindawi Publishing Corporation http://www.hindawi.com Applied Mathematics Journal of Function Spaces Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Optimization Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Hindawi Publishing Corporation http://www.hindawi.com Volume 2014