Hua's identity for the \(\{1, 2\}\)-inverse (Q2304375)

Let \(X\) and \(Y\) be Banach spaces and let \(B(X ,Y )\) be the set of all bounded linear operators from \(X\) to \(Y\). Let \(A \in B(X ,Y )\) and \(B \in B(Y ,X )\); if \(ABA = A\) implies that for \(C = BAB\) we have \(AC A = A\) and \(CAC = C\), such \(C\) is called a reflexive generalized inverse (or \(\{1, 2 \}\)-inverse) of \(A\). Suppose that \(A^{+}\) is a \(\{1,2\}\)-inverse of \(A\) and \(A\{1,2\}\) is the set of all \(\{1,2\}\)-inverses of \(A\). Let \(B \in B(Y,X)\) be \(\{1,2\}\)-invertible and \(A^{+} \in A \{1,2\}\) and \(B^{+} \in B \{1, 2 \}\). Also, let \(T = A - B^{+}\) be \(\{1, 2 \}\)-invertible with \(T^{+} \in T \{1, 2 \}\) and \[ \operatorname{Ran}(B) \subseteq R(T^+), \ \operatorname{Ran}(A) \subseteq R(B^+), \ \operatorname{Ran}(B) \subseteq R(A^+), \ \operatorname{Ran}(T^+) \subseteq R(A^+).\] Under the above conditions (and some other comparable conditions), the authors prove Hua's identity for the \(\{1, 2 \}\)-inverse, i.e., \(S = T^+ - A^+\) is \(\{1, 2 \}\)-invertible with \(ABA - A \in S\{1, 2 \}\), in particular, \(S^+ = ABA - A\). Similar conditions that make Hua's identities true for the Moore-Penrose inverse, group inverse, core inverse, and dual core inverse are also given.