态射和广义广义逆的1,2,4-逆和1,2,3-逆.docxVIP

态射和广义广义逆的1,2,4-逆和1,2,3-逆

面对和广义反射的存在性在研究广义反射理论中起着重要作用。在文献中，huylebrowch给出了f=u，并显示了moore-peter的逆条件。这项工作的重点是讨论f=s（1.2.4）和（1.2.3）之间的逆关系，并推广huylebrowch和其他人的结论。另一方面，huylebrowch和puystjen在文献中介绍了环上元素和a-j群体的逆存在性和显著性，并将其推广到f==中。

为此,先回顾下面的定义.

定义1设C为一个具有对合*的预加范畴,X,Y为C中的对象,φ:X→Y为C中的态射(记成φ∈M(X,Y)),态射ξ:Y→X称为φ的(i)-逆,如果它满足如下第i个Penrose方程:

(1)φξφ=φ;(2)ξφξ=ξ;(3)(φξ)*=φξ;(4)(ξφ)*=ξφ.

ξ称为(i,…,j)-逆,如果ξ满足第i,…,j个方程,此时记成ξ=φ(i,…,j),所有φ的(i,…,j)-逆的集记成φ(i,…,j),清楚地,(1,2,3,4)-逆即为Moore-Penrose逆,此时记成φ+.

定义2设C为一个预加范畴,X为C中对象,φ:X→X为C中态射,态射ξ:X→X称为φ的群逆,如果满足如下方程:

(1)φξφ=φ;(2)ξφξ=ξ;(5)φξ=ξφ.此时ξ记成φ#.

1f1x4.2,4.2,44.2,4.2.4,5.