On Strongly Clean Rings

Similar documents
Abel rings and super-strongly clean rings

Strongly r-clean Rings

One-sided clean rings.

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

Strongly Nil -Clean Rings

EP elements and Strongly Regular Rings

WEAKLY CLEAN RINGS AND ALMOST CLEAN RINGS

Strongly nil -clean rings

On Unit-Central Rings

Weakly-Abel rings and strongly regular rings

ON HOCHSCHILD EXTENSIONS OF REDUCED AND CLEAN RINGS

A Generalization of VNL-Rings and P P -Rings

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

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

f-clean RINGS AND RINGS HAVING MANY FULL ELEMENTS

Tripotents: a class of strongly clean elements in rings

A New Characterization of Boolean Rings with Identity

Generalized Boolean and Boolean-Like Rings

A SURVEY OF RINGS GENERATED BY UNITS

ON NIL SEMI CLEAN RINGS *

Strong Lifting Splits

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

A NOTE ON EXTENSIONS OF PRINCIPALLY QUASI-BAER RINGS. Yuwen Cheng and Feng-Kuo Huang 1. INTRODUCTION

On Strongly Regular Rings and Generalizations of Semicommutative Rings

The cancellable range of rings

Weakly Semicommutative Rings and Strongly Regular Rings

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

arxiv: v1 [math.ra] 6 Sep 2018

ON STRONGLY REGULAR RINGS AND GENERALIZATIONS OF V -RINGS. Tikaram Subedi and Ardeline Mary Buhphang

Ring Theory Problem Set 2 Solutions

e-ads MODULES AND RINGS

Review Article Some Notes on Semiabelian Rings

A Generalization of p-rings

Some properties of n-armendariz rings

HAVE STABLE RANGE ONE

Hong Kee Kim, Nam Kyun Kim, and Yang Lee

C O M M U N I C AT I O N S I N M AT H E M AT I C S

SUMS OF UNITS IN SELF-INJECTIVE RINGS

A Generalization of Boolean Rings

ON REGULARITY OF RINGS 1

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

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

Math-Net.Ru All Russian mathematical portal

Chapter 5. Modular arithmetic. 5.1 The modular ring

arxiv: v1 [math.ra] 15 Dec 2015

Weakly distributive modules. Applications to supplement submodules

Extensions of Regular Rings

A NOTE ON ALMOST INJECTIVE MODULES

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

Chapter 1. Wedderburn-Artin Theory

Ore extensions of Baer and p.p.-rings

ADDITIVE GROUPS OF SELF-INJECTIVE RINGS

Introduction to Groups

Quasi permutation matrices and product of idempotents

ON ZERO-DIMENSIONALITY AND FRAGMENTED RINGS. Jim Coykendall Department of Mathematics North Dakota State University Fargo, North Dakota,

Subrings and Ideals 2.1 INTRODUCTION 2.2 SUBRING

On Harada Rings and Serial Artinian Rings

On Commutative FDF-Rings

W P ZI rings and strong regularity

Classes of Commutative Clean Rings

THEORY OF RICKART MODULES

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

φ(xy) = (xy) n = x n y n = φ(x)φ(y)

On Generalized Simple P-injective Rings. College of Computers Sciences and Mathematics University of Mosul

Two-Sided Properties of Elements in Exchange Rings

GROUPS. Chapter-1 EXAMPLES 1.1. INTRODUCTION 1.2. BINARY OPERATION

Unit-free strongly commuting Regular Rings

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

Further results on skew monoid rings of a certain free monoid (I)

AN ENSEMBLE OF IDEMPOTENT LIFTING HYPOTHESES

STRONGLY J-CLEAN SKEW TRIANGULAR MATRIX RINGS *

J-Noetherian Bezout domain which is not a ring of stable range 1

On Reflexive Rings with Involution

Ang aking kontrata: Ako, si, ay nangangakong magsisipag mag-aral hindi lang para sa aking sarili kundi para rin sa aking pamilya, para sa aking

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

P-Ideals and PMP-Ideals in Commutative Rings

Prime and irreducible elements of the ring of integers modulo n

FLAT AND FP-INJEOTVITY

1 + 1 = 2: applications to direct products of semigroups

Correct classes of modules

ON THE SUBGROUPS OF TORSION-FREE GROUPS WHICH ARE SUBRINGS IN EVERY RING

On Extensions of Green s Relations in Semi groups

ON JACOBSON AND NIL RADICALS RELATED TO POLYNOMIAL RINGS

EXTENSIONS OF EXTENDED SYMMETRIC RINGS

n-x -COHERENT RINGS Driss Bennis

PUBLICATION ES HATHEMATICAE

