c-pure Projective and c-pure Injective R-Modules

Similar documents
Projective and Injective Modules

Ring Theory Problems. A σ

International Journal of Algebra, Vol. 4, 2010, no. 2, Atomic Modules. V. A. Hiremath 1

n-x -COHERENT RINGS Driss Bennis

COMMUNICATIONS IN ALGEBRA, 15(3), (1987) A NOTE ON PRIME IDEALS WHICH TEST INJECTIVITY. John A. Beachy and William D.

ALGEBRA EXERCISES, PhD EXAMINATION LEVEL

Universal Localization of Piecewise Noetherian Rings

ON sfp-injective AND sfp-flat MODULES

The Number of Homomorphic Images of an Abelian Group

Injective Modules and Matlis Duality

A generalization of modules with the property (P )

Piecewise Noetherian Rings

On Commutative FDF-Rings

RIGHT-LEFT SYMMETRY OF RIGHT NONSINGULAR RIGHT MAX-MIN CS PRIME RINGS

STATE OF THE ART OF THE OPEN PROBLEMS IN: MODULE THEORY. ENDOMORPHISM RINGS AND DIRECT SUM DECOMPOSITIONS IN SOME CLASSES OF MODULES

FLAT AND FP-INJEOTVITY

Two Generalizations of Lifting Modules

Semi co Hopfian and Semi Hopfian Modules

GENERALIZED MORPHIC RINGS AND THEIR APPLICATIONS. Haiyan Zhu and Nanqing Ding Department of Mathematics, Nanjing University, Nanjing, China

SUMS OF UNITS IN SELF-INJECTIVE RINGS

Graduate Preliminary Examination

Correct classes of modules

ADDITIVE GROUPS OF SELF-INJECTIVE RINGS

REGULAR AND SEMISIMPLE MODULES

APPLICATIONS OF KAPLANSKY-COHEN S THEOREM. Tran Van Dong, Nguyen Trong Bac and Nguyen Van Sanh

ON DIRECT SUMS OF BAER MODULES

Proceedings of the Twelfth Hudson Symposium, Lecture Notes in Math. No. 951, Springer-Verlag (1982), 4l 46.

INJECTIVE MODULES: PREPARATORY MATERIAL FOR THE SNOWBIRD SUMMER SCHOOL ON COMMUTATIVE ALGEBRA

COMPRESSIBLE MODULES. Abhay K. Singh Department of Applied Mathematics, Indian School of Mines Dhanbad India. Abstract

43 Projective modules

A Primer on Homological Algebra

Essential Extensions of a Direct Sum of Simple Modules

ON REGULARITY OF RINGS 1

A dissertation presented to. the faculty of. the College of Arts and Sciences of Ohio University. In partial fulfillment

STRONGLY JÓNSSON AND STRONGLY HS MODULES

REFLEXIVE MODULES OVER GORENSTEIN RINGS

CATEGORICAL GROTHENDIECK RINGS AND PICARD GROUPS. Contents. 1. The ring K(R) and the group Pic(R)

TENSOR PRODUCTS. (5) A (distributive) multiplication on an abelian group G is a Z-balanced map G G G.

On Universal Localization of Noetherian Rings

ABSORBING MULTIPLICATION MODULES OVER PULLBACK RINGS. S. Ebrahimi Atani and M. Sedghi Shanbeh Bazari

Ideals of Endomorphism rings 15 discrete valuation ring exists. We address this problem in x3 and obtain Baer's Theorem for vector spaces as a corolla

ON GENERALIZATIONS OF INJECTIVE MODULES. Burcu Nişancı Türkmen

38 Irreducibility criteria in rings of polynomials

ALGEBRA QUALIFYING EXAM SPRING 2012

n-x-injective Modules, Cotorsion Theories

Universal localization at semiprime Goldie ideals

REPRESENTATION ON QUASI PSEUDO GPW- INJECTIVE RINGS AND MODULES

ASSOCIATIEVE ALGEBRA. Eric Jespers. webstek: efjesper HOC: donderdag uur, F.5.207

Proper classes related with complements and supplements

