On Commutative FDF-Rings

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

Subring of a SCS-Ring

Projective and Injective Modules

On Commutative SCI-Rings and. Commutative SCS-Rings

Semi co Hopfian and Semi Hopfian Modules

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

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

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

Two Generalizations of Lifting Modules

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

Piecewise Noetherian Rings

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

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

Structure Theorem for Semisimple Rings: Wedderburn-Artin

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

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

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

Primal, completely irreducible, and primary meet decompositions in modules

Universal Localization of Piecewise Noetherian Rings

Injective Modules and Matlis Duality

ON REGULARITY OF RINGS 1

RINGS WITH RESTRICTED MINIMUM CONDITION

REGULAR AND SEMISIMPLE MODULES

ON MAXIMAL TORSION RADICALS, II

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

On Generalizations of Pseudo-Injectivity

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

SUMS OF UNITS IN SELF-INJECTIVE RINGS

INJECTIVE COGENERATOR RINGS AND A THEOREM OF TACHIKAWA1

On Unit-Central Rings

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

ALGEBRA EXERCISES, PhD EXAMINATION LEVEL

THE JACOBSON RADICAL OF THE ENDOMORPHISM RING, THE JACOBSON RADICAL, AND THE SOCLE OF AN ENDO-FLAT MODULE. Soon-Sook Bae

Essential Extensions of a Direct Sum of Simple Modules

REMARKS ON REFLEXIVE MODULES, COVERS, AND ENVELOPES

Department of Mathematics Quchan University of Advanced Technology Quchan Iran s:

REPRESENTATION ON QUASI PSEUDO GPW- INJECTIVE RINGS AND MODULES

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

Hong Kee Kim, Nam Kyun Kim, and Yang Lee

A generalization of modules with the property (P )

NOTES ON LINEAR ALGEBRA OVER INTEGRAL DOMAINS. Contents. 1. Introduction 1 2. Rank and basis 1 3. The set of linear maps 4. 1.

Chan Huh, Sung Hee Jang, Chol On Kim, and Yang Lee

Small-Essential Submodules and Morita Duality

TRIVIAL MAXIMAL 1-ORTHOGONAL SUBCATEGORIES FOR AUSLANDER 1-GORENSTEIN ALGEBRAS

On Dual Versions of Krull s Intersection Theorem

On Left Quasi Noetherian Rings

COURSE SUMMARY FOR MATH 504, FALL QUARTER : MODERN ALGEBRA

ON MAXIMAL RADICALS AND PRIME M-IDEALS

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

Correct classes of modules

DOUGLAS J. DAILEY AND THOMAS MARLEY

TRIVIAL EXTENSION OF A RING WITH BALANCED CONDITION

n-x -COHERENT RINGS Driss Bennis

On Harada Rings and Serial Artinian Rings

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

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.

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

EXTENSIONS OF SIMPLE MODULES AND THE CONVERSE OF SCHUR S LEMMA arxiv: v2 [math.ra] 13 May 2009

arxiv: v1 [math.ra] 5 May 2014 Automorphism-invariant modules

Strong Lifting Splits

