Generalized inverses of a sum of morphisms (Q5955662): Difference between revisions

Let \({\mathcal C}\) be an additive category. Suppose that \(f:X \to X\) is a morphism of \({\mathcal C}\) with group inverse \(f^\#\), and \(\eta: X\to X\) is a morphism of \({\mathcal C}\) such that \(1_X+f^\#\eta\) is invertible. Let \(e=(1_X-ff^\#) \eta a(1_X-f^\#f)\), \(g=a(1_X-f^\#f) \eta f^\#b\), \(d=af^\# \eta(1_X-ff^\#) b\), where \(a=(1_X+f^\# \eta)^{-1}\), \(b=(1_X+ \eta f^\#)^{-1}\). Then \(f=f+\eta-e\) has a group inverse if and only if \(1_X-g\), \(1_X-d\) are invertible. A similar result for the Moore-Penrose inverse is also given, which completes \textit{D. Huylebrouck}'s result [ibid. 246, 159--175 (1996; Zbl 0862.15004)].