arxiv: v1 [math.ra] 27 Jul 2013

Additive and product properties of Drazin inverses of elements in a ring arxiv:1307.7229v1 [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) 903-910) 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 210096, China. Email: ahzhh08@sina.com (H. Zhu), jlchen@seu.edu.cn(j. Chen) 1

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 = 0 0. 0 0 1 0 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)

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

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

(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

= 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

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

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

= 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 1 0 0 0 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

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

(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

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

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

= [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

= 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

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

(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

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 (10971024), the Specialized Research Fund for the Doctoral Program of Higher Education (20120092110020), the Natural Science Foundation of Jiangsu Province (BK2010393) 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) 10226-10237. 18

[2] N. Castro-González, E. Dopazo, Representation of the Drazin inverse for a class of block matrices, Linear Algebra Appl. 400 (2005) 253-269. [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) 207-215. [4] D.S. Cvetković-Ilić, C.Y. Deng, Some results on the Drazin invertibility and idempotents, J. Math. Anal. Appl. 359 (2009) 731-738. [5] C.Y. Deng, The Drazin inverses of bounded operators with commutativity up to a factor, Appl. Math. Comput. 206 (2008) 695-703. [6] C.Y. Deng, The Drazin inverses of products and differences of orthgonal projections, J. Math. Anal. Appl. 355 (2007) 64-71. [7] M.P. Drazin, Pseudo-inverses in associative rings and semigroups, Amer. Math. Monthly 65 (1958) 506-514. [8] J.J. Koliha, P. Patricio, Elements of rings with equal stectral idempotents, J. Aust. Math. Soc. 72 (2002) 137-152. [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:10.1155/2011/831892. [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) 3652-3661. [11] P. Patrício, R.E. Hartwig, Some additive results on Drazin inverse, Appl. Math. Comput. 215 (2009) 530-538. [12] Y.M. Wei, C.Y. Deng, A note on additive results for the Drazin invere, Linear Multilinear Algebra 59 (2011) 1319-1329. [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) 72-81. 19

[14] Y.M. Wei, G.R. Wang, The perturbation theory for the Drazin inverse and its applications, Linear Algebra Appl. 258 (1997) 179-186. [15] H. Yang, X.F. Liu, TheDrazin inverse of thesum of two matrices and its applications, J. Comput. Appl. Math. 235 (2011) 1412-1417. [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) 903-910. 20