Comparing pseudo-environmental and horizontal plus pseudo ...
PSEUDO-RC-INJECTIVE MODULES
description
Transcript of PSEUDO-RC-INJECTIVE MODULES
ISSN 2347-1921
2015 , 01 October 5189 | P a g e
PSEUDO-RC-INJECTIVE MODULES
Mehdi Sadiq Abbas, Mahdi SalehNayef
Department of Mathematics, College of Science, University of Al-Mustansiriyah, Baghdad, Iraq
Department of Mathematics,College of education, University of Al-Mustansiriyah, Baghdad,Iraq
ABSTRACT
The main purpose of this work is to introduce and study the concept of pseudo-rc-injective module which is a proper generalization of rc-injective and pseudo-injective modules. Numerous properties and characterizations have been obtained. Some known results on pseudo-injective and rc-injective modules generalized to pseudo-rc-injective. Rationally extending modules and semisimple modules have been characterized in terms of pseud-rc-injective modules. We explain the relationships of pseudo-rc-injective with some notions such as Co-Hopfian , directly finite modules.
Indexing terms/Keywords
Pseudo-injective modules; rc-injective modules; rc-quasi-injective; rationally closedsubmodules;pseudo-rc-injective modules; pseudo-c-injective modules; co-Hopfian module.
Academic Discipline And Sub-Disciplines
Mathematic: algebra.
SUBJECT CLASSIFICATION
16D50, 16D70
Council for Innovative Research
Peer Review Research Publishing System
1) Journal: JOURNAL OF ADVANCES IN MATHEMATICS Vol .11, No.4
www.cirjam.com , [email protected]
ISSN 2347-1921
2015 , 01 October 5190 | P a g e
1 INTRODUCTION
Throughout, π represent an associative ring with identity and all R-modules are unitary right modules.
Let π and π be two R-modules, π is called pseudo βπ- injective if for every submodule π΄of π, any R-
monomorphismπ: π΄ β π can be extended to an R-homomorphism πΌ: π β π. An R-module π is called pseudoβinjective, if
it is pseudo N-injective. A ring R is said to be pseudo-injective ring, if π π is pseudo-injective module (see [5] and [14]).
A submoduleπΎ of an π -module π is called rationally closed in π (denoted by K β€ππ π) if π has no proper rational
extension in π [1]. Clearly, every closed submodule is rationally closed submodule (and hence every direct summand is rationally closed), but the converse may not be true (see [1],[6],[9]).
M. S. Abbas and M. S. Nayef in [3] introduce the concept of rc-injectivity. Let π1 and π2 be π -modules. Thenπ2 is called
π1-ππ-injective if every π -homomorphismπ: π» β π2, where π» is rationally closed submodule of π1, can be extended to an
π -homomorphism π: π1 β π2. An π -module π is calledππ-injective, if π is π- ππ-injective, for every π -module π. An π -module π is calledππβquasi-injective or self- ππ βinjective, if π is π-ππ-injective.
In [15], an π - module π is called pseudoβπ-c-injective if for any monomorphism from a closed submodule of π to π can
be extended to homomorphism from π in to π. An R-module M is called rationally extending (or RCS-module), if each submodule of M is rational in a direct summand. This is equivalent to saying that every rationally closed submodule of M is direct summand. It is clear that every rationally extending R-module is extending [1]. An π -module π is said to be Hopfian
(Co-Hopfian), if every surjective (injective) endomorphism π βΆ π β π is an automorphism [16]. An π - module π is called
directly finite if it is not isomorphic to a proper direct summand of π [10]. An R-module M is said to be monoform, if each submodule of M is rational [17].
2Pseudo-rc-injectiveModules
We start with the following definition
Definition2.1Let π and π be two π -modules .Then π is pseudo π-rationally closed-injective ( briefly pseudo π-rc-
injective ) if for every rationally closed submodule π» of π , any π -monomorphism π: π» β π can be extended to an π β
homomorphism π½: π β π . An π - module π is called pseudo-rc-injective, if π is pseudo π-rc-injective. π΄ringπ is called self
pseudo- rc-injective if it is a pseudo-π π βrc-injective.
Remarks 2.2(1)Every pseudo-injective module is rc-pseudo- injective. The converse may not be true in general, as
following example let π= π ππ π- module. Then, clearly π is rc- pseudo-injective, but Z is not pseudo-injective module.
This shows that pseudo-rc-injective modules are a proper generalization of pseudo-injective.
(2) Clearly every rc-injective is pseudo-rc-injective. The converse may not be true in general. For example, [7, lemma 2], let M be an R-module whose lattice of submodules is
N1
0 N1 β N2M
N2
Where π1 is not isomorphic to π2, and the endomorphism rings of Ni are isomorphic to π/2π where i=1,2. S. Jain and S.
Singh in [7] are show that, π is pseudo-injective (and hence by (1), π is pseudo-rc-injective) which is not rc-quasi-
injective, since π1 β π2 is rationally closed submodule of π and the natural projection of π1 β π2onto ππ(i=1,2) can not
be extended to an π -endomorphism of π,[7]. Therefore, M is not rc-injective module. This shows that pseud-rc-injective
modules are a proper generalization of rc-injective modules.
(3) Obviously, every pseudo- π-rc-injective is pseudo π-c-injective. The converse is not true in general. For example,
consider the two π- module π = π/9π and π = π/3π it is clear that π is pseudo π-π- injective but π is not pseudo - π-
rc- injective. This shows that pseud-rc-injective modules are stronger than of rc-injective modules.
Proof: Let π» =< 3 > , clearly π» is rationally closed submodule of π, and define πΌ: π» β π by πΌ 0 = 0 , πΌ 3 = 1 ,
πΌ 6 = 2 . Obvious, πΌ is π- monomorphism. Now , suppose that π is pseudo π βrc-injective then there is π½: π β π and
π½ 1 = π for some π β π .Hence π½ 3 = 3π½ 1 = 3π and hence 3π = π½ 3 = πΌ 3 = 1 , implies 3π = 1 , a contradiction,
this shows that , π is not pseudo πβrc-injective. β‘
(4) For a non-singular π - module M. If π is pseudo πβc-injective then π is pseudo πβrc-injective.
(5) Every monoformπ -module is pseudoβrc-injective.
(6) An R-isomorphic module to pseudo-rc-injective is pseudo-rc- injective.
So, by above we obtain the following implications for modules.
Injective βΉ quasi-injectiveβΉpseudo-injectiveβΉ pseudo-rc-injective βΉ pseudo-c-injective.
Rc-injectiveβΉ rc-quasi-injective βΉ pseudo-rc-injectiveβΉ pseudo-c-injective.
In the following result we show that, for a uniform R-module the concepts of the rc-injective modules and pseudo-
rc-injective are equivalents.
ISSN 2347-1921
2015 , 01 October 5191 | P a g e
Theorem 2.3 Let π be uniform π - module. πis a rc-injective if and only if π is a pseudo-rc-injective module.
Proof:(βΉ) Obviously.
(βΈ) Suppose that π is a pseudo-rc- injective, let πΎ be rationally closed submodule of π and πΌ βΆ πΎ β π be π -
homomorphism. Since π is uniform module, either πΌ or πΌπΎ β πΌ is a π -monomorphism. First, if πΌ is π -monomorphism, then
by pseudo-rcβinjectivity of π, there exists π -homomorphism π βΆ π β π such that π β ππΎ = πΌ .Finally, if πΌπΎ β πΌ is π -
monomorphism, then by pseudo-rc-injectivity of π, there exists π βΆ π β π such that π β ππΎ = πΌπΎ β πΌ hence πΌπΎ β π = πΌ. Therefor π is rcβ injective. β‘
Proposition 2.4 Let π1 and π2 be two π -modules and π = π1 β π2.Then π2 is pseudo π1-ππ-injective if and only if for
every (rationally closed) submodule π΄ of π such that π΄ β© π2 = 0 and π1(π΄) rationally closed submodule of π1 (where π1 is
a projection map from π onto π1 ), there exists a submodule π΄β² of π such that π΄ β€ π΄β² and π = π΄β² β π2.
Proof: Similar to proving [3, proposition (2.3)]. β‘
Some general properties of pseudo- ππ-injectivity are given in the following results.
Proposition 2.5Let πand ππ(π β πΌ) be π -modules. Then πππβπΌ is pseudo π- ππ-injective if and only if ππ is pseudo π-
ππ-injective, for every π β πΌ.
Proof: Follows from the definition and injections and projections associated with the direct product. β‘
The following corollary is immediately from proposition (2.5).
Corollary 2.6Let π and ππ be π - modules where π β πΌ and πΌ is finite index set, if β¨π=1π ππ is pseudo π-rc-injective, βπ β πΌ
, thenππ is pseudo- π-rc-injective. In particular every direct summand of pseudo-rc-injective R-module is pseudo-rc-
injective. β‘
Proposition 2.7 Let π and π be π -modules. If π is pseudo π-ππ- injective, then π is pseudo π΄-ππ- injective for every
rationally closed submoduleπ΄ of π .
Proof: Let π΄ β€ππ π and let πΎ β€ππ π΄ , π: πΎ β π be π -monomorphism. Then, by [2, Lemma (3.2)] we obtain, (πΎ β€ππ π ,
hence by pseudo π-ππ- injectivity of π, there exists a π -homomorphism π: π β π such that π β ππ΄ β ππΎ = π where ππΎ : πΎ β π΄
and ππ΄: π΄ β π are inclusion maps. Let π = π β ππ΄. Clearly, π is π -homomorphism, and π = π β ππ = π β ππ΄ β ππ = πThen π
is extends π.Therefore, π is π΄-ππ- injective. β‘
In [15] was proved the following: Suppose that R is a commutative domain. Let π be a non-zero non-unit element of π . The
right R-module π β¨(π /π₯π ) is not pseudo-π-injective. From this result and remark (2.2)(3), we conclude the following
proposition for pseudo-rc-injective modules.
Proposition 2.8 For a commutative domain π . Let π₯ be a non-zero non-unit element of π . The π -module π β¨(π /π₯π ) is
not pseudo ππ- injective. β‘
Now, we investigate more properties of pseudo rc-injectivity.
The π -moduleπ1and π2 are relatively (mutually) pseudo-rc- injective if ππ is pseudo ππ -rc β injective for every π, π β 1,2 , π β π.
The following result is generalization of [5, Theorem (2.2)].
Theorem 2.9Ifπβ¨π is a pseudo-rc-injective module, then π and π are mutually rc-injective.
Proof: Suppose thatπβ¨π is a pseudo-rc-injective module. Let π΅ be a rationally closed submodule of π and πΌ: π΅ β π be an
π -homomorphism. Define π: π΅ β π β¨π by π π = (πΌ π , π) for all,π β π΅, it is clear that π is an π -monomorphism, . Since π
is isomorphic to a direct summand ofπβ¨π, then (by remark (2.2)(3)) and proposition(2.7), we have πβ¨π is pseudo-rc πβ
injective, thus, there exists an π -homomorphism π: π β πβ¨π such that π = π β ππ΅ where ππ΅: π΅ β πbe the inclusion map. Let
π1 = π β¨π β π be natural projection of π β¨π onto M. We have π1 β π = π1 β π β ππ΅ and hence πΌ = π1 β π β ππ΅, thus π1 βπ: π β π is π -homomorphism extending πΌ. This show that π is π-rc-injective. As same way we can prove that π is π-rc-
injective. β‘
Corollary 2.10 If β¨πβπΌ ππ is a pseudo -rc β injective, thenππ is a ππ -rc-injective for all distinct π, π β πΌ . β‘
Corollary 2.11 For any positive integer n β₯ 2 , if ππ is pseudo rc- injective , then π is rc-quasiβinjective. β‘
The following example shows that the direct sum of two pseudo-rc-injective is not pseudo-rc-injective in general. For a prim p, letπ1 = πand π2 = π/ππ , be a right π-modules .Sinceπ1, and π2 are monoform then,π1, and π2 are pseudo-rcβ
injective. But, by proposition (2.8), we have π1β¨π2 is not pseudo-rc -injective module.
Now, we consider the sufficient condition for a direct sum of two pseudo- rc- injective modules to be pseudo βrc- injective.
ISSN 2347-1921
2015 , 01 October 5192 | P a g e
Theorem 2.12 The direct sum of any two pseudoβrc-injective modules is pseudo-rc- injective if and only if every
pseudo βrc- injective module is injective.
Proof:Let π be a pseudo-rc-injective module, and πΈ(π) its injective hull of π. By hypothesis, we have π β πΈ(π) is
pseudo-rc-injective. Let ππ : π β π β πΈ(π) be a natural injective map then there exists an R-homomorphism πΌ: π βπΈ(π) β π β πΈ(π) such that ππ = πΌ β ππΈ β π , where π: π β πΈ(π) is inclusion map and ππΈ : πΈ(π) β π β πΈ(π) is injective
map. Thus, πΌπ = ππ β ππ = ππ β πΌ β ππΈ β π, where πΌπ is the identity of π and ππ is a projection map from π β πΈ(π) onto π.
Therefore πΌπ = π β π , where π = ππ β πΌ β ππΈ. Thus by [8, Corollary (3.4.10)],we obtain πΈ π = π β ππππ. Since π β©ππππ = 0 and π β€π πΈ(π) lead to ππππ = 0 and hence π = πΈ(π). This shows that M is injective module. The other
direction is obvious. β‘
Recall that anπ -module π is a multiplication if, each submodule of π has the form πΌπ for some ideal πΌof π [9].
Proposition 2.13 Every rationally closed submodule of multiplication pseudo-rc-injective π -module is pseudo-rc-
injective.
Proof:Let π΄ be a rationally closed submodule of a rationally closed submodule π» of π and let π: π΄ β π» be an π -
monomorphism. Since π» is a rationally closed of M. It follows that by [2, Lemma (3.2), π΄ is also a rationally closed
submodule of M. Since π is pseudo-rc-injective, then there exist an π -homomorphism π: π β π that extends π . Since
M is multiplication module, we have π» = ππΌ for some ideal I of π . Thus π|π» = π π» = π ππΌ = π π πΌ β€ ππΌ = π» . This
show that π» is pseudo-rc-injective. β‘
In the following part we give characterizations of known R-modules in terms of pseudo-rc-injectivity.
We start with the following results which are given a characterization of rationally extending modules. Firstly, the following lemma is needed.
Lemma 2.14 Let π΄ be rationally closed submodule of R-module π. If π΄ is pseudo π-rc-injective, then π΄ is a direct
summand of π. β‘
Proof: Since A is a pseudo M-rc-injective R-module, there exists an R-homomorphism π: π β π΄. That extends The identity
πΌ: π΄ β π΄. Hence by [8, Corollary (3.4.10), π = π΄ β ππππ, so that π΄ is a direct summand of π.
Proposition 2.15 An π -module π is rationally extending if and only if every π -module is pseudo π- ππβinjective.
Proof:(βΉ). It is similarly to prove [3, proposition (2.4).
(βΈ). Follow from lemma (2.14). β‘
Note that, by proposition (2.15), every rationally extending π -module is pseudo-rc-injective. But the converse is not true in
general. As in the following example: consider the π-module π = π/π2π where π is prime number. It is clear that, π is pseudo-ππ-injective (in fact, π is rc-injective). Obviously, π΄ =< π > is rationally closed submodule of π but π΄ is not
direct summand of π . Thus π is not rationally extending.
Theorem 2.16 For an π -module π, the following statements are equivalent:
(1) π is rationally extending;
(2) Every R-module is an π-rc-injective;
(3) Every R-module is pseudo π-rc-injective;
(4) Every rationally closed submodule of π is an π-rc-injective;
(5) Every rationally closed submodule of π is a pseudo π-rc-injective.
Proof:(1) βΊ (2) Follows from [3, proposition (2. 4).
2 βΉ 4 . Clear.
4 βΉ 1 . It is follows from lemma (2.14).
Now, 1 βΉ 3 . It is follows from proposition (2.15).
3 βΉ 5 . It is obvious.
5 βΉ 1 . It is follows from lemma (2.14). β‘
An π - module π is directly finite if and only if π β π = πΌπ implies that π β π = πΌπ for all π, π β πΈππ (π) [10, proposition
(1.25)]. The π-module π is directly finite, but it is not co-Hopfian. In the following proposition we show that the co-Hopfian
and directly finite R-modules are equivalent under pseudo-rc-injective property.
Proposition 2.17A pseudo-rc-injective π -module π is directly finite if and only if it is coβHopfian.
Proof: Let π be an injective map belong to πΈππ (π) and I is identity R-homomorpism from πto π. By pseudo-rc-injectivity
of π, there exists an R-homomorphism π½: π β π such that π½ β π = πΌπ . Since π is directly finite, we have π β π½ = πΌπ which
is shows that π is an R-automorphism. Therefore, π is co-Hopfian. The other direction it is clear. β‘
ISSN 2347-1921
2015 , 01 October 5193 | P a g e
The following corollary is immediately from proposition (2.17).
Corollary 2.18An rc-injective π -module π is directly finite if and only if it is CoβHopfian. β‘
Since every indecomposable module is directly finite then by proposition (2.17), we obtain the following corollary.
Corollary 2.19 If π is an indecomposable pseudo-rc-injective module then π is a Co-Hopfian. β‘
In [33] was proved that every HopfianR-module is directly finite. Thus the following result follows from proposition (2.17).
Corollary 2.20 If π is a pseudo-rc-injective and Hopfian π - module .Then π is a Co-Hopfian. β‘
For any an R-module M we consider the following definition.
Definition 2.21 An R-module M said to be complete rationally closed module (briefly CRC module), if each submodule
of M is a rationally closed. It is clear that every semisimple module isCRC module, but the converse is not true in general.
For example π4 as Z-module is CRC module, but not semisimple since < 2 > is not direct summand of π4.
An π -module π is said to be satisfies (C2)-condition, if for each submodule of π which is isomorphic to a direct summand
of π, then it is a direct summand of π[10].Recall that an R-module M is said to satisfy the generalized C2-condition (or
GC2) if, any π β€ πand π β π, N is a summand of M [18].
The following result is a generalization of [5, Theorem (2.6)]
Proposition 2.22Every pseudo-rc-injective CRC module satisfies C2 (and hence GC2).
Proof: Let π be a pseudo-rc- injective CRC module, let π» β€ π and πΎ β€ π such that π» is isomorphic to πΎwith π» β€π π.
Since π is a pseudo-rc- injective then by corollary(2.6), we obtain π» is a pseudo- π-rc- injective. But π» β πΎ thus, by
remark (2.2)(9), πΎ is a pseudo π-rc-injective. By assumption, we have K is rationally closed sub module of M. Thus, by
Lemma (2.14), we get πΎ β€π π .Hence π satisfiesC2. The last fact follows easily. β‘
Although the Z-module π = π is a pseudo-rc-injective, but it is not satisfies C2, since there is a submoduleπ» = ππ
(where (π β₯ 2)) of which is isomorphic to π but it is not a direct summand in π. This shows that the CRC property of the
module in proposition (2.22) cannot be dropped.
In [4], an R-module π is called direct-injective, if given any direct summand πΎof π, an injection map ππΎ : πΎ β π and every
R-monomorphism πΌ: πΎ β π, there is an R-endomorphism π½ of π such that π½πΌ = ππΎ .
In [11, Theorem (7.13)], it was proved that, an R-module π is a direct-injective if and only if π is satisfies (C2)-condition.
Thus by proposition (2.22) we can conclude the following result.
Proposition 2.23 Every pseudo-rc-injective CRC module is direct-injective. β‘
In [13, p.32], recall that a right π -module π is called divisible, if for each π β π and for each π β π which is not left zero-
divisor, there exist πβ² β π such that π = πβ²π. In [4] was proved that every direct-injective π -module is divisible. Thus we
have the following corollary which follows from proposition (2.23).
Corollary 2.24Every pseudo-rc-injective CRC module is divisible.
Recall that an π -module M is self-similar if, every submodule of π is isomorphic to π [12].The π-module π is both self-
similar and pseudo-rc-injective module but it is not semisimple and CRC module.Also, π4 as π-module is pseudo-rc-
injective CRC module but it is not self-similar module.Note that from above examples the concepts CRC-modules and self-similar modules are completely different.
In the following result we show that the pseudo-rc-injective and semisimple π -modules are equivalent under self-similar
CRC modules.
Theorem 2.25Let π is a self-similar CRC module. Then the following statements are equivalent:
(i) π is semisimple module;
(ii) πis pseudo-rc-injective.
Proof: (i) βΉ(ii). Clear.
(ii)βΉ(i). Let K be any submodule of M, then by self-similarity of M, we have K is isomorphic to M. Since M is pseudo-rc-injective CRC module thus, by proposition (2.22), M satisfy GC2-condition. So, K is a direct summand of M.
therefore, π is semisimple module. β‘
REFERENCES
[1]. Abbas, M. S. and Ahmed, M. A. (2011), Rationally Extending and Strongly Quasi-Monoform Modules, Al-Mustansiriya J. Sci. Vol. 22, No 3,pp. 31-38.
ISSN 2347-1921
2015 , 01 October 5194 | P a g e
[2]. Mehdi S. Abbas and Mahdi S. Nayef, (2015), RATIONALLY INJECTIVE MODULES, Journal of Advances in Mathematics Vol.10, No.5, 3479-3485.
[3]. Mehdi S. Abbas and Mahdi S. Nayef, (2015), M-RC-Injective and RC-Quasi-injective Modules, International J. of Math. Sci. Vol.35, Issue. 2,1772-1779.
[4]. Chang-woo Han and Su-JeongChol, (1995), Generalizations of the quasi-injective modules, Comm. Korean Math. Soc. No.4, 10, 811-813.
[5]. Dinh, H. Q. (2005), A note on Pseudo-injective modules, comm. Algebra, 33, 361-369.
[6]. Goodearl, K. R. (1976), Ring Theory, Nonsingular Rings and Modules, Marcel Dekker. Inc. New York.
[7]. Jain, S. K. and Singh, S. (1975), Quasi-injective and Pseudo-injective modules. Canad. Math.Bull.18, 359-366.
[8]. Kasch, F., (1982), Modules and Rings, Academic Press Inc. London (English Translation).
[9]. Lam,T. Y., (1999), Lectures on Modules and Rings. GTN 189, Springer Verlag, New York.
[10]. Mohamed, S. H. and Muller, B. J. (1990), Continuous and Discrete modules, London Math.Soc. Lecture note Series 14, Cambridge Univ. Press.
[11]. Nicholson,W. K. andYousif,M. F. (2003), Quasi-Frobenius Rings, Cambridge Univ. Press.
[12]. Rodrigues,V. S. Sant'Ana, A. A. (2009), A not on a problem due to Zelmanowitz, Algebra and Discrete Mathematics, No.3, 85-93.
[13]. Sharpe, N. D. W. andVamos, P. (1972), Injective Modules, Cambridge Univ. Press.
[14]. Singh, S. and Jain,S. K. (1967), On pseudo-injective modules and self pseudo-injective rings, J. Math. Sci. 2, 23-31.
[15]. T. Sitthiwirattham, S. Bauprasist and S. Asawasamirt, (2012), On Generalizations of Pseudo-injectivity, Int. Journal of Math. Analysis, Vol. 6, no. 12, 555-562.
[16]. Varadarajan,K. (1992), Hopfian and Co-Hopfian objects. publicacionsMathematiques, Vol. 36, 293-317.
[17]. Zelmanowits,J. M. (1986), Representation of rings with faithful polyform modules, Comm. Algebra, 14(6),1141-1169.
[18]. Zhou, Y. (2002),Rings in which certain right ideals are direct summands of annihilators,J. Aust. Math. Soc. 73, 335-346.