A Bezout ring of stable range 2 which has square stable range 1

(Received August 2000)

INVARIANT IDEALS OF ABELIAN GROUP ALGEBRAS UNDER THE MULTIPLICATIVE ACTION OF A FIELD, II

Chapter 2: Linear Independence and Bases

CHARACTERIZATION OF LOCAL RINGS

Characterization of Weakly Primary Ideals over Non-commutative Rings

φ(a + b) = φ(a) + φ(b) φ(a b) = φ(a) φ(b),

McCoy Rings Relative to a Monoid

5 Dedekind extensions

Matrix l-algebras over l-fields

RINGS ISOMORPHIC TO THEIR NONTRIVIAL SUBRINGS

Review of Linear Algebra

Bulletin of the. Iranian Mathematical Society

Polynomials of small degree evaluated on matrices

Transcription:

International Journal of Algebra, Vol. 5, 2011, no. 1, 31-36 On Strongly Clean Rings V. A. Hiremath Visiting professor, Department of Mathematics Manglore University, Mangalagangotri-574199, India va hiremath@rediffmail.com Sharad Hegde 1 Department of Mathematics, Karnatak University Dharwad-580003, India sharum kud@yahoo.co.in Abstract A ring R is said to be strongly clean if every element of R is sum of an idempotent and a unit in R which commute with each other. A ring R is said to have stable range one if for any a,b in R with ar + br = R there exists y in R such that a + by is a unit. In this paper we give a partial answer to the following open problem: Does every strongly clean ring have stable range one? Also we give a necessary and sufficient condition for R(M)-(the idealization of R and M where M is an R-module)-to be an exchange ring and to have stable range one. Mathematics Subject Classification: 16E50 Keywords: exchange ring, strongly clean ring Introduction Throughout this paper, rings we consider are associative with identity. If R is a ring U(R) and Id(R) respectively denote the set of all units and all idempotents in R. A ring R is said to be an exchange ring if for each a R there exists e Id(R) such that e ar and (1 e) (1 a)r.the notion of a clean ring was introduced by Nicholson[6] in his study of lifting idempotents and exchange rings.he defined a ring R to be clean if every element can be written 1 The author is supported by UGC scholarship.

32 V. A. Hiremath and Sharad Hegde as a sum of an idempotent and a unit. Nicholson[5] defined an element a of a ring R to be strongly clean if a = e + u where e Id(R), u U(R) and eu = ue and the ring R is said to be strongly clean if every element of R is strongly clean. A ring R is said to be strongly π-regular if for every element a R there exists x R and n N such that a n = a n+1 x. It is well known that: Strongly π-regular Strongly clean Clean Exchange A ring R is said to have stable range one if for any a,b R with ar+br = R there exists y R such that a + by U(R). In 1996, P.Ara[2] proved that strongly π-regular ring has stable range one. So,Nicholson[5] asked the following question: Does every strongly clean ring have stable range one? In this paper we give a partial answer to the above open problem. Also we give a necessary and sufficient condition for R(M)-( the idealization of R and M where M is an R-module)-to be an exchange ring and to have stable range one. We start with the following definition. Definition 1: A ring R is said to be uniquely p-semipotent if every nontrivial principal right ideal I contains unique non-zero idempotent. Equivalently, a ring R is said to be uniquely p-semipotent if for every non-zero,nonright invertible a R there exists a unique non-zero idempotent e R such that e ar. Example 2: Every division ring is uniquely p-semipotent. Example 3: If D is a division ring then R = D D is uniquely p-semipotent. Remark: Direct product of uniquely p-semipotent rings need not be uniquely p-semipotent. We prove this as a corollary to the following result. Proposition 4: If R is a uniquely p-semipotent ring with a non-trivial central idempotent then R contains atmost four idempotents and is abelian. Proof: Let e be a non-trivial central idempotent in R. Let f 2 = f R. Now we prove that f {0, 1,e,1 e}. Clearly ef is an idempotent in er. (because e is central) Since R is a uniquely p-semipotent ring, ef =0oref = e. Case 1: ef = 0. Then f =(1 e)f (1 e)r f =0orf =1 e(because R is uniquely p-semipotent). Case 2: ef = e. Then 1 f =(1 e)(1 f) (1 e)r 1 f =0or 1 f =1 e ( because R is uniquely p-semipotent). Therefore in any case f {0, 1,e,1 e}. Since e is central, so is 1 e and hence R is abelian. Corollary 5: Direct product of uniquely p-semipotent rings need not be uniquely p-semipotent. Proof: Let R = n i=1 D i (n 3) where each D i is a division ring. Since each D i is abelian ring we get that R is abelian. Also note that R contains more than four idempotents (in fact R contains 2 n idempotents). Hence by above proposition R is not uniquely p-semipotent. Remark: Strongly clean ring need not be uniquely p-semipotent.

