arxiv: v1 [math.ra] 27 Jul 2013

Transcription

1 Additive and product properties of Drazin inverses of elements in a ring arxiv: v1 [math.ra] 27 Jul 2013 Huihui Zhu, Jianlong Chen Abstract: We study the Drazin inverses of the sum and product of two elements in a ring. For Drazin invertible elements a and b such that a 2 b = aba and b 2 a = bab, it is shown that ab is Drazin invertible and that a+b is Drazin invertible if and only if 1+a D b is Drazin invertible. Moreover, the formulae of (ab) D and (a +b) D are presented. Thus, a generalization of the main result of Zhuang, Chen et al. (Linear Multilinear Algebra 60 (2012) ) is given. Keywords: Drazin inverse, group inverse, spectral idempotent, ring AMS Subject Classifications: 15A09, 16U80 1 Introduction Throughout this paper, R is an associative ring with unity 1. The symbols R D, R nil denote, the sets of Drazin invertible elements, nilpotent elements of R, respectively. The commutant of an element a R is defined as comm(a) = {x R : ax = xa}. An element a R is Drazin invertible if there exists b R such that b comm(a), bab = b, a k = a k+1 b (1.1) for some positive integer k. The such least k is called the Drazin index of a, denoted by k = ind(a). If ind(a) = 1, then b is called the group inverse of a and denoted by a #. The conditions in (1.1) are equivalent to b comm(a), bab = b, a a 2 b R nil. (1.2) Drazin [7] proved that if a is Drazin invertible and ab = ba, then a D b = ba D. By a π = 1 aa D we mean the spectral idempotent of a. Corresponding author. Department of Mathematics, Southeast University, Nanjing , China. ahzhh08@sina.com (H. Zhu), jlchen@seu.edu.cn(j. Chen) 1

2 The problem of Drazin inverse of the sum of two Drazin invertible elements was first considered by Drazin in his celebrated paper [7]. It was proved that (a+b) D = a D +b D under the condition that ab = ba = 0 in associative rings. It is well known that the product ab of two commutative Drazin invertible elements a, b is Drazin invertible and (ab) D = a D b D = b D a D in a ring. In 2011, Wei and Deng [12] considered the relations between the Drazin inverses of A+B and 1+A D B for two commutative complex matrices A and B. For two commutative Drazin invertible elements a, b R,Zhuang, Chen et al. [16] proved that a +b is Drazin invertible if and only if 1+a D b is Drazin invertible. Moreover, the representation of (a+b) D was obtained. More results on Drazin inverse can be found in [1-6,8,11-16]. For any elements a,b R, ab = ba implies that a 2 b = aba and b 2 a = bab. However, the converse need not be true. For example, take a = 1 0, b = It is easy to get a 2 b = aba and b 2 a = bab. However, ab ba. Under the conditions P 2 Q = PQP and Q 2 P = QPQ, Liu, Wu and Yu [9] characterized the relations between the Drazin inverses of P + Q and 1+P D Q for complex matrices P and Q by using the methods of splitting complex matrices into blocks. In this paper, we extend the results in [9] to a ring R. For a,b R D, it is shown that ab R D and that a+b R D if and only if 1+a D b R D under the conditions a 2 b = aba and b 2 a = bab. Moreover, the expressions of (ab) D and (a+b) D are presented. Consequently, some results in [9,12,16] can be deduced from our results. 2 Some lemmas In this section, we start with some useful lemmas. Lemma 2.1. Let a,b R with a 2 b = aba. Then for any positive integer i, the following hold: (1) a i+1 b = a i ba = aba i, a 2i b = a i ba i, (2.1) (2) (ab) i = a i b i. 2 (2.2)

