English

Core and Dual Core Inverses of a Sum of Morphisms

Category Theory 2017-01-02 v1 Rings and Algebras

Abstract

Let C\mathscr{C} be an additive category with an involution \ast. Suppose that φ:XX\varphi : X \rightarrow X is a morphism of C\mathscr{C} with core inverse φ\co:XX\varphi^{\co} : X \rightarrow X and η:XX\eta : X \rightarrow X is a morphism of C\mathscr{C} such that 1X+φ\coη1_X+\varphi^{\co}\eta is invertible. Let α=(1X+φ\coη)1,\alpha=(1_X+\varphi^{\co}\eta)^{-1}, β=(1X+ηφ\co)1,\beta=(1_X+\eta\varphi^{\co})^{-1}, ε=(1Xφφ\co)ηα(1Xφ\coφ),\varepsilon=(1_X-\varphi\varphi^{\co})\eta\alpha(1_X-\varphi^{\co}\varphi), γ=α(1Xφ\coφ)β1φφ\coβ,\gamma=\alpha(1_X-\varphi^{\co}\varphi)\beta^{-1}\varphi\varphi^{\co}\beta, σ=αφ\coφα1(1Xφφ\co)β,\sigma=\alpha\varphi^{\co}\varphi\alpha^{-1}(1_X-\varphi\varphi^{\co})\beta, δ=β(φ\co)η(1Xφφ\co)β.\delta=\beta^{\ast}(\varphi^{\co})^{\ast}\eta^{\ast}(1_X-\varphi\varphi^{\co})\beta. Then f=φ+ηεf=\varphi+\eta-\varepsilon has a core inverse if and only if 1Xγ1_X-\gamma, 1Xσ1_X-\sigma and 1Xδ1_X-\delta 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 aR\coa\in R^{\co} with core inverse a\coa^{\co} and jJ(R)j\in J(R), then a+jR\coa+j\in R^{\co} if and only if (1aa\co)j(1+a\coj)1(1a\coa)=0(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.

Keywords

Cite

@article{arxiv.1612.09482,
  title  = {Core and Dual Core Inverses of a Sum of Morphisms},
  author = {Tingting Li and Jianlong Chen and Sanzhang Xu},
  journal= {arXiv preprint arXiv:1612.09482},
  year   = {2017}
}

Comments

16 pages