On strongly clean rings 33 For, let R be a commutative local ring which is not a field (i.e. a local ring containing atleast one non-zero, non-unit). Then clearly R is a strongly clean ring but not uniquely p-semipotent. Theorem 6: If R is uniquely p-semipotent ring then for each e 2 = e R, ere is uniquely p-semipotent ring. Proof: Let x ere be such that xere is a non-trivial principal right ideal of ere. Then clearly xr is a non-trivial principal right ideal of R. This implies, by hypothesis, that there exists a unique 0 f = f 2 R such that f xr f = exer for some r R(because x ere x = exe) ef = f fef = f (1) Thus (fe) 2 = fefe = fe. Clearly fe 0(because if fe = 0 then by (1), f =0 which is a contradiction). Clearly fe xere. Suppose 0 g = g 2 xere 0 g 2 = g xr (by hypothesis) g = f g = ge = fe. Therefore fe is the unique non-zero idempotent in xere. Hence ere is uniquely p-semipotent ring. Recall that an element x in R is said to be regular(in the sense of von- Neumann) if there exists an element y in R such that x = xyx and x is said to be unit regular if x = xux for some u U(R). Camillo and Yu [3,Theorem 3] have proved that an exchange ring R has stable range one if and only if every regular element of R is unit regular. Since strogly clean ring R is an exchange ring, the Camillo and Yu s result motivated us to find out regular elements of R and the following proposition is helpful in that direction. Proposition 7: Let R be a uniquely p-semipotent, strongly clean ring and let ar be a non-trivial principal right ideal where a =1 e + u with e 0is a strongly clean expression of a. Then a is a regular element of R. Proof: We have, a =1 e + u ae = ue = eu aeu 1 = e e ar -(1) Now we prove that a er.clearly a(1 e)r ar (2) We prove that a(1 e) = 0. Suppose that a(1 e) 0. Then clearly a(1 e)r is non-trivial principal right ideal of R and since R is uniquely p-semipotent, a(1 e)r contains a unique non-zero idempotent f. But by (1) and (2) f = e e = a(1 e)r for some r R e =(1 e)ar (because a(1 e) =(1 e)a) e = e 2 = e(1 e)ar = 0 which is a contradiction. Therefore a(1 e) =0 (1 e)a =0 a = ea a er -(3). So, by(1)and(3), ar = er. Hence a is a regular element of R. Corollary 8: Let R be a uniquely p-semipotent, strongly clean ring in which no non-zero quasi-regular element is regular. Then R has stable range one. Proof: Let a be a nonzero element of R which is not quasi-regular. Then a has a strongly clean expression a =1 e + u with e 0. We prove that a is regular. If a is right invertible then clearly a is regular. So suppose that ar is a nontrivial principal right ideal of R. Then by above proposition a is regular with ar = er. This implies that a = ea = e(1 e + u) =eu au 1 a = euu 1 a = ea = a. So a is unit regular and hence the result follows

34 V. A. Hiremath and Sharad Hegde by [3,Theorem 3]. We recall that an element x in R is said to be uniquely strongly clean(usc) if x can be written uniquely as a sum of an idempotent and a unit that commute with each other. Our next results viz. propositions 9, 10 and 11 generalise the results [1,Lemma 6], [1,Proposition 15] and [1,Proposition 14] respectively. Proposition 9: Let R be a ring. If e 2 = e R then e is USC. Proof: Let e 2 = e R. We know that 1 e Id(R) and 2e 1 is a unit with (2e 1) 1 =(2e 1). So e =(1 e)+(2e 1) is a strongly clean expression of e. Suppose e = f + u is another strongly clean expression. Then we have (e f)(e+f) =e+ef fe f = e f (because ef = fe) e+f = 1(because e f is a unit) f =1 e. Hence e is USC. Remark: In a ring with identity, for any e 2 = e R, e is always a strongly clean element, but it need not be USC. For, e =(1 e)+( 1) is a strongly clean expression. But in any field F with char(f ) 2, -1 has two different strongly clean expressions namely -1 = 0+(-1) and -1 = 1+(-2). Proposition 10: For a ring R the following are equivalent: 1) R is strongly clean. 2) Every element x R can be written as x = u e where u U(R),e Id(R) and ue = eu. 3) Every element x R can be written as x = u + e where u U(R) {0},e Id(R) and ue = eu. 4) Every element x R can be written as x = u e where u U(R) {0},e Id(R) and ue = eu. Proof: 1) 2). Let x R. Let x = e + u be a strongly clean expression of x. Then we have x = u e where u U(R), e Id(R) and ( u)e = e( u). 2) 3) and 3) 4) are similar to 1) 2). 4) 1). Let x R (by hypothesis) x = u e for some u U(R) {0}, e Id(R) and eu = ue x = e +( u),the case when u = 0 follows from proposition 2.9. Proposition 11: Let R be a ring. Then R = U(R) Id(R) if and only if R is a division ring or R is a Boolean ring. Proof: Suppose R = U(R) Id(R). If R is a Boolean ring we are done. So suppose that there exists an element u in R such that u/ Id(R). This implies,by hypothesis, u U(R). We claim that every non-zero element in R is a unit in R.First we note that R is reduced and hence abelian.let 0 x R Clearly x = ur where r = u 1 x in R. Suppose r / U(R) r Id(R) x(1 r) =0 x/ U(R) x Id(R). Now x 2 = x (ur) 2 = ur u 2 r = ur ur = r (1 u)r =0 1 u Id(R) u Id(R) which is a contradiction r U(R) and hence x U(R). Converse is obvious. Let R be a commutative ring. Let M be an R-module. Then the idealization of R and M is the ring R(M) with underlying set