3 Proof. (1) Since a 2 b = aba, we have a i+1 b = a i 1 a 2 b = a i 1 aba = a i ba. This shows that a i b comm(a) and a i b comm(a i ). From ab comm(a), it follows that ab comm(a i ), i.e., aba i = a i+1 b. Thus, a i+1 b = a i ba = aba i. Therefore, we also obtain a 2i b = a i ba i by a i b comm(a i ). (2) follows by induction. Lemma 2.2. Let a,b R with a 2 b = aba and b 2 a = bab. (1) If a or b is nilpotent, then ab and ba are nilpotent. (2) If a and b are nilpotent, then a+b is nilpotent. Proof. (1) By Lemma 2.1(2). (2) Note that (a + b) k = taking k = ind(a)+ind(b). k 1 Ck 1 i (ak i b i + b k i a i ) in [9]. We have (a + b) k = 0 by Lemma 2.3. Let a,b R with a 2 b = aba and b 2 a = bab. If a R D, then (1) (a D ) 2 b = a D ba D, (2.3) (2) b 2 a D = ba D b. (2.4) Proof. (1) Since a 2 b = aba, we have ab comm(a D ) by [7, Theorem 1]. Hence, (a D ) 2 b = (a D ) 2 a D ab = (a D ) 2 aba D = a D ba D. (2) Note that ab comm(a D ). It follows that b 2 a D = b 2 a(a D ) 2 = bab(a D ) 2 = b(a D ) 2 ab = ba D b. Lemma 2.4. Let a,b R D with a 2 b = aba and b 2 a = bab. Then (1) {ab,a D b,ab D,a D b D } comm(a), (2.5) (2) {ba,b D a,ba D,b D a D } comm(b). Proof. It is enough to prove (1) since we can obtain (2) by the symmetry of a and b. (1) By hypothesis, we obtain ab comm(a) and aa D b = (a D ) 2 a 2 b = (a D ) 2 aba = a D ba. 3

4 Since ba comm(b) implies that ba comm(b D ), it follows that ab D a = a(b D ) 2 ba = aba(b D ) 2 = a 2 b(b D ) 2 = a 2 b D. Note that ab D a = a 2 b D. We get aa D b D = (a D ) 2 a 2 b D = (a D ) 2 ab D a = a D b D a. Lemma 2.5. Let a,b R D and ξ = 1 + a D b. If a 2 b = aba and b 2 a = bab, then {a,a D,ab,a D b,ab D,a D b D } comm(ξ). (2.7) Proof. Since a D b comm(a), we have a comm(ξ). By [7, Theorem 1], a D comm(ξ). Observing that (a D b)ab (2.5) = a(a D b)b = a D (ab)b = ab(a D b), it follows that ab comm(ξ). Similarly, a D b,ab D,a D b D comm(ξ). Hence, {a,a D,ab,a D b,ab D,a D b D } comm(ξ). Lemma 2.6. Let a,b R D with a 2 b = aba and b 2 a = bab. Then for any positive integer i, the following hold: (1) ab D b D a = (ab D ) 2 = a 2 (b D ) 2, (2.8) (2) (ab D ) i+1 = ab D (b D a) i = a i+1 (b D ) i+1, (2.9) (3) (a D b) i+1 = a D b(ba D ) i = (a D ) i+1 b i+1, (2.10) (4) ba D a D b = (ba D ) 2 = b 2 (a D ) 2, (2.11) (5) (ba D ) i+1 = ba D (a D b) i = b i+1 (a D ) i+1, (2.12) (6) (b D a) i+1 = b D a(ab D ) i = (b D ) i+1 a i+1. (2.13) Proof. It is sufficient to prove (1)-(3). (1) We have ab D b D a = ab D (b D a) = a(b D a)b D = (ab D ) 2. According to Lemma 2.4, we get ab D b D a = ab D (ab D ) (2.5) = a(ab D )b D = a 2 (b D ) 2. 4

5 (2) It is just (1) for i = 1. Assume that the equality holds for i = k, i.e., (ab D ) k+1 = ab D (b D a) k = a k+1 (b D ) k+1. For i = k+1, (ab D ) k+2 = ab D (ab D ) k+1 = ab D ab D (b D a) k (2.8) = ab D b D a(b D a) k = ab D (b D a) k+1 and (ab D ) k+2 = ab D (ab D ) k+1 = ab D a k+1 (b D ) k+1 (2.5) = a k+1 ab D (b D ) k+1 = a k+2 (b D ) k+2. Thus, (2) holds for any positive integer i. (3) Its proof is similar to (2). Lemma 2.7. Let a,b R D with a 2 b = aba and b 2 a = bab. If a 1 = b π a π b and a 2 = bb D aa π, then a 1 a 2 is nilpotent. Proof. Firstly, we prove a 1 = b π a π b is nilpotent. According to Lemma 2.6, we have the following equalities and Hence, we obtain b π ba π b = b 2 b π a π (2.14) ba π b π = bb π a π. (2.15) (b π a π b) 3 = b π a π (bb π a π b)b π a π b (2.14) = b π a π (b π b 2 a π )b π a π b = b π a π b π (b 2 a π b π )a π b (2.15) = b π a π b π (b 2 b π a π )a π b = b π a π (bb π ) 2 a π a π b = b π a π (bb π ) 2 a π b. By induction, (b π a π b) n+1 = b π a π (bb π ) n a π b. Since bb π is nilpotent, b π a π b = a 1 is nilpotent. Secondly, we show that a 2 = bb D aa π is nilpotent. As (bb D aa π ) 2 = (bb D aa π )(bb D aa π ) = bb D a(1 aa D )bb D a(1 aa D ) = bb D (1 aa D )abb D a(1 aa D ) (2.5) = bb D ab(1 aa D )b D a(1 aa D ) 5