Characterisation of Duo-Rings in Which Every Weakly Cohopfian Module is Finitely Cogenerated

REMARKS ON REFLEXIVE MODULES, COVERS, AND ENVELOPES

Le Van An, Nguyen Thi Hai Anh and Ngo Sy Tung. Abstract. In this paper, we give some results on (1 C 2 ) modules and 1 continuous modules.

SOME APPLICATIONS OF ZORN S LEMMA IN ALGEBRA

Lecture 2. (1) Every P L A (M) has a maximal element, (2) Every ascending chain of submodules stabilizes (ACC).

HILBERT FUNCTIONS. 1. Introduction

MATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA

Paul E. Bland and Patrick F. Smith (Received April 2002)

ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 2: HILBERT S NULLSTELLENSATZ.

RIGHT SELF-INJECTIVE RINGS IN WHICH EVERY ELEMENT IS A SUM OF TWO UNITS

ALGEBRA HW 4. M 0 is an exact sequence of R-modules, then M is Noetherian if and only if M and M are.

x y B =. v u Note that the determinant of B is xu + yv = 1. Thus B is invertible, with inverse u y v x On the other hand, d BA = va + ub 2

On Harada Rings and Serial Artinian Rings

International Mathematical Forum, Vol. 7, 2012, no. 56, Epiform Modules. Inaam M. A. Hadi

ON STRONGLY PRIME IDEALS AND STRONGLY ZERO-DIMENSIONAL RINGS. Christian Gottlieb

Extended Index. 89f depth (of a prime ideal) 121f Artin-Rees Lemma. 107f descending chain condition 74f Artinian module

FULLY IDEMPOTENT AND COIDEMPOTENT MODULES. Communicated by Siamak Yassemi. 1. Introduction

A NOTE ON SIMPLE DOMAINS OF GK DIMENSION TWO

Tensor Product of modules. MA499 Project II

Gorenstein Injective Modules

On Left Quasi Noetherian Rings

ON MAXIMAL RADICALS AND PRIME M-IDEALS

This article appeared in a journal published by Elsevier. The attached copy is furnished to the author for internal non-commercial research and

Algebra Exam Syllabus

Modules With Only Finitely Many Direct Sum Decompositions up to Isomorphism

A Generalization of Hopkins-Levitzki Theorem

FILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS.

(1) A frac = b : a, b A, b 0. We can define addition and multiplication of fractions as we normally would. a b + c d

INJECTIVE MODULES AND THE INJECTIVE HULL OF A MODULE, November 27, 2009

Neat Homomorphisms over Dedekind Domains

Communications in Algebra Publication details, including instructions for authors and subscription information:

Math 210B: Algebra, Homework 4

A SURVEY OF RINGS GENERATED BY UNITS

Rings and groups. Ya. Sysak

ALMOST PERFECT COMMUTATIVE RINGS

ON MAXIMAL TORSION RADICALS, II

List of topics for the preliminary exam in algebra

Algebra. Travis Dirle. December 4, 2016

Honors Algebra 4, MATH 371 Winter 2010 Assignment 4 Due Wednesday, February 17 at 08:35

Unimodular Elements and Projective Modules Abhishek Banerjee Indian Statistical Institute 203, B T Road Calcutta India

7 Rings with Semisimple Generators.

ZERO-DIMENSIONALITY AND SERRE RINGS. D. Karim

A Generalization of VNL-Rings and P P -Rings

On Dual Versions of Krull s Intersection Theorem

4.4 Noetherian Rings

DOUGLAS J. DAILEY AND THOMAS MARLEY

Algebra Homework, Edition 2 9 September 2010

A CHARACTERIZATION OF GORENSTEIN DEDEKIND DOMAINS. Tao Xiong

RELATIVE EXT GROUPS, RESOLUTIONS, AND SCHANUEL CLASSES

Relative Left Derived Functors of Tensor Product Functors. Junfu Wang and Zhaoyong Huang

MATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA 23

Transcription:

