Abstract
In this note, we generalize Cline’s formula for some new generalized inverses such as strong Drazin inverse, generalized strong Drazin inverse, Hirano inverse and generalized Hirano inverse. As a particular case, some recent results on this subject are recovered.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In this paper, \(\mathcal {R}\) denotes an associative ring with a unit element denoted by 1. We denote by \(\mathcal {R}^{inv}\) the set of all invertible elements in \(\mathcal {R}\), \( \mathcal {R}^{nil}\) the set of all nilpotent elements in \(\mathcal {R}\). Let \(a\in \mathcal {R} \). We use the following notations
and
Following Harte[14], an element \(a \in \mathcal {R}\) is quasinilpotent if, for all \(x \in \text {comm}(a)\), \(1 + ax \in \mathcal {R}^{inv}\). The set of all quasinilpotent elements in \(\mathcal {R}\) is denoted by \( \mathcal {R}^{qnil}\). The Jacobson radical of \(\mathcal {R}\), denoted as \(J(\mathcal {R})\), is defined as the set of elements a for which \(1 + ax\) is invertible for all x in \(\mathcal {R}\).
In [27], Wang introduced a subclass of the Drazin inverse. An element \(a \in \mathcal {R}\) is strongly Drazin invertible (or, s-Drazin invertible) if there exists \(x \in \mathcal {R}\) such that
If such x exists, it is unique and is called the strong Drazin inverse (called also s-Drazin inverse) of a, denoted by \(a^{sD}\). The least non-negative integer k, for which \((a-a x)^k=0\) holds, is called the Drazin index of a, denoted by \({\text {i}_\text {sD}}(a)\). The set of all elements in \(\mathcal {R}\) that have a s-Drazin inverse is denoted by \(\mathcal {R}^{sD}\). An element \(a \in \mathcal {R}\) is called Drazin invertible if we replace the condition \(a-a x \in \mathcal {R}^{\text{ nil } }\) in the definition of the s-Drazin invertible element with \(a(1-a x) \in \mathcal {R}^{\text{ nil } }\) (see [10]). In this case, x is called a Drazin inverse of a and denoted by \(x=a^D\). By \(\mathcal {R}^D\) we represent the set of all Drazin invertible elements of \(\mathcal {R}\). As observed in [5], \(\mathcal {R}^{sD} \subsetneq \mathcal {R}^D\). Thus, the \(\textrm{s}\)-Drazin inverse of a is unique if it exists, and it belongs to the double commutant of a. However, invertible elements may not be s-Drazin invertible in general. For example (see [29]), 2 is invertible but not s-Drazin invertible in complex number field \(\mathbb {C}\).
In [5], Chen and Abdolyousefi introduced the Hirano inverse. An element \(a \in \mathcal {R}\) is called Hirano invertible provided that there exists \(x \in \mathcal {R}\) such that
If such x exists, it is unique and is called the Hirano inverse of a denoted by \(a^H\) and the least non-negative integer k for which \(\left( a^2-a x\right) ^k=0\) holds is called the Hirano index of a, and is denoted by \({\text {i}_\text {H}}(a)\). The set of all elements in \(\mathcal {R}\) that have a Hirano inverse is denoted by \(\mathcal {R}^{H}\). Also by [5], \(\mathcal {R}^{sD} \subsetneq \mathcal {R}^H \subsetneq \mathcal {R}^D\). However, the indices \(i_{sD}(a)\) and \(i_H(a)\) need not be the same in general (see for instance [29]).
Mosić [22] in a complex Banach algebra and Gürgün [11] in a ring have generalized the notion of strong Drazin inverse. Recall that an element \(a \in \mathcal {R}\) is generalized strongly Drazin invertible (or, gs-Drazin invertible) if there exists \(x \in \mathcal {R}\) such that
If such x exists, it is unique (see [17, Theorem 4.2]) and is called the generalized strong Drazin inverse of a and is denoted by \(a^{g S D}\). The set of all elements in \(\mathcal {R}\) that have a generalized strong Drazin inverse is denoted by \(\mathcal {R}^{g S D}\). If we replace the third condition \(a-a x \in \mathcal {R}^{\text{ qnil }}\) in the above definition by of \(a(1-a x)\in \mathcal {R}^{\text{ qnil } }\), then \(a \in \mathcal {R}\) is called generalized Drazin invertible (see [17]). In this case, x is called a generalized Drazin inverse of a and denoted by \(x=a^{gD}\). By \(\mathcal {R}^{gD}\) we represent the set of all generalized Drazin invertible elements of \(\mathcal {R}\). By [11, Corollary 3.3], \( \mathcal {R}^{g s D} \subsetneq \mathcal {R}^{gD}\).
Recently, Abdolyousefi and Chen [1] introduced a concept that extended the notion of generalized Drazin inverse called generalized Hirano inverse. An element \(a \in \mathcal {R}\) is generalized Hirano inverse if there exists an \(x \in \text {comm}^2(a)\) such that
The element x above is unique, if it exists, it is called the generalized Hirano inverse of a, denoted by \(x=a^{g H}\). We denote by \(\mathcal {R}^{g H}\) the set of all generalized Hirano invertible elements in \(\mathcal {R}\).
Furthermore, Cline [6], proved that the product ab is Drazin invertible if and only if ba is Drazin invertible. Moreover, the Drazin inverse of ba can be expressed as:
This equality is known as Cline’s fromula, which is very useful in finding the Drazin inverse for the sum of two elements and also for the Drazin inverse of block matrices. Since this formula is widely used in mentioned topics and there are plenty significant results (we refer the reader to see [9, 15, 21, 23, 26, 30, 32]).
In order to extend the Cline’s formula, the authors in [5, 11] studied the strong Drazin invertibility, generalized strong Drazin invertibility, Hirano invertibility and generalized Hirano invertibility of products ac and ba under condition:
In [29] and [25], the authors extended the Cline’s formula for strong Drazin inverse, generalized strong Drazin inverse, Hirano inverse and generalized Hirano inverse, under other conditions.
Recently, in [12, 16, 20, 25, 31], authors investigated the Drazin inverse for operators AC and BD.
Several works have been devoted to extend Cline’s formula for generalized inverses, when the following condition is satisfied:
In this paper, we extend Cline’s formula for new generalized inverses, related to the Drazin inverse, such as (generalized) strong Drazin inverse and (generalized) Hirano inverse. Precisely, when the condition (2) is satisfied, we prove that
and we have
where \(\bullet \in \{sD, g sD, H, g H\}\). As a special case, we recover some recent results in [1, 5, 11, 27].
2 Results
Wang established Cline’s formula for s-Drazin inverse (see [27, Theorem 3.1]). In the following, we generalize it to the case when (2) holds.
Theorem 1
Suppose that \(a, b, c \in \mathcal {R}\) satisfy \(a(b a)^2=a b a c a=a c a b a=(a c)^2 a\). Then
In this case, we have
Proof
Let \(b a \in \mathcal {R}^{sD}\) and let \(s \in \mathcal {R}\) be s-Drazin inverse of ba. Then, for some non-negative integer k, we have:
Take \(t=a s^2 c\). By [4, Theorem 2.7], t is a Drazin inverse of ac, so we have
Thus, to prove that \(a c \in \mathcal {R}^{sD}\), we need to show that \((a c-a c t)^n=0\), for some non-negative integer n. Since \((1-s) b a=b a(1-s)\), we have that \((1-s)^k(b a)^k=0\). By the hypothesis of the theorem, we get
Let us prove that, for every non-negative integer m, the following equality holds
Using the induction by m and by the hypothesis of the theorem, we have the following. For \(m=1\), we get
Therefore, the statement (3) holds for \(m=1\). Now, let us suppose that the statement (3) holds for some \(m \ge 2\) and let us prove that, in that case, (3) holds for \(m+1\). We have
Hence, the statement (3) holds for every m. Since \([a(1 - s)c]^{k+2} = a(1 - s)ca(ba - sba)^k(1 - s)c\) and \((ba - sba)^{k} = 0\), we have that \((ac - act)^{k+2} = 0\).
Conversely, suppose that \(a c \in \mathcal {R}^{sD}\) and let u be the strong Drazin inverse of ac and m its index. Set \(v=b u^2 a\). By [4, Theorem 2.7] again, we know that v is a Drazin inverse of ba. Therefore, it remains to show that \((b a-b a v)^n=0\), for some non-negative integer n. By the hypothesis of the theorem, we get
Now, let us prove that
holds for every m. Using the induction by m and by the hypothesis of the theorem, we have the following. For \(m=1\), we get
Therefore, the statement (4) holds for \(m=1\). Now, let us suppose that the statement (4) holds for some \(m \ge 2\) and let us prove that, in that case, (4) holds for \(m+1\). We have
Hence, the statement (4) holds for every m. Since \((b a-b a v)^{m+2}=[b(1-u) a]^{m+2}=\) \(b(1-u)(a c-a c u)^m a b(1-u) a\) and \((a c-a c u)^m=0\), the proof is complete. \(\square \)
In the sequel, we use \(\mathcal {B}(X, Y)\) to denote the set of all bounded linear operators from Banach space X to Banach space Y. Using the technique of block matrices, we obtain the operator case of Theorem 1.
Corollary 1
Suppose that \(A, B, C \in \mathcal {B}(X, Y)\) satisfy \(A(B A)^2=A B A C A=A C A B A=(A C)^2 A\). Then AC is s-Drazin invertible if and only if BA is s-Drazin invertible.
In this case, we have
Moreover, we have the following corollary.
Corollary 2
Suppose that \(a, b, c \in \mathcal {R}\) satisfy \(a(b a)^2=a b a c a=a c a b a=(a c)^2 a\) and let \(n \ge 2\) be an integer. Then
In this case,
Proof
Let \(b^{\prime }=b(a b)^{n-1}\) and \(c^{\prime }=c(a c)^{n-1}\). Then \(a(b^{\prime } a)^2=a b^{\prime } a c^{\prime } a=a c^{\prime } a b^{\prime } a=(a c^{\prime })^2 a\). From Theorem 1, it follows that \((a c)^n=a c^{\prime } \in \mathcal {R}^{sD}\) if and only if \((b a)^n=b^{\prime } a \in \mathcal {R}^{sD}\), and we have
and
as required. \(\square \)
Jacobson’s lemma states that \(1-a b \in \mathcal {R}^{-1}\) if and only if \(1-b a \in \mathcal {R}^{-1}\). In recent years, numerous mathematicians paid much attention to Jacobson’s lemma for (generalized) Drazin inverse (see [3, 8, 12, 13, 18, 24, 35]). The next goal of this paper is finding proper counterparts of Jacobson’s lemma for s-Drazin inverse under the condition (2).
In [27, Lemma 3.3], Wang proved that if \(a \in \mathcal {R}^{sD}\) with \(\textrm{i}_{sD}(a)=k\), then \(1-a \in \mathcal {R}^{sD}\) with \(\textrm{i}_{sD}(1-a)=k\) and \((1-a)^{sD}=\sum _{i=0}^{k-1} a^i\left( 1-a a^{sD}\right) \). This result establishes a bridge from Cline’s formula for s-Drazin inverse to Jacobson’s Lemma for s-Drazin inverse.
Corollary 3
Suppose that \(a, b, c \in \mathcal {R}\) satisfy \(a(b a)^2=a b a c a=a c a b a=(a c)^2 a\).
-
(1)
If \(1-a c \in \mathcal {R}^{sD}\) with \(\textrm{i}_{sD}(1-a c)=k\), then \(1-b a \in \mathcal {R}^{sD}\) and
$$\begin{aligned} (1-b a)^{sD}=\sum _{i=0}^{k+1}(b a)^i-b\left[ \sum _{i=0}^{k+1} \sum _{j=0}^{k-1}(ab)^i(1-a c)^j\right] \left[ 1-(1-a c)(1-a c)^{sD}\right] a. \end{aligned}$$ -
(2)
If \(1-b a \in \mathcal {R}^{sD}\) with \(\textrm{i}_{sD}(1-b a)=k\), then \(1-a c \in \mathcal {R}^{sD}\) and
$$\begin{aligned} (1-a c)^{sD}=\sum _{i=0}^{k+1}(a c)^i-a\left[ \sum _{i=0}^{k+1}( ca)^i\right] \left[ \sum _{j=0}^{k-1}(1-b a)^j\right] ^2\left[ 1-(1-b a)(1-b a)^{sD}\right] c. \end{aligned}$$
Proof
-
(1)
Let \(1-a c \in \mathcal {R}^{sD}\). By [27, Lemma 3.3] it follows that \(a c \in \mathcal {R}^{sD}, i_{sD}(a c)=k\) and
$$\begin{aligned} (a c)^{sD}=\left[ \sum _{j=0}^{k-1}(1-a c)^j\right] \left[ 1-(1-a c)(1-a c)^{sD}\right] . \end{aligned}$$Applying Theorem 1, we can get \(b a \in \mathcal {R}^{sD}\) and \((b a)^{sD}=b\left( (a c)^{sD}\right) ^2 a\) and \(\textrm{i}_{sD}(b a) \le k+2\). According to [27, Lemma 3.3] again, it follows that \(1-b a \in \mathcal {R}^{sD}\) and
$$\begin{aligned} \begin{aligned} (1-b a)^{sD}&=\left[ \sum _{i=0}^{k+1}(b a)^i\right] \left[ 1-(b a)(b a)^{sD}\right] =\left[ \sum _{i=0}^{k+1}(b a)^i\right] \left[ 1-b(a c)^{sD} a\right] \\&=\left[ \sum _{i=0}^{k+1}(b a)^i\right] \left[ 1-b\left[ \sum _{j=0}^{k-1}(1-a c)^j\right] \left[ 1-(1-a c)(1-a c)^{sD}\right] a\right] \\&=\sum _{i=0}^{k+1}(b a)^i-\left[ \sum _{i=0}^{k+1} ( ba)^i b\sum _{j=0}^{k-1}(1-a c)^j\right] \left[ 1-(1-a c)(1-a c)^{sD}\right] a\\&=\sum _{i=0}^{k+1}(b a)^i-b\left[ \sum _{i=0}^{k+1} \sum _{j=0}^{k-1}( ab)^i(1-a c)^j\right] \left[ 1-(1-a c)(1-a c)^{sD}\right] a. \end{aligned} \end{aligned}$$ -
(2)
The proof is similar to that of (1).
\(\square \)
Corollary 4
Suppose that \(a, b, c \in \mathcal {R}\) satisfy \(a(b a)^2=a b a c a=a c a b a=(a c)^2 a\), let \(n \ge 2\) be an integer. Then
Proof
Let
Then we have \(a(b_{n} a)^2=a b_{n} a c_{n} a=a c_{n} a b_{n} a=(a c_{n})^2 a\). Note that \(1-a c_{n}=(1-ac)^{n}\) and \(1-b_{n} a=(1-ba)^{n}\). From Corollary 3, we can get that \((1-ba)^{n} \in \mathcal {R}^{sD}\).
The proof of the converse is similar. \(\square \)
Cline’s formula for gs-Drazin inverse was established in [11, Theorem 4.14] under the assumption (1). Next, we generalize it to the case when (2) holds. The following auxiliary lemma is needed.
Lemma 1
([4, Lemma 2.1]) Suppose that \(a, b, c \in \mathcal {R}\) satisfy \(a(b a)^2=a b a c a=a c a b a=(a c)^2 a\). Then
Theorem 2
Suppose that \(a, b, c \in \mathcal {R}\) satisfy \(a(b a)^2=a b a c a=a c a b a=(a c)^2 a\). Then \(a c \in \mathcal {R}^{g s D}\) if and only if \(b a \in \mathcal {R}^{g s D}\). In this case, we have
Proof
Suppose that \(b a \in \mathcal {R}^{g s D}\) and let s be the generalized strong Drazin inverse of ba. Take \(t=a s^2 c\). From [4, Theorem 2.2] it follows that, t is a generalized Drazin inverse of ac. Hence, in order to show that \(a c \in \mathcal {R}^{g s D}\), it is sufficient to prove \((a c-a c t) \in \mathcal {R}^{\text{ qnil } }\). Let \(c^{\prime }=c\left( 1- t\right) \) and \(b^{\prime }=(1-s) b\). Then \(b^{\prime } a \in \mathcal {R}^{\text{ qnil } }\). By the hypothesis of the theorem, we get
Moreover, a direct calculation shows that \(a(b^{\prime } a)^2=a b^{\prime } a c^{\prime } a=a c^{\prime } a b^{\prime } a=(a c^{\prime })^2 a\) and \(a c-a c t=a c^{\prime }\). Then by Lemma 1, we deduce that \(a c-a c t \in \mathcal {R}^{\text{ qnil } }\), which yields that \(a c \in \mathcal {R}^{g s D}\). By similar arguments as above, one can show that if \(a c \in \mathcal {R}^{g s D}\), then \(b a \in \mathcal {R}^{g s D}\) and \((b a)^{g s D}=b\left( (a c)^{g s D}\right) ^2 a\). \(\square \)
From the proof of [27, Lemma 3.3], we can also deduce that \(a \in \mathcal {R}^{g s D}\) if and only if \(1-a \in \mathcal {R}^{g s D}\). Hence, as an immediate consequence of Theorem 2, we arrive at the following result.
Corollary 5
Suppose that \(a,b,c \in R\) such that \(a(b a)^2=a b a c a=a c a b a=(a c)^2a\). Then
In the following, as an extension of [5, Theorem 4.1], we establish Cline’s formula for Hirano inverse under the condition (2).
Theorem 3
Suppose that \(a, b, c \in \mathcal {R}\) satisfy \(a(b a)^2=a b a c a=a c a b a=(a c)^2 a\). Then \(a c \in \mathcal {R}^H\) if and only if \(b a \in \mathcal {R}^H\). In this case, we have
Proof
Suppose that \(b a \in \mathcal {R}^H\), i.e. there exists \(s \in \mathcal {R}\) and non-negative integer k, such that
By [5, Theorem 2.1], we have that \(b a \in \mathcal {R}^D\) and \((b a)^D=s\). Take \(t=a s^2 c\). By [4, Theorem 2.7], t is a Drazin inverse of ac, so we have \(t(a c)=(a c) t\) and \(t(a c) t=t\). Note that we have \(\left( \left( b a^2\right) -s b a\right) ^k=0\) holds and we have to prove that \(\left( (a c)^2-a c t\right) ^n=0\) holds, for some n. Since we have
using the induction by k, we get
for every integer \(k \ge 1\). Next, we will prove that
using the induction by k. For \(k=1\), we have
Therefore, (6) holds for \(k=1\). Suppose that (6) holds for some \(k>1\) and let us prove that, in that case, (6) holds for \(k+1\). We have
Hence, we proved that (6) holds for every \(k \ge 1\).Therefore, by (6) and (5), we have \(\left( (ac)^2-ac t\right) ^{k+2}=[a(ba-s) c]^{k+2}=a\left[ (ba)^2-ba s\right] ^{k+1} (ba-s)c=0\).
Conversely, suppose that \(a c \in \mathcal {R}^H\) and let \(u=(a c)^H, i_H(a c)=m\), where m is a non-negative integer. Then \(\left( (a c)^2-a c u\right) ^m=0\). Moreover, by [5, Theorem 2.1], we have \(a c \in \mathcal {R}^D\) and \((a c)^D=s\). Set \(v=b u^2 a\). By [4, Theorem 2.7] again, we know that v is a Drazin inverse of ba. Therefore, it remains to prove that \(\left( (b a)^2-b a v\right) ^n=0\), for some non-negative integer n. Since we have
using the induction by k, we get
for every integer \(k \ge 1\). Next, we will prove that
using the induction by k. For \(k=1\), we have
Therefore, (8) holds for \(k=1\). Suppose that (8) holds for some \(k>1\) and let us prove that, in that case, (8) holds for \(k+1\). We have
Hence, we proved that (8) holds for every \(k \ge 1\). Therefore, by (8) and (7), we have \(\left( (b a)^2-b a v\right) ^{m+2}=[b(a c-u) a]^{m+2}=b(a c-u)\left[ (a c)^2-a c u\right] ^{m+1} a=0\). The proof is complete. \(\square \)
At last, Cline’s formula for generalized Hirano inverse is established under the assumption (2), extending [1, Theorem 4.1].
Theorem 4
Suppose that \(a, b, c \in \mathcal {R}\) satisfy \(a(b a)^2=a b a c a=a c a b a=(a c)^2 a\). Then
In this case, we have
Proof
Suppose that \(b a \in \mathcal {R}^{g H}\) and let s be the generalized Hirano inverse of ba. By [1, Corollary 2.3], it follows that \(s = (ba)^{gD}\). Take \(t=a s^2 c\). From [4, Theorem 2.2] it follows that, t is a generalized Drazin inverse of ac. Hence, in order to show that \(a c \in \mathcal {R}^{g H}\), it is sufficient to prove \((a c)^2-a c t \in \mathcal {R}^{\text{ qnil } }\). Let \(b^{\prime }=(ba-s) b\) and \(c^{\prime }=c \left( ac-t\right) \). Then \(b^{\prime } a \in \mathcal {R}^{\text{ qnil } }\). By the hypothesis of the theorem, we get
Moreover, a direct calculation shows that \(a(b^{\prime } a)^2=a b^{\prime } a c^{\prime } a=a c^{\prime } a b^{\prime } a=(a c^{\prime })^2 a\) and \((a c)^2-a c t=a c^{\prime }\). Then by Lemma 1, we deduce that \((a c)^2-a c t \in \mathcal {R}^{\text{ qnil } }\), which yields that \(a c \in \mathcal {R}^{g H}\).
By similar arguments as above, one can show that if \(a c \in \mathcal {R}^{g H}\), then \(b a \in \mathcal {R}^{g H}\) and \((b a)^{g H}=b\left( (a c)^{g H}\right) ^2 a\). \(\square \)
We remark that analogous results of Corollary 1 and 2 also hold for generalized strong Drazin inverse, Hirano inverse and generalized Hirano inverse. We conclude this note by a numerical example (example taken from [4]) to demonstrate Theorems 1, 2, 3 and 4.
Example 1
Let \(\mathcal {R}=M_6\left( \mathbb {Z}_2\right) , x=\left( \begin{array}{lll}0 &{} 1 &{} 0 \\ 0 &{} 0 &{} 1 \\ 0 &{} 0 &{} 0\end{array}\right) \in M_3\left( \mathbb {Z}_2\right) \). Then \(x^2 \ne 0\) and \(x^3=0\). Choose
Then \(a(b a)^2=a b a c a=a c a b a=(a c)^2 a\), but \(a b a \ne a c a\). In this case, \(a c \in \mathcal {R}^{\bullet }\), where \(\bullet \in \{s D, g s D, H, g H\}\).
Date availability
No data were produced for this paper.
References
Abdolyousefi, M.S., Chen, H.Y.: Generalized Hirano inverses in rings. Commun. Algebra 47(7), 2967–2978 (2019)
Barnes, B.A.: Common operator properties of the linear operators \(RS\) and \(SR\). Proc. Am. Math. Soc. 126, 1055–1061 (1998)
Castro-González, N., Mendes-Araújo, C., Patrício, P.: Generalized inverses of a sum in rings. Bull. Aust. Math. Soc. 82, 156–164 (2010)
Chen, H.Y., Abdolyousefi, M.S.: Cline’s Formula for g-Drazin Inverses in a Ring. Filomat 33(8), 2249–2255 (2019)
Chen, H.Y., Abdolyousefi, M.S.: On Hirano inverses in rings. Turk. J. Math. 43(4), 2049–2057 (2019)
Cline, R.E.: An application of representation for the generalized inverse of a matrix. MRC Tech. Rep. 592, 174–198 (1965)
Corach, G., DuggaL, B.P., Harte, R.: Extensions of Jacobson’s lemma. Commun. Algebra 41(2), 520–531 (2013)
Cvetković-Ilić, D., Harte, R.: On Jacobson’s lemma and Drazin invertibility. Appl. Math. Lett. 23, 417–420 (2010)
Dopazo, E., Martínez-Serrano, M.F., Robles, J.: Block representations for the Drazin inverse of anti-triangular matrices. Filomat 30(14), 3897–3906 (2016)
Drazin, M.P.: Pseudo-inverse in associative rings and semigroups. Amer. Math. Mon. 65, 506–514 (1958)
Gürgün, O.: Properties of generalized strongly Drazin invertible elements in general rings. J. Algebra Appl. 16(8), 1750207 (2017)
Hadji, S., Zguitti, H.: Further common spectral properties of bounded linear operators AC and BD. Rendiconti del Circolo Matemati di Palermo Series 2(71), 707–723 (2022)
Hadji, S., Zguitti, H.: Jacobson’s Lemma for Generalized Drazin-Riesz Inverses. Acta Math. Sin., Engl. Ser. 39, 481–496 (2023)
Harte, R.: On quasinilpotents in rings. Panamer. Math. J. 1, 10–16 (1991)
Hartwig, R.E., Wang, G., Wei, Y.: Some additive results on Drazin inverse. Linear Algebra Appl. 322, 207–217 (2001)
Jiang, Y., Wen, Y.X., Zeng, Q.P.: Generalizations of Cline’s formula for three generalized inverses. Rev. Un. Mat. Argent. 58(1), 127–134 (2017)
Koliha, J.J., Patrício, P.: Elements of rings with equal spectral idempotents. Pan Am. Math. Soc. 72, 137–152 (2002)
Lam, T.Y., Nielsen, P.P.: Jacobson’s lemma for Drazin inverses. Contemp. Math.: Ring Theory Appl. 609, 185–196 (2014)
Liao, Y.H., Chen, J.L., Cui, J.: Cline’s formula for the generalized Drazin inverse. Bull. Malays. Math. Sci. Soc. 37(1), 37–42 (2014)
Lian, H.F., Zeng, Q.P.: An extension of Cline’s formula for a generalized Drazin inverse. Turk. J. Math. 40(1), 161–165 (2016)
Ljubisavljević, J., Cvetković-Ilić, D.S.: Additive results for the Drazin inverse of block matrices and applications. J. Comput. Appl. Math. 235, 3683–3690 (2011)
Mosić, D.: Reverse order laws for the generalized strong Drazin inverses. Appl. Math. Comput. 284, 37–46 (2016)
Patrício, P., Hartwig, R.E.: Some additive results on Drazin inverses. Appl. Math. Comput. 215, 530–538 (2009)
On the Drazin index of regular elements: Patrício, P., Veloso da Costa, A. Cent. Eur. J. Math. 7, 200–205 (2009)
Ren, Y., Jiang, L.: Jacobson’s lemma for the generalized n-strong Drazin inverses in rings and in operator algebras. Glasnik Matematicki 57(1), 1–15 (2022)
Višnjić, J.: On some previous results for the Drazin inverse of block matrices. Filomat 30(1), 126–130 (2016)
Wang, Z.: A class of Drazin inverses in rings. Filomat 31(6), 1781–1789 (2017)
Wang, Z., Chen, J.L.: Pseudo Drazin inverse in associative rings and Banach algebras. Linear Algebra Appl. 437(6), 1332–1345 (2012)
Wu, Z., Zeng, Q.: Extensions of Cline’s formula for some new generalized inverses. Filomat 35, 477–483 (2021)
Yang, H., Liu, X.: The Drazin inverse of the sum of two matrices and its applications. J. Comput. Appl. Math. 235, 1412–1417 (2011)
Yan, K., Zeng, Q., Zhu, Y.: On Drazin spectral equation for the operator products. Complex Anal. Oper. Theory 14, 12 (2020)
Yousefi, R., Dana, M.: Generalizations of some conditions for Drazin inverses of the sum of two matrices. Filomat 32(18), 6417–6430 (2018)
Zeng, Q.P., Wu, Z.Y., Wen, Y.X.: New extensions of Cline’s formula for generalized inverses. Filomat 31(7), 1973–1980 (2017)
Zeng, Q.P., Zhong, H.J.: New results on common properties of the products \(AC\) and \(BA\). J. Math. Anal. Appl. 427, 830–840 (2015)
Zhuang, G., Chen, J., Cui, J.: Jacobson’s lemma for the generalized Drazin inverse. Linear Algebra Appl. 436, 742–746 (2012)
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The author declare that they have no conflict of interest.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
Hadji, S. A note on Cline’s formula for some generalized inverses in a ring. Ann Univ Ferrara (2024). https://doi.org/10.1007/s11565-024-00539-z
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s11565-024-00539-z
Keywords
- Cline’s formula
- Ring
- Strong Drazin inverse
- Generalized strong Drazin inverse
- Hirano inverse
- Generalized Hirano inverse