6 = bbb D a(1 aa D )b D a(1 aa D ) = bbb D (1 aa D )ab D a(1 aa D ) (2.5) = bbb D ab D (1 aa D )a(1 aa D ) = bbb D b D a(1 aa D )a(1 aa D ) = bb D a(1 aa D )a(1 aa D ) = bb D (aa π ) 2, by induction, (bb D aa π ) n = bb D (aa π ) n. Since aa π is nilpotent, bb D aa π = a 2 is nilpotent. and Finally, we prove that a 1 a 2 is nilpotent. Since a 2 1 a 2 = b π a π bb π a π bbb D aa π = b π a π bb π b 2 b D aa π = 0 a 2 a 1 = bb D aa π b π a π b = bb D a π (ab π )a π b (2.5) = bb D (ab π )a π a π b = bb D (ab π )a π b = b(b D a)b π a π b = bb π (b D a)a π b = 0, we have a 2 1 a 2 = a 1 a 2 a 1 = 0 and a 2 2 a 1 = a 2 a 1 a 2 = 0. As a 1 and a 2 are nilpotent, b π a π b bb D aa π = a 1 a 2 is nilpotent by Lemma 2.2(2). Lemma 2.8. Let a,b R D with a 2 b = aba and b 2 a = bab and ξ = 1+a D b R D. Suppose b 1 = aξξ π +ξ D aa π and b 2 = b π a π b bb D aa π. Then b 1 +b 2 is nilpotent. Proof. Since aξξ π, ξ D aa π are nilpotent and aξξ π commutes with ξ D aa π, it follows that b 1 = aξξ π +ξ D aa π is nilpotent. By Lemma 2.7, a 1 a 2 = b 2 is nilpotent. First we give two useful equalities aa π bb π a = a π ab π (ba) = a π (ab)ab π (2.5) = a 2 a π bb π (2.16) and bab π a π ba (2.5) = ba π ab π ba = ba π (abb π )a (2.5) = b(abb π )a π a = (ba)bb π aa π = b 2 b π a 2 a π. (2.17) 6

7 and According to Lemma 2.5, we have b 2 1 b 2 = (aξξ π +ξ D aa π ) 2 (b π a π b bb D aa π ) (2.7) = (a 2 ξ 2 ξ π +(ξ D ) 2 a 2 a π )(b π a π b bb D aa π ) = a 2 ξ 2 ξ π b π a π b a 2 ξ 2 ξ π bb D aa π +(ξ D ) 2 a 2 a π b π a π b (ξ D ) 2 a 2 a π bb D aa π (2.7) = a 2 a π ξ 2 ξ π bb π a 3 a π ξ 2 ξ π bb D +(ξ D ) 2 a 2 a π bb π (ξ D ) 2 a 3 a π bb D. By Lemma 2.4 and Lemma 2.5, we obtain b 1 b 2 b 1 = (aξξ π +ξ D aa π )(b π a π b bb D aa π )(aξξ π +ξ D aa π ) = (aξξ π b π a π b aξξ π bb D aa π +ξ D aa π b π a π b ξ D a 2 a π bb D )(aξξ π +ξ D aa π ) = aξξ π b π a π baξξ π aξξ π bb D aa π aξξ π +ξ D aa π b π a π baξξ π ξ D a 2 a π bb D aξξ π +aξξ π b π a π bξ D aa π aξξ π bb D aa π ξ D aa π +ξ D aa π b π a π bξ D aa π ξ D a 2 a π bb D ξ D aa π (2.7) = aξξ π aξξ π b π a π b aξξ π aa π aξξ π bb D +ξ D aa π a π aξξ π b π b ξ D a 2 a π aξξ π bb D +aξξ π a π ξ D aa π b π b aξξ π aa π ξ D aa π bb D +ξ D aa π a π ξ D aa π b π b ξ D a 2 a π ξ D aa π bb D (2.16) = a 2 a π ξ 2 ξ π bb π a 3 a π ξ 2 ξ π bb D +(ξ D ) 2 a 2 a π bb π (ξ D ) 2 a 3 a π bb D. Hence, b 2 1 b 2 = b 1 b 2 b 1. In view of Lemma 2.7 and b D b π = 0, we have b 2 2b 1 = (b π a π b bb D aa π ) 2 (aξξ π +ξ D aa π ) = (b π a π b 2 b π a π b π a π b 2 b D aa π +bb D a 2 a π )(aξξ π +ξ D aa π ) = b π a π b 2 b π aa π ξξ π b π a π b 2 b D aa π aξξ π +b 2 b D a 2 a π aξξ π +b π a π b 2 b π a π ξ D aa π b π a π b 2 b D aa π ξ D aa π +bb D a 2 a π ξ D aa π (2.7) = b π a π b 2 b π aa π ξξ π b π a π b 2 b D a 2 a π ξξ π +b 2 b D a 3 a π ξξ π +b π a π b 2 b π aa π ξ D b π a π b 2 b D a 2 a π ξ D +bb D a 3 a π ξ D, b 2 b 1 b 2 = (b π a π b bb D aa π )(aξξ π +ξ D aa π )(b π a π b bb D aa π ) (2.7) = (b π a π baξξ π +b π a π baa π ξ D bb D a 2 a π ξξ π bb D a 2 a π ξ D )(b π a π b bb D aa π ) = b π a π baξξ π b π a π b+b π a π baa π ξ D b π a π b bb D a 2 a π ξξ π b π a π b 7

