Core and Dual Core Inverses of a Sum of Morphisms

preprint2016arXivOpen access

Abstract

Let C\mathscr{C} be an additive category with an involution ∗\ast. Suppose that φ:X→Xφ: X \rightarrow X is a morphism of C\mathscr{C} with core inverse $φ^{\co} : X \rightarrow X$ and η:X→Xη: X \rightarrow X is a morphism of C\mathscr{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=φ+η−εf=φ+η-\varepsilon has a core inverse if and only if 1X−γ1_X-γ, 1X−σ1_X-σ and 1X−δ1_X-δ are invertible. Moreover, the expression of the core inverse of ff is presented. Let RR be a unital ∗\ast-ring and J(R)J(R) its Jacobson radical, if $a\in R^{\co}$ with core inverse $a^{\co}$ and j∈J(R)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.

Explore this paper’s authors, topics and related work.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Reviews 0

Write a reviewWrite

No reviews yet.

Discussion 0

Add a commentWrite

No comments yet.