4.1. Paths. For definitions see section 2.1 (In particular: path; head, tail, length of a path; concatenation;

On Pseudo-P-Injectivity

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

Weakly distributive modules. Applications to supplement submodules

On Universal Localization of Noetherian Rings

NON-SELF-INJECTIVE INJECTIVE HULLS WITH COMPATIBLE MULTIPLICATION. To Carl Faith on his eightieth birthday.

ON sfp-injective AND sfp-flat MODULES

Strongly Nil -Clean Rings

Dedicated to Helmut Lenzing for his 60th birthday

FILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS.

On the vanishing of Tor of the absolute integral closure

A Generalization of VNL-Rings and P P -Rings

MATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA

arxiv: v1 [math.ac] 10 Oct 2014

ON SPLIT-BY-NILPOTENT EXTENSIONS

Ring Theory Problems. A σ

RINGS IN WHICH EVERY ZERO DIVISOR IS THE SUM OR DIFFERENCE OF A NILPOTENT ELEMENT AND AN IDEMPOTENT

NOTES ON SPLITTING FIELDS

Morita Equivalence. Eamon Quinlan

ALGEBRA QUALIFYING EXAM SPRING 2012

ADDITIVE GROUPS OF SELF-INJECTIVE RINGS

LIVIA HUMMEL AND THOMAS MARLEY

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

STRONGLY JÓNSSON AND STRONGLY HS MODULES

Modules With Only Finitely Many Direct Sum Decompositions up to Isomorphism

P-Ideals and PMP-Ideals in Commutative Rings

r-clean RINGS NAHID ASHRAFI and EBRAHIM NASIBI Communicated by the former editorial board

Universal localization at semiprime Goldie ideals

Partial orders related to the Hom-order and degenerations.

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

f-clean RINGS AND RINGS HAVING MANY FULL ELEMENTS

Algebra Homework, Edition 2 9 September 2010

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 Monoids over which All Strongly Flat Right S-Acts Are Regular

1. Regular Modules Keivan Mohajer and Siamak Yassemi Let M be an R{module. The support of M is denoted by Supp(M) and it is dened by Supp(M) = fp 2 Sp

A NOTE ON ALMOST INJECTIVE MODULES

ON SEMIPRIMARY SELFINJECTIVE RINGS AND FAITH S QF CONJECTURE

A Generalization of Hopkins-Levitzki Theorem

Small Principally Quasi-injective Modules

A CHARACTERIZATION OF TORSIONFREE MODULES OVER RINGS OF QUOTIENTS

Transcription:

International Mathematical Forum, Vol. 6, 2011, no. 53, 2637-2644 On Commutative FDF-Rings Mamadou Barry and Papa Cheikhou Diop Département de Mathématiques et Informatique Faculté des Sciences et Techniques Université Cheikh Anta Diop de Dakar - Sénégal mansabadion1@hotmail.com cheikpapa@yahoo.fr Abstract Let R be a commutative ring with non-zero identity and M be a unital R- module. Then M is called Dedekind finite if whenever N is a submodule of M such that M is isomorphic to the module M N, then N = 0. The ring R is called FDF-ring if any Dedekind finite R-module is finitely generated. In this note, we show that a commutative ring R is an FDF-ring if and only if it is an Artinian principal ideal ring. Mathematics Subject Classifications: 13E10, 13C05, 16D10, 16D25 Keywords: FDF-ring, Artinian principal ideal ring, finitely generated module, Dedekind finite module INTRODUCTION Let R be a commutative ring with non-zero identity and M be a unital R- module. Then a submodule L of M is called essential if L N 0 for every non-zero submodule N of M. M has finite uniform dimension if it does not contain a direct sum of an infinite number of non-zero submodules. M is called co-hopfian if any injective endomorphism of M is an isomorphism. M

2638 Mamadou Barry and Papa Cheikhou Diop is called weakly co-hopfian if any injective endomorphism of M is essential. M is called Dedekind finite if whenever N is a submodule of M such that M is isomorphic to the module M N, then N = 0. The ring R is called FDF-ring if any Dedekind finite R-module is finitely generated. In this paper, we show that for a commutative ring R, the following conditions are equivalent : (1) R is an FDF-ring. (2) R is an Artinian principal ideal ring. Throughout all rings are associative commutative with non-zero identity and all modules are unital module. We denote by J(R) the Jacobson radical of R. For an R-module M, Soc(M) and E(M) are the socle and the injective envelop of M, respectively.definitions and notations used in this paper can be found in [1] and [8]. 1 Some Properties of Commutative FDF-rings Let R be a commutative ring and M be an R-module. Then M is called Dedekind finite if whenever N is a submodule of M such that M is isomorphic to the module M N, then N = 0. Note that the R-module M is Dedekind finite if and only, if for any endomorphisms f and g of M such that g f = Id M, we have f g = Id M, where Id M denotes the identity homomorphism of M. The ring R is called FDF- ring if any Dedekind finite R-module is finitely generated. Lemma 1.1. For an R-module M, consider the following statements: (1) M is co-hopfian. (2) M is weakly co-hopfian. (3) M is Dedekind finite. Then (1) (2) (3). IfM is quasi-injective all three statements are equivalent. Proof. It results from [7, Proposition 1.4 ]. Remark 1.2. In general for a commutative ring R, it may exist a Dedekind finite R-module which is not finitely generated:

On commutative FDF-rings 2639 (1) The Z - module Z(p ) is Artinian thus Dedekind finite but Z(p ) is not a finitely generated Z-module. (2) The Z-module Q is Dedekind finite, however, Q is not a finitely generated Z-module. Proposition 1.3. Let R be a commutative FDF-ring. If R is an integral domain, then R is a field. Proof. Let S be the set of regular elements of R and K = RS 1 be the quotient field of R. Then the R-module K is Dedekind finite. It follows that K is finitely generated and so that K = R. Remark 1.4.. (1) Any homomorphism image of a commutative FDF-ring is an FDF-ring. (2) Direct Product of rings R i (1 i n) is an FDF-ring if and only if so is each R i for (1 i n). Lemma 1.5. Let an R-module M = M 1 M 2 be a direct sum of submodules M 1 and M 2. Then M 1 is a fully invariant submodule of M if and only if Hom R (M 1 ; M 2 )=0. Proof. It results from [2, Lemma 1.7]. Lemma 1.6.. Let P 1 and P 2 be two primes ideal of R. IfP 1 P 2, then Hom R (R/P 1 ; R/P 2 )= 0. Proof. Let f Hom R (R/P 1,R/P 2 ). We have f(1 + P 1 )=t + P 2,orf(1) = t, for some t R. For all x R, we have f(x) =xf(1) = xt = xt, orf(x+p 1 )= xt+p 2. Since f is an R-homomorphism, we have f(0) = 0, i.e f(p 1 ) P 2. So, let x P 1 and x/ P 2. We have f(x) =0, thus xt + P 2 = P 2. Hence xt P 2 and x/ P 2 imply that t P 2,orf(x + P 1 )=0. Proposition 1.7.. Let M be an R-module. Then the following assertions are verified : (1) If M is Dedekind finite, then so is any direct summand of M. (2) If M = M i such that each M i is a fully invariant submodule of M, i I then M is Dedekind finite if and only if so is each M i for i I.

2640 Mamadou Barry and Papa Cheikhou Diop Proof. It results from [5, Proposition 3.2]. Proposition 1.8. Let R be a commutative FDF-ring. Then every prime ideal of R is maximal. Moreover, the set of all prime ideals of R is finite. Proof. Let P a prime ideal of R, then R/P is a commutative integral domain. Since R/P is a homomorphism image of the commutative FDF-ring R, R/P is a FDF-ring. It follows that R/P is a field and P is maximal. Let now L be the set of all prime ideals of R and M = R/P. P L For any P L, R/P is a simple R-module, furthermore if P and P L with P P, then by Lemma 1.6, Hom R (R/P ; R/P ) = 0, hence R/P is a fully invariant submodule of M. Then, by Proposition 1.7, the R-module M = R/P is Dedekind finite so M is finitely generated and hence the set P L L is finite. Corollary 1.9. Let R be a commutative FDF-ring. Then the following assertions are verified: (1) The Jacobson radical J(R) of R is a nil ideal. (2) R is semi - local and the idempotents can be lifted modulo J(R). (3) R is a finite direct product of commutative local FDF-rings. (4) If M is a simple R-module, then M = I where I is a minimal ideal of R. (5) R/J(R) is a von Neumann regular ring. (6) For any a R, there exists n N such that a n a n Ra n. Proof. It follows from Proposition 1.8. Proposition 1.10. Let R be a commutative FDF-ring, then E(R/J(R)) is finitely generated. Proof. Since R/J(R) is a homomorphism image of R, R/J(R) isanfdf- ring. Let I 1,..., I n be the set of maximal ideal of R. By Chinese remainder theorem, R/J(R) = R/I 1... R/I n, it follows that E(R/J(R)) = E(R/I 1 )... E(R/I n ). Since each R/I i is simple, E(R/I i ) is an indecomposable injective module, thus E(R/I i )isdedekind finite. It follows that E(R/I 1 )... E(R/I n ) is finitely generated, so E(R/J(R)) is finitely generated.

On commutative FDF-rings 2641 Proposition 1.11. Let R be a commutative Artinian ring. If R has a nonprincipal ideal, then there exists a Dedekind finite R-module which is not finitely generated. Proof. It follows from [2, Proposition 2.5 ] 2 Characterization of commutative FDF-rings Definition 2.1. An R-module M is said to be finitely annihilated if there exist m 1,..., m n M such that Ann R (M) =Ann R (m 1,m 2,..., m n ), where Ann R (X) ={a R : ax = 0, x X}. Thus we can deduce from the definition the following remark. Remark 2.2. Let R be a commutative ring. If M is a finitely generated R- module, then M is finitely annihilated. Lemma 2.3..[4, Lemma 1.3] Let M be an R-module. If every fully invariant submodule of M is finitely annihilated, then every submodule of M is finitely annihilated. Proposition 2.4. Let R be a commutative local FDF-ring. If N is a fully invariant submodule of E(R/J(R)), then N is finitely annihilated. Proof. It suffices to prove that N is finitely generated or equivalently N is Dedekind finite. Since E(R/J(R)) is an injective indecomposable module, E(R/J(R)) is weakly co-hopfian. By [7, Corollary 1.5], it suffices to prove that N is an essential submodule of E(R/J(R)). Let 0 x E(R/J(R)), this implies that Rx {0}. Since Rx is a nonzero submodule of E(R/J(R)), R/J(R) Rx {0}. SoR/J(R) Rx because R/J(R) is a simple R-module. Thus there exists λ R such that λx 0 and λx R/J(R) N. It follows that N is an essential submodule of E(R/J(R)). Theorem 2.5..[4. Theorem 2.7] Let R be a ring with prime radical N such that every submodule of E(R/N) is finitely annihilated. Then the following conditions are equivalent: (1) R is left Artinian.

2642 Mamadou Barry and Papa Cheikhou Diop (2) For every prime ideal P of R, R/P is left Artinian. (3) Every finitely generated left R-module is finitely annihilated, and every prime ideal of R is maximal. Proposition 2.6. Let R be a commutative local FDF-ring. Then R is Artinian. Proof. It follows from Proposition 2.4 and Theorem 2.5. Lemma 2.7. If M is the direct sum of infinitely many copies of the same non-zero module, then M is not Dedekind finite. Proof. Suppose M = N i such that for all i N, N i = N for some i N module N. Then for all i N, there exists an isomorphism σ i : N i N i+1 Ṫhen the σ i induce the right shift map f : M M by x σ i (x) for all x N i. Similarly, the σ i induce the left shift map g : M M by x σi 1 (x) for all x N i+1 and g maps N 0 to zero. Clearly, f and g are endomorphisms of M satisfying g f = Id M but f g Id M, where Id M denotes the identity homomorphism of the R-module M. It follows that M is not Dedekind finite. Theorem 2.8. Let R be a commutative ring. Then the following statements are equivalent: (1) R is an FDF-ring. (2) R is an Artinian principal ideal ring. Proof. (1) (2) If R is a FDF-ring, then by Theorem 2.5 and Proposition 1.11, R is an Artinian principal ideal ring. (2) (1) Let R be a commutative Artinian principal ideal ring and M be a Dedekind finite R-module. Suppose that M is not finitely generated. Then by [6, Theorem 4.1], every R - module is a direct sum of cyclic R - modules. Since there are only finite non-isomorphic cyclic R-modules, we can write M = K (N ) L, where K is a cyclic submodule of M. By Lemma 2.7, K (N ) is not Dedekind finite, it follows that M is not Dedekind finite. Thus M is finitely generated.

On commutative FDF-rings 2643 Corollary 2.9. Let R be a commutative FDF-ring. Then the following conditions are equivalent for an R - module M. (1) M has finite uniform dimension. (2) M is Dedekind finite. (3) Soc(M) is Dedekind finite. Proof. (1) (2) and (1) (3) are obvious. (2) (1) Let M be a weakly co-hopfian module.then, by Theorem 2.8, M is finitely generated. Since R is Artinian, [1, Proposition 10.18] implies that M is Artinian. It follows that M has finite uniform dimension. (3) (1) Let Soc(M) be a weakly co-hopfian R - module. Since there are only finitely many simple R - module up to isomorphism, by [7, corollary 1.12], Soc(M) has finite uniform dimension. In the other hand, Soc(M) is an essential submodule of M, so M has finite uniform dimension. References [1] F. W. Anderson and K. R. Fuller : Rings and categories of modules, New York Springer-Verlag, Berlin, 1973. [2] M. Barry, P.C. Diop : Some properties related to commutative weakly FGI-rings, J P Journal of Algebra, Number Theory and application, Vol.19, issue 2,(2010) P.141-153 [3] M. Barry, E. Bazubwabo, P.C. Diop : On commutative FQA-rings, Far East Journal of Mathematical Sciences, Vol.48, issue 1,(2011) P.63-71. [4] J. A. Beachy, W. D. Blair : Finitely annihilated modules and orders in artinian rings, Comm. in Algebra, vol. 6, N 1, (1978), 1-34. [5] S. Breaz, G. Calugareanu, P. Schultz: Module with Dedekind finite endomorphism rings,mathematica, Tome 53 (76), N 1, 2011, pp. 15-28. [6] Faith, C. : On Kothe rings. Math. Ann 164 (1966) 207-212.

2644 Mamadou Barry and Papa Cheikhou Diop [7] A. Haghany, M. R. Vedadi : Modules whose injective endomorphism are essential. J. Algebra 243 (2001) 765-779. [8] T. Y. Lam : Lectures on modules and rings. G. T. M. (189), Springer- Verlag. Berlin-Heidelber, New York(1999). Received: April, 2011