8 bb D a 2 a π ξ D b π a π b b π a π baξξ π bb D aa π b π a π baa π ξ D bb D aa π +bb D a 2 a π ξξ π bb D aa π +bb D a 2 a π ξ D bb D aa π = b π a π baξξ π b π a π b+b π a π baa π ξ D b π a π b bb D b π a 2 a π ξξ π a π b bb D b π a 2 a π ξ D a π b b π a π baξξ π bb D aa π b π a π baa π ξ D bb D aa π +bb D a 2 a π ξξ π bb D aa π +bb D a 2 a π ξ D bb D aa π = b π a π baξξ π b π a π b+b π a π baa π ξ D b π a π b b π a π baξξ π bb D aa π b π a π baa π ξ D bb D aa π +bb D a 2 a π ξξ π bb D aa π +bb D a 2 a π ξ D bb D aa π (2.17) = b π a π b 2 b π aa π ξξ π b π a π b 2 b D a 2 a π ξξ π +b 2 b D a 3 a π ξξ π Therefore, b 2 2 b 1 = b 2 b 1 b 2. +b π a π b 2 b π aa π ξ D b π a π b 2 b D a 2 a π ξ D +bb D a 3 a π ξ D. By Lemma 2.2(2), it follows that b 1 +b 2 is nilpotent. 3 Main results In this section, we consider the formulae on the Drazin inverses of the product and sum of two elements of R. Theorem 3.1. Let a,b R D with a 2 b = aba and b 2 a = bab. Then ab R D and (ab) D = a D b D. Proof. Let x = a D b D. We prove that x is the Drazin inverse of ab by showing the following results: (1) (ab)x = x(ab); (2) x(ab)x = x; (3) (ab) k = (ab) k+1 x for some positive integer k. (1) Note that a(ab) = (ab)a implies (ab)a D = a D (ab). It follows that (2) We calculate directly that (ab)x = (ab)a D b D (2.5) = a D abb D = a(a D b D )b (2.5) = a D b D ab = x(ab). x(ab)x = (a D b D )aba D b D (2.5) = a(a D b D )ba D b D = aa D b(b D a D )b D 8