International Mathematical Forum, 5, 2010, no. 57, 2835-2842 c-pure Projective and c-pure Injective R-Modules V. A. Hiremath Department of Mathematics Mangalore University Mangalore-580003, India va hiremath@rediffmail.com Seema S. Gramopadhye 1 Government PU College Mundargi-582 118, India seemaalg@yahoo.com Abstract The notions of cyclic pure projectivity and cyclic pure injctivity are studied. It is shown that Baer s criterion for injectivity cannot be applied to cyclic pure injectivity. We have proved that in an integral domain R, if every torsion-free R-module is cyclic pure injective then R is a field. The notion of Quasi-cyclic-pure injectivity is introduced. Several non-trivial examples of Quasi-cyclic-pure injective modules are given. Mathematics Subject Classification: 16D40, 16D50 Keywords: Pure submodules, flat module 1.Introduction The notion of purity has an important role in module theory and in model theory. In model theory, the notion of pure exact sequence is more useful than split exact sequence. There are several variants of this notion. R.Wisbauer [7] 1 This work is based on author s doctoral dissertation and was supported by Karnatak University, Dharwad.

2836 V. A. Hiremath and S. S. Gramopadhye generalized the notion of purity for a class P of R-modules. He defines a short exact sequence 0 A B C 0ofR-modules to be P -pure, if every member of P is projective with respect to this sequence. Cohn s [2] purity is precisely P -purity for the class P of all finitely presented R-modules. Cohn s purity is simply called as purity. In [4] we have studied the notion of cyclic purity over general rings where P is the class of all cyclic R-modules. Here we introduce and study the notions of cyclic pure projectivity, cyclic pure injectivity and quasi cyclic pure injectivity. 2. Definitions and Notations In this paper, by a ring R we mean an associative ring with unity and by an R-module we mean a unitary right R-module. Consider a short exact sequence, ɛ :0 A B C 0ofR-modules. We call an R-module M to be ɛ-injective (resp. ɛ-projective) if M is injective (resp. projective) with respect to the short exact sequence ɛ. Definition 2.1: [4, Definition 1.1] An exact sequence ɛ :0 A B C 0ofR-modules is said to be cyclic pure(c-pure in short) if every cyclic R-module is ɛ-projective. Definition 2.2: An R-module M is said to be cyclic flat (in short c-flat), if every short exact sequence, ɛ :0 A B M 0ofR-modules is c-pure. Definition 2.3: An R-module M is said to be cyclic regular (in short c- regular), if every short exact sequence, ɛ :0 A M B 0ofR-modules is c-pure. 3. Cyclic Pure Projective R-modules Definition 3.1: An R-module M is said to be cyclic-pure projective (in short c-pure projective) if it is projective relative to every c-pure short exact sequence of R-modules. From the definition we have the following easy consequences. Proposition 3.2: Let R be any ring. Then i) Every projective R-module is c-pure projective. ii) Every cyclic R-module is c-pure projective. iii) A c-pure short exact sequence 0 A B C 0ofR-modules, where C is c-pure projective, splits. iv) Every direct summand of c-pure projective is c-pure projective. v) Every direct sum of c-pure projective is c-pure projective. Remark 3.3: A c-pure projective R-module need not be projective. Example: Consider the ring Z of integers. Now Z/2Z is cyclic as a Z-module and hence it is c-pure projective. But Z/2Z is not projective as a Z-module.