On strongly clean rings 35 R M under coordinatewise addition and multiplication given by (r, m) (r,m )=(rr,rm + r m) for all r, r R and m, m M.It is clear that R(M) is a commutative ring with identity (1,0). Before proving the next result we note that: i) (r, m) Id(R(M)) if and only if r Id(R) and m =0. For, suppose (r, m) 2 =(r, m) (r 2, 2rm) =(r, m) r 2 = r and 2rm = m 2rm = rm rm =0 m = 0. Hence r Id(R) and m = 0. Converse part is very clear. ii) (r, m) U(R(M)) if and only if r U(R) For, suppose (r, m) U(R(M)) there exists (s, n) R(M) such that (r, m) (s, n) =(1, 0) rs =1 r U(R). Conversely, suppose r U(R) then for any m M we have (r, m) (r 1, r 2 m)=(1, 0). Hence (r, m) U(R(M)). Proposition 12: If R is a commutative ring, then the following holds: 1) R is an exchange ring if and only if so is R(M). 2) R has stable range one if and only if R(M) has stable range 1. Proof: 1) Only if : Let (a, m) R(M) (by hypothesis)there exists e Id(R) such that e = ar and 1 e =(1 a)s for some r, s R. Then we have (by (i) above)(e, 0) Id(R(M) and (e, 0) = (are, rem ar 2 em) =(a, m) (re, r 2 em) and (1 e, 0) = ((1 a)s(1 e), (1 a)s 2 (1 e)m s(1 e)m) =(1 a, m) (s(1 e),s 2 (1 e)m). Hence R(M) is an exchange ring. If: Let a R (by (i)above and hypothesis)there exists e Id(R) such that (e, 0) = (a, 0) (b, m) and (1 e, 0) = (1 a, 0) (c, m ) for some b,c R and m, m M e = ab and 1 e =(1 a)c. Hence R is an exchange ring. 2) Only if: Let (a, m), (r, s), (b, n) R(M) such that (a, m) (r, s)+(b, n) = (1, 0) ar + b = 1 Since R has stable range one, there exists y R such that a + by = u for some u U(R) (a, m)+(b, n) (y, 0) = (a, m)+(by, ny) = (a + by, m + ny) =(u, m + yn) is a unit in R(M)(by (ii) above). Therefore R(M) has stable range one. If: Let a, x, b R be such that ax + b = 1 Then (a, 0) (x, 0) + (b, 0) = (1, 0) in R(M) (by hypothesis) there exists (y, z) R(M) such that (a, 0) + (b, 0) (y, z) = (u, m) where (u, m) U(R(M)) (by (ii) above) a + by = u U(R). Hence R has stable range one. References 1) D.D.Anderson and V.P.Camillo,Commutative rings whose elements are a sum of a unit and idempotent, Comm.Algebra, 30(7), 3327-3336(2002) 2) P.Ara, Strongly π-regular rings have stable range one, Proc.Amer. Math.Soc. Vol.124, No.11(1996) 3) V.P.Camillo and H.P.Yu, Stable range one for rings with many idempo-

36 V. A. Hiremath and Sharad Hegde tents, Trans.Amer. math.soc.vol.347,no.8(1995),3141-3147 4) W.K.Nicholson,Strongly clean rings and fitting s lemma, Comm. Algebra, 27(8), 3583-3592(1999) 5) W.K.Nicholson,Lifting idempotents and Exchange rings, Trans. Amer. Math.Soc.Vol.229, (1977)269-278 Received: June, 2010