9 = aa D (b D a D )bb D = a(a D b D )a D bb D (2.5) = aa D (a D b D )bb D = x. (3) Take k = max{ind(a), ind(b)}. Then Hence, (ab) D = a D b D. (ab) k+1 x = (ab) k+1 a D b D = a D (ab) k+1 b D (2.2) = a D a k+1 b k+1 b D = a k b k (2.2) = (ab) k. Remark 3.2. In [16, Lemma 2], for a,b R D with ab = ba, it is proved that (ab) D = a D b D = b D a D. However, in Theorem 3.1, (ab) D = a D b D b D a D. Such as, take a = 1 0 and b = 1 0. By calculations, we obtain a 2 b = aba and b 2 = bab, but a D b D b D a D. Theorem 3.3. Let a,b R D. If a 2 b = aba, b 2 a = bab and ind(a) = s, then a + b is Drazin invertible if and only if 1+a D b is Drazin invertible. Moreover, we have (a+b) D = a D (1+a D b) D +a π b[a D (1+a D b) D ] 2 + (b D ) i+1 ( a) i a π +b π a (i+1)(b D ) i+2 ( a) i a π, and (1+a D b) D = a π +a 2 a D (a+b) D. Proof. Suppose that a+b is Drazin invertible. We prove that 1+a D b is Drazin invertible. Write 1+a D b = a 1 +b 1, where a 1 = a π, b 1 = a D (a+b). Note that (a D ) 2 (a+b) = a D (a+b)a D and (a+b) 2 a D = (a+b)a D (a+b). By Theorem 3.1, it follows that a D (a+b) = b 1 is Drazin invertible and (b 1 ) D = [a D (a+b)] D = (a D ) D (a+b) D = a 2 a D (a+b) D. From Lemma 2.4, we obtain that a D b commutes with aa D. Hence, a D (a + b) comm(a π ) and a 1 b 1 = b 1 a 1 = 0. By [7, Corollary 1], it follows that (1 + a D b) D = a π +a 2 a D (a+b) D. 9

