Core and Dual Core Inverses of a Sum of Morphisms

Abstract

Let $\mathcal{C}$ be an additive category with an involution $\ast$. Suppose that $\phi :X\to X$ is a morphism of $\mathcal{C}$ with core inverse $φ^{\co} : X \rightarrow X$ and $\eta :X\to X$ is a morphism of $\mathcal{C}$ such that $1_X+φ^{\co}η$ is invertible. Let $α=(1_X+φ^{\co}η)^{-1},$ $β=(1_X+ηφ^{\co})^{-1},$ $\varepsilon=(1_X-φφ^{\co})ηα(1_X-φ^{\co}φ),$ $γ=α(1_X-φ^{\co}φ)β^{-1}φφ^{\co}β,$ $σ=αφ^{\co}φα^{-1}(1_X-φφ^{\co})β,$ $δ=β^{\ast}(φ^{\co})^{\ast}η^{\ast}(1_X-φφ^{\co})β.$ Then $f=\phi +\eta -\epsilon$ has a core inverse if and only if $1_X-\gamma$, $1_X-\sigma$ and $1_X-\delta$ are invertible. Moreover, the expression of the core inverse of $f$ is presented. Let $R$ be a unital $\ast$-ring and $J(R)$ its Jacobson radical, if $a\in R^{\co}$ with core inverse $a^{\co}$ and $j\in J(R)$, then $a+j\in R^{\co}$ if and only if $(1-aa^{\co})j(1+a^{\co}j)^{-1}(1-a^{\co}a)=0$. We also give the similar results for the dual core inverse.

16 pages