c-pure projective and c-pure injective R-modules 2837 Something more is true for commutative rings. Proposition 3.4: If P is a projective R-module over a commutative ring R, then P/PI is c-pure projective for every ideal I of R. Proof: Let P be a projective R-module and let I be an ideal of R and ɛ : 0 A f B g C 0beanyc-pure short exact sequence. Then we have the induced short exact sequence ɛ :0 Hom(R/I, A) f Hom(R/I, B) g Hom(R/I, C) 0 of R-modules. Since P is projective, the induced sequence, 0 Hom(P, Hom(R/I, A)) Hom(P, Hom(R/I, B)) Hom(P, Hom(R/I, C)) 0 of R-modules is exact. So, by the adjoint isomorphism, 0 Hom(P R/I, A) Hom(P R/I, B) Hom(P R/I, C) 0 is exact and hence the sequence, 0 Hom(P/PI,A) Hom(P/PI,B) Hom(P/PI,C) 0 is exact and hence P/PI is projective with respect to ɛ. So P/PI is c-pure projective. Proposition 3.5: Following conditions are equivalent for a ring R. i) R is semi-simple. ii) Every c-pure projective R-module is projective. Proof: (i) (ii) is obvious. (ii) (i) Let I be any right ideal of R. Then, R/I being cyclic, is c-pure projective and hence by hypothesis it is projective. So I is a direct summand of R. Hence every right ideal of R is a direct summand of R. Thus, R is semi-simple. Proposition 3.6: In a commutative integral domain R, a torsion-free R- module is c-pure projective if and only if it is projective. Proof: Follows from Remark C of [5]. Corollary 3.7: Let R be a commutative integral domain. Every R-module is c-pure projective if and only if R is a field. Proof: We need only to prove the necessary part. Consider the quotient field Q of R. By hypothesis it is c-pure projective. Being torsion free, by above proposition, Q is projective. Hence R is a field.

2838 V. A. Hiremath and S. S. Gramopadhye Now we recall the definition of Principal Projective ring. A ring R is said to be Principal Projective Ring (in short p.p.ring), if every principal ideal is projective. Proposition 3.8: In a semiprime, two sided Goldie and right p.p. ring R, a torsion-free R-module is c-pure projective if and only if it is projective. Proof: Follows from [4, Proposition 1.10]. Corollary 3.9: Let R be a prime, two sided Goldie and right p.p. ring. Every R-module is c-pure projective if and only if R is a simple, artinian ring. Proof: Follows from the proof of [4, Proposition 1.12]. Proposition 3.10: Over a right Noetherian ring R, every c-pure projective R-module is pure projective. Proof: The proof follows from the fact that over Noetherian ring, every pure short exact sequence is cyclic pure exact c.f. [5, Theorem 1.3]. Theorem 3.11: Every R-module M can be expressed as a homomorphic image of c-pure projective R-module. Further, if f : C M is an epimorphism from c-pure projective R-module C onto M then ker(f) is c-pure submodule of C. Proof: Follows from Lemma 8 of [5], and the fact that every cyclic R-module is c-pure projective. Fuchs [3] gives some properties for pure projective R-modules. The following results are the corresponding results for c-pure projective. Proposition 3.12: Let 0 = A 0 A 1... A n... be an ascending chain of submodules of A such that A = A n. If each A n is cyclic and c-pure in A then A is c-pure projective. Proof: For every n, A n+1 /A n is cyclic. Since, each A n is c-pure in A and since c-pure short exact sequences of R-modules forms proper class, it follos that for each positive integer n, A n is c-pure in A n+1. Hence the canonical short exact sequence ɛ :0 A n A n+1 A n+1 /A n 0 is c-pure. Since A n+1 /A n is cyclic, it is ɛ projective. Hence ɛ splits. Therefore, A n+1 = A n B n for some submodule B n of A n+1. Since A n+1 is c-pure projective, B n is also c-pure projective. We conclude by the arguement similar to Fuchs, A n+1 = n k=1 B k and hence A = k=1 B k. Hence A is c-pure projective. Proposition 3.13: If an R-module A is c-pure projective and c-flat then it is projective. Proof: Let A = F/K for some free module F and a submodule K of F. Since A is c-flat, the canonical short exact sequence, ɛ :0 K F A 0is c-pure. Since A is c-pure projective, ɛ splits. Hence A is projective.

c-pure projective and c-pure injective R-modules 2839 Proposition 3.14: If A = n ℵ A n is a c-flat R-module where 0 = A 0 A 1... A n... be an ascending chain of cyclic, c-pure submodules of A. Then A is projective. Proof: Follows from Proposition 3.12 and Proposition 3.13. Remark 3.15: A homomorphic image of a c-pure projective module need not be c-pure projective. Example: Let R = k[x, Y ] be a polynomial ring in two variables X, Y over a field k. Here the ideal (X, Y )ofr is torsion-free but not flat as an R-module [1, Chapter I, Exercise 2.3]. Let (X, Y )=F/K for some free R-module F and its submodule K. Then by [5, Remark C] the natural short exact sequence, ɛ :0 K F (X, Y ) 0 is c-pure. Being free, F is c-pure projective. If (X, Y ) is c-pure projective ɛ splits, which is impossible. sine (X, Y ) is not projective as an R-module, it is homomorphis image of the c-pure porjective R-module F. But (X, Y ) is not c-pure projective. Remark 3.16: A right ideal of R need not be c-pure projective. Example: In the above example (X, Y ) is an ideal, which is not c-pure projective. We recall the definition of right hereditary ring. Definition 3.17: A ring R is said to be right hereditary if every right ideal of R is projective. It is well known that commutative hereditaty domains are precisely Dedekind domains. In the following proposition, we generalise this. Proposition 3.18: Following conditions are equivalent for a commutative integral domain R. (i) Every ideal is c-pure projective. (ii) R is a Dedekind Domain. Proof: (i) (ii) Follows by Proposition 3.13. (ii) (i) Obvious. 4. Cyclic-Pure Injective R-modules Definition 4.1: An R-module M is cyclic-pure injective, if it is injective with respect to every c-pure exact sequence. In short, we call it as c-pure injective. Example: 1) Every injective R-module is c-pure injective. 2) In a Prufer domain, M = Hom(M, Q/Z) is c-pure injective. This follows by [5, Proposition 1.2] that over a Prufer domain every c-pure submodule of

2840 V. A. Hiremath and S. S. Gramopadhye an R-module is pure and hence pure injectives are c-pure injective and the fact that M is always pure injective. 3) Over a Noetherian ring R, purity implies c-purity and hence c-pure injective R-module is a pure injective R-module. 4) Over a Dedekind Domain R, the concepts of c-purity and purity are equivalent and hence c-pure injectivityand pure injectivity are equivalent. Remark 4.2: We have an example of pure injective Z-module M = Hom(M, Q/Z) where M = Z/2Z, which is not injective. Since Z is a Dedekind Domain, by example (2) above this is a c-pure injective module which is not injective, since M is not Z-flat. Following proposition is the easy consequence of the definition. Proposition 4.3: Following conditions are equivalent for an R-module M. i) M is c-pure injective. ii) Every c-pure exact sequence ɛ :0 M M M 0 splits. iii) If M is c-pure in an R-module N then M is a direct summand of N. We now prove a characterization for c-pure injective R-module. Proposition 4.4: An R-module X is c-pure injective if and only if X is injective with respect to every c-pure short exact sequence 0 A B C 0 with B c-pure projective. Proof: Only if: Follows from the definition of c-pure injective R-modules. If: Let X be an R-module satisfying the given hypothesis. Let ɛ 1 :0 A B C 0 be any c-pure exact sequence and let f Hom(A, X). For convenience we assume, A B, C = B/A and ɛ 1 is canonical. By Theorem 3.11, there exists a c-pure projective module P with a c-pure submodule S such that B = P/S. Then A = Q/S for some submodule Q of P containing S. Since the class of c-pure submodules forms a proper class [6], the short exact sequence, ɛ :0 Q P P/Q 0 is also c-pure. Now, f η Hom(Q, X) where η : Q Q/S is the canonical epimorphism. By hypothesis, there exists g Hom(P, X) such that g/q = f η. Nowifx S, g(x) =(f η)(x) =0. This implies, S ker(g). Hence g induces a map, h : B = P/S X such that, h(p + S) =g(p) for every p P. This prove that X is ɛ 1 -injective and hence c-pure injective. Definition 4.5: An R-module A is said to be M-c-pure injective if A is ɛ- injective, for every c-pure short exact sequence, ɛ :0 N M K 0of R-modules. Baer s criterion tells that an R-module is injective if and only if it is R- injective. The following remark tells that, this criterion cannot be applied to c-pure injective.

c-pure projective and c-pure injective R-modules 2841 Remark 4.6: If a right ideal I is c-pure in R then clearly I is a direct summand of R. Hence every R-module is R-c-pure injective. But every R-module need not be c-pure injective. Example: Consider the example given after Remark 3.12. By Remark 4.6, K is R-c-pure injective. If K is c-pure injective then ɛ splits. This implies (X, Y ) is projective, which is not possible. Proposition 4.7: Let R be a commutative integral domain. If every torsionfree R-module is c-pure injective then R is a field. Proof: Let M be a torsion-free R-module and let M = F/K for a free module F and submodule K of F. Then by [5, Remark C], the short exact sequence, ɛ :0 K F M 0 is c-pure. Being submodule of a torsion-free module, K is also torsion-free. Then by hypothesis, K is c-pure injective and hence ɛ splits. Hence M is projective. Thus we have proved that every torsion-free R-module is projective and hence Q the quotient field of R is projective. Now being Q projective, Hom(Q, R) 0. Let f 0 be an element of Hom(Q, R). Now, f(q) is a torsion-free divisible ideal of R. Since R is an integral domain f(q) will be injective and hence direct summand of R. Then f(q) =R, because an integral domain will not have proper direct summands. Hence R is divisible and hence R is a field. 5. Quasi c-pure injective R-modules Definition 5.1: An R-module M is said to be Quasi c-pure injective R-module (in short QCPI) if each homomorphism of any c-pure submodule N of M can be extended to an endomorphism of M. Examples 5.2: 1) Clearly every semi-simple R-module is a QCPI. 2) R as an R-module is QCPI. Proof: Let I be any c-pure submodule (right ideal) of R. Then the canonical short exact sequence, ɛ :0 I R R/I 0 is c-pure and hence it splits. So, R is ɛ-injective. Hence R as an R-module is QCPI. 3) Every cyclic R-module is QCPI. Proof: Let M be a cyclic R-module. Then M = R/I for some right ideal I of R. Let J/I be a c-pure submodule of R/I. Then the canonical short exact sequence, ɛ :0 J/I R/I R/J 0 is c-pure. Hence being cyclic, R/J is projective with respect to ɛ. Hence ɛ splits and R/I is injective with respect to ɛ. Hence M is QCPI. 4) Every c-pure injective R-module is QCPI. 5) Every quasi-injective R-module is QCPI.

2842 V. A. Hiremath and S. S. Gramopadhye Remark 5.3: 1) By 5.2(2) and from [5, Theorem 3], it is clear that over Noetherian ring R, R as an R-module is quasi-pure injective. 2) We know that, if M is a quasi-injective R-module and if S = End(M R ) and J = J(S), Jacobson radical of S, then S/J is von Neumann regular ring. But this is not true in case of QCPI. Example: Consider the ring of integers Z. Now Z Z is QCPI. But S = End(Z Z ) Z and J(Z) = 0. Then S/J(Z) Z which is not von Neumann regular. Proposition 5.4: Let M be a QCPI and c-regular R-module. If S = End(M R ) and J = J(S), Jacobson radical of S, then S/J is von Neumann regular ring. Proof: Since, M is c-regular then, ɛ :0 N M M/N 0 is c-pure for every submodule N of M. Hence being QCPI, M is injective with respect to ɛ. So, M is quasi-injective and therefore S/J is von Neumann regular ring. Corollary 5.5: Let M be a c-pure injective, c-regular R-module and if S = End(M R ) and J = J(S), Jacobson radical of S, then S/J is von Neumann regular ring. References: 1) Anderson.F.W. and Fuller.K.R., Rings and Categories of Modules, Springer- Verlag New York. Heidelberg. Berlin, (1991). 2) Cohn.P.M., On the free product of associative rings-i.math.z., 71(1959), 380-398. 3) Fuchs.L., Infinite Abelian Groups, Academic Press New York and London (1970). 4) Hiremath.V.A and Gramopadhye.S.S., Cyclic Pure Submodules, International Journal of Algebra, 3(2009), no.3, 125-135. 5) Simmons.J., Cyclic purity, a generalization of purity for modules, Houston J.Math.13, No.1 (1987), 135-150. 6) Stenstrom.B., Pure Submodules, Arkiv for Mat. 7(1967), 159-171. 7) Wisbauer.R., Foundations of Modules and Ring Theory, Gordon and Breach Science Publishers (1991). Received: April, 2010