10 Conversely, let ξ = 1+a D b be Drazin invertible and x = a D ξ D +a π b(a D ξ D ) 2 + (b D ) i+1 ( a) i a π +b π a (i+1)(b D ) i+2 ( a) i a π = x 1 +x 2, where x 1 = a D ξ D +a π b(a D ξ D ) 2, x 2 = (b D ) i+1 ( a) i a π +b π a (i+1)(b D ) i+2 ( a) i a π. According to a D comm(ξ D ) and (ba D ) i = b i (a D ) i, we have (a+b)a π b(a D ) 2 = (a+b)(1 aa D )b(a D ) 2 = (a a 2 a D +b baa D )b(a D ) 2 = ab(a D ) 2 a 2 a D b(a D ) 2 +b 2 (a D ) 2 baa D b(a D ) 2 = (a D ) 2 ab a 2 (a D ) 2 a D b+b 2 (a D ) 2 ba(a D ) 2 a D b = b 2 (a D ) 2 b(a D ) 2 b = b 2 (a D ) 2 (ba D ) 2 (2.11) = 0. Thus, (a+b)a π b(a D ξ D ) 2 = 0. Similarly, (a+b)b π a(b D ) 2 = 0. Hence, (a+b)b π a (i+1)(b D ) i+2 ( a) i a π = 0. Next, we show that x is the Drazin inverse of (a+b) in 3 steps. Step 1. First we prove that x(a + b) = (a + b)x. Put y 1 = (a + b)a D ξ D and y 2 = (a+b) (b D ) i+1 ( a) i a π. Then we have (a+b)x = (a+b)[a D ξ D +a π b(a D ξ D ) 2 + (b D ) i+1 ( a) i a π +b π a (i+1)(b D ) i+2 ( a) i a π ] = (a+b)[a D ξ D + (b D ) i+1 ( a) i a π ] = y 1 +y 2. Second we show that x 1 (a+b) = y 1 and x 2 (a+b) = y 2. Since a D ξ D = ξ D a D, we get x 1 (a+b) = [a D ξ D +a π b(a D (ξ D ) 2 ](a+b) 10

11 (2.5) = a D (a+b)ξ D +a π b(a D ) 2 (a+b)(ξ D ) 2 = a D (a+b)ξ D +(a π ba D +a π ba D a D b)(ξ D ) 2 = a D (a+b)ξ D +a π ba D ξ(ξ D ) 2 = a D (a+b)ξ D +a π ba D ξ D = (a D a+a D b+ba D aa D ba D )ξ D = (a+b)a D ξ D = y 1. By induction, bb D (ab D ) i = (bb D ab D ) i = (b D a) i. (3.1) Note that a s a π = 0 and b D a π b = b D (1 aa D )b = bb D (b D a D )ba = bb D bb D a D a = bb D a π. (3.2) We have x 2 (a+b) y 2 = [ (b D ) i+1 ( a) i a π +b π a (i+1)(b D ) i+2 ( a) i a π ](a+b) (a+b) (b D ) i+1 ( a) i a π = (b D ) i+1 ( a) i+1 a π + (b D ) i+1 ( a) i a π b b π a (i+1)(b D ) i+2 ( a) i+1 a π +b π a (i+1)(b D ) i+2 ( a) i a π b (a+b) (b D ) i+1 ( a) i a π = ( b D a) i+1 a π + (3.2) b D ( b D a) i a π b b π ab D (i+1)( b D a) i b D a π b +b π a(b D ) 2 (i+1)( b D a) i a π b a (b D ) i+1 ( a) i a π b (b D ) i+1 ( a) i a π = ( b D a) i+1 a π + ( b D a) i bb D a π +b π (i+1)( ab D ) i+2 a π 11

12 b π s 2 (i+1)( ab D ) i+1 bb D a π + ( ab D ) i+1 a π ( b D a) i bb D a π = ( b D a) i+1 a π + ( ab D ) i+1 a π +b π [ (i+1)( ab D ) i+2 a π (i+1)( ab D ) i+1 a π ] = ( b D a) i+1 a π + ( ab D ) i+1 a π b π ( ab D ) i a π = ( b D a) i+1 a π +bb D ( ab D ) i a π (3.1) = ( b D a) i+1 a π + ( bb D ab D ) i a π = = ( b D a) i+1 a π + ( b D a) i a π s ( b D a) i a π + ( b D a) i a π = ( b D a) i a π ( b D a) s a π + (2.13) ( b D a) i a π = ( b D a) i a π ( b D ) s a s a π + ( b D a) i a π = 0. Hence, x 2 (a+b) = y 2. It follows that x(a+b) = (a+b)x. Step 2. We show that x(a+b)x = x. Note that a+b = aξ +a π b. We have x(a+b)x = x(a+b)[a D ξ D + (b D ) i+1 ( a) i a π ] = (a+b)[a D ξ D + (b D ) i+1 ( a) i a π ][a D ξ D + (b D ) i+1 ( a) i a π ] = (a+b)(a D ξ D ) 2 +(a+b)a D ξ D (b D ) i+1 ( a) i a π +(a+b) (b D ) i+1 ( a) i a π (b D ) i+1 ( a) i a π = z 1 +z 2 +z 3, 12

13 where z 1 = (a+b)(a D ξ D ) 2, z 2 = (a+b)a D ξ D (b D ) i+1 ( a) i a π and z 3 = (a+b) (b D ) i+1 ( a) i a π (b D ) i+1 ( a) i a π. Now we prove that z 1 +z 2 +z 3 = x. Firstly, we have z 1 = (a+b)(a D ξ D ) 2 = (aξ +a π b)(a D ξ D ) 2 = aξ(a D ξ D ) 2 +a π b(a D ξ D ) 2 (2.5) = a D ξ D +a π b(a D ξ D ) 2, z 2 = (a+b)a D ξ D (b D ) i+1 ( a) i a π = ξ D aa D (b D ) i+1 ( a) i a π +bξ D a D (b D ) i+1 ( a) i a π = ξ D a D ab D ( b D a) i a π +bξ D (a D ) 2 ab D ( b D a) i a π (2.9) = ξ D a D ( ab D ) i+1 a π bξ D (a D ) 2 ( ab D ) i+1 a π (2.5) = ξ D ( ab D ) i+1 a D a π bξ D ( ab D ) i+1 (a D ) 2 a π = 0. Secondly, we show that z 3 = (b D ) i+1 ( a) i a π +b π a (i+1)(b D ) i+2 ( a) i a π. (3.3) Indeed, we have z 3 = (a+b) (b D ) i+1 ( a) i a π (b D ) i+1 ( a) i a π = b (b D ) i+1 ( a) i a π (b D ) i+1 ( a) i a π +a (b D ) i+1 ( a) i a π (b D ) i+1 ( a) i a π 13

14 = [bb D a π + ( b D a) i a π ] (b D ) i+1 ( a) i a π +a (b D ) i+1 ( a) i a π (b D ) i+1 ( a) i a π = bb D (b D ) i+1 ( a) i a π bb D aa D (b D ) i+1 ( a) i a π + ( b D a) i a π (b D ) i+1 ( a) i a π = = = = +a (b D ) i+1 ( a) i a π (b D ) i+1 ( a) i a π (b D ) i+1 ( a) i a π bb D aa D (b D ) i+1 ( a) i a π + ( b D a) i a π (b D ) i+1 ( a) i a π +a (b D ) i+1 ( a) i a π (b D ) i+1 ( a) i a π (b D ) i+1 ( a) i a π +bb D ( ab D ) i+1 a D a π + ( b D a) i a π (b D ) i+1 ( a) i a π +a (b D ) i+1 ( a) i a π (b D ) i+1 ( a) i a π (b D ) i+1 ( a) i a π + ( b D a) i a π (b D ) i+1 ( a) i a π +a (b D ) i+1 ( a) i a π (b D ) i+1 ( a) i a π (b D ) i+1 ( a) i a π +m 1 +m 2, where m 1 = ( b D a) i a π (b D ) i+1 ( a) i a π, m 2 = a (b D ) i+1 ( a) i a π (b D ) i+1 ( a) i a π. In view of the equality (3.3), it is enough to prove that Since m 1 +m 2 = b π a (i+1)(b D ) i+2 ( a) i a π. b π a (i+1)(b D ) i+2 ( a) i a π = (1 bb D )a (i+1)(b D ) i+2 ( a) i a π 14

15 = a (i+1)(b D ) i+2 ( a) i a π bb D a (i+1)(b D ) i+2 ( a) i a π, we only need to show m 1 = bb D a (i+1)(b D ) i+2 ( a) i a π, m 2 = a (i+1)(b D ) i+2 ( a) i a π. Since a s a π = 0 and bb D commutes with b D a, we get m 1 = = ( b D a) i a π (b D ) i+1 ( a) i a π = s ( b D a) i a π (b D ) i+1 ( a) i a π s s ( bb D b D a) i a π ( b D a) i b D a π = bb D ( b D a) i a π ( b D a) i b D a π s = bb D ( b D a) i 1 b D aa π ( b D a) i b D a π = bb D ( b D a) i ( b D a) i (b D aa π )b D a π = bb D ( b D a) i ( b D a) i b D (b D aa π )a π = bb D ( b D a) i ( b D a) i (b D ) 2 aa π = bb D (b D ) 2 a ( b D a) i ( b D a) i a π = b(b D ) 2 ab D ( b D a) i ( b D a) i a π = bb D a(b D ) 2 ( b D a) i ( b D a) i a π = bb D a(b D ) 2 (i+1)( b D a) i a π (2.13) = bb D a (i+1)(b D ) i+2 ( a) i a π. 15

16 Similarly, m 2 = a (b D ) i+1 ( a) i a π (b D ) i+1 ( a) i a π = a ( b D a) i ( b D a) i b D a π b D a π = a ( b D a) i b D a π ( b D a) i b D a π = a ( b D a) i ( b D a) i b D b D a π a π = a ( b D a) i ( b D a) i (b D ) 2 a π = a(b D ) 2 ( b D a) i ( b D a) i a π = a(b D ) 2 (i+1)( b D a) i a π (2.13) = a(b D ) 2 (i+1)(b D ) i ( a) i a π = a (i+1)(b D ) i+2 ( a) i a π. Thus, z 3 = (b D ) i+1 ( a) i a π +b π a (i+1)(b D ) i+2 ( a) i a π. Therefore, x(a+b)x = x. Step 3. We prove that (a+b) (a+b) 2 x is nilpotent. Note that the proof of step 1. We have (2.5) (a+b) (a+b) 2 x = (a+b) [a D ξ D + (b D ) i+1 ( a) i a π ](a+b) 2 = (a+b) ξ D a D (a+b) 2 (b D ) i+1 ( a) i a π (a+b) 2 = (a+b) ξ D a(a D (a+b)) 2 (b D ) i+1 ( a) i a π (a 2 +ab+ba+b 2 ) = aξ +a π b ξ D a(ξ a π ) 2 (b D ) i+1 ( a) i a π a 2 (2.13) (b D ) i+1 ( a) i a π ab (b D ) i+1 ( a) i a π ba (b D ) i+1 ( a) i a π b 2 = aξ +a π b ξ D a(ξ 2 a π )+ ( b D a) i+1 aa π + ( b D a) i+1 a π b 16

17 (3.2) ( b D a) i b D a π ba b D ( b D a) i a π b 2 = aξ +a π b ξ D a(ξ 2 a π )+ ( b D a) i+1 aa π + ( b D a) i+1 a π b ( b D a) i bb D aa π b D ( b D a) i a π b 2 = aξ +a π b ξ D a(ξ 2 a π ) bb D aa π + ( b D a) i+1 a π b b D ( b D a) i a π b 2 = aξ +a π b ξ D a(ξ 2 a π ) bb D aa π + ( b D a) i+1 a π b (3.2) ( b D a) i b D a π b 2 = aξ +a π b ξ D a(ξ 2 a π ) bb D aa π + ( b D a) i+1 a π b ( b D a) i bb D a π b = aξ +a π b ξ D a(ξ 2 a π ) bb D aa π + ( b D a) i+1 a π b bb D ( b D a) i a π b = aξ +a π b ξ D aξ 2 +ξ D aa π bb D aa π bb D a π b = (aξ ξ D aξ 2 )+ξ D aa π +(a π b bb D a π b) bb D aa π = aξξ π +ξ D aa π +b π a π b bb D aa π = b 1 +b 2. By Lemma 2.8, (a+b) (a+b) 2 x = b 1 +b 2 is nilpotent. The proof is completed. Corollary 3.4. [16,Theorem 3] Let a,b R D with ab = ba. Then a+b is Drazin invertible 17

18 if and only if 1+a D b is Drazin invertible. In this case, we have (a+b) D = (1+a D b) D a D +b D (1+aa π b D ) 1 a π = a D (1+a D b) D bb D +b π (1+bb π a D ) 1 +b D (1+aa π b D ) 1 a π, and (1+a D b) D = a π +a 2 a D (a+b) D. Proof. Since ab = ba, we have a, b, a D and b D commute with each other. Hence, it follows that a π b[a D (1+a D b) D ] 2 = 0 and b π a (i+1)(b D ) i+2 ( a) i a π = 0, where s = ind(a). Since aa π b D is nilpotent, 1+aa π b D is invertible and (1+aa π b D ) 1 = 1+( aa π b D )+( aa π b D ) 2 + +( aa π b D ) = We have ( b D aa π ) i. b D (1+aa π b D ) 1 a π = b D ( b D aa π ) i a π = b D (b D ) i ( a) i a π = (b D ) i+1 ( a) i a π. Therefore, (a+b) D = (1+a D b) D a D +b D (1+aa π b D ) 1 a π. ACKNOWLEDGMENTS This research is supported by the National Natural Science Foundation of China ( ), the Specialized Research Fund for the Doctoral Program of Higher Education ( ), the Natural Science Foundation of Jiangsu Province (BK ) and the Foundation of Graduate Innovation Program of Jiangsu Province(CXLX13-072). References [1] C.J. Bu, C.C. Feng and S.Y. Bai, Representation for the Drazin inverses of the sum of two matrices and some block matrices, Appl. Math. Comput. 218 (2012)

19 [2] N. Castro-González, E. Dopazo, Representation of the Drazin inverse for a class of block matrices, Linear Algebra Appl. 400 (2005) [3] N. Castro-González, E. Dopazo and M.F. Martínez-Serrabo, On the Drazin inverse of the sum of two operators and its application to operator matrices, J. Math. Anal. Appl. 350 (2009) [4] D.S. Cvetković-Ilić, C.Y. Deng, Some results on the Drazin invertibility and idempotents, J. Math. Anal. Appl. 359 (2009) [5] C.Y. Deng, The Drazin inverses of bounded operators with commutativity up to a factor, Appl. Math. Comput. 206 (2008) [6] C.Y. Deng, The Drazin inverses of products and differences of orthgonal projections, J. Math. Anal. Appl. 355 (2007) [7] M.P. Drazin, Pseudo-inverses in associative rings and semigroups, Amer. Math. Monthly 65 (1958) [8] J.J. Koliha, P. Patricio, Elements of rings with equal stectral idempotents, J. Aust. Math. Soc. 72 (2002) [9] X.J. Liu, S.X. Wu and Y.M. Yu, On the Drazin inverse of the sum of two matrices, J. Appl. Math. 2011, doi: /2011/ [10] X.J. Liu, L. Xu and Y.M. Yu, The representations of the Drazin inverse of difference of two matrices, Appl. Math. Comput. 216 (2010) [11] P. Patrício, R.E. Hartwig, Some additive results on Drazin inverse, Appl. Math. Comput. 215 (2009) [12] Y.M. Wei, C.Y. Deng, A note on additive results for the Drazin invere, Linear Multilinear Algebra 59 (2011) [13] Y. Wei, X. Li and F. Bu, A perturbation bounds of the Drazin inverse of a matrix by separation of simple invariant subspaces, SIAM J. Matrix Anal. Appl. 27(2005)

20 [14] Y.M. Wei, G.R. Wang, The perturbation theory for the Drazin inverse and its applications, Linear Algebra Appl. 258 (1997) [15] H. Yang, X.F. Liu, TheDrazin inverse of thesum of two matrices and its applications, J. Comput. Appl. Math. 235 (2011) [16] G.F. Zhuang, J.L. Chen, D.S. Cvetković-Ilić and Y.M. Wei, Additive property of Drazin invertibility of elements in a ring, Linear Multilinear Algebra 60 (2012)