赵丹丹，魏俊潮

(扬州大学 数学科学学院，江苏 扬州 225002)

本文中R表示一个有单位元的环.设*是环R到R的双射，若满足条件

(a*)*=a；(a+b)*=a*+b*；(ab)*=b*a*.

则称R为对合环，也简称为*-环[1].

设a∈R，若存在b∈R，满足

a=aba；b=bab；ab=ba.

则称a为R的群可逆元，且称b为a的群逆元.由文献[2]知，群可逆元的群逆元是唯一的.用a#表示群可逆元a的唯一的群逆元.用R#表示环R的全体群可逆元的集合.

设R是一个*-环，a∈R，若存在b∈R，满足

a=aba；b=bab；(ab)*=ab；(ba)*=ba.

则称a为R的Moore-Penrose可逆元，简称a为R的MP可逆元，且称b为a的MP逆元.由文献[3]知，a的MP逆元是唯一的，记为a+.用R+表示环R的全体MP可逆元的集合.

设R是一个*-环，a∈R，若aa*a=a，则称a为R的偏序等距元[4]，简称为PI元.用RPI表示环R的全体PI元的集合.当a∈R+时，a为R的偏序等距元当且仅当a+=a*.

设R是一个*-环，且a∈R#∩R+.如果a+=a#，则称a为EP元[5].用REP表示环R的全体EP元的集合.众所周知，a是EP元当且仅当a+a=aa+当且仅当a+a=a#a.

如果a+=a#=a*，则称a为强EP元[6]，简称SEP元.用RSEP表示环R的全体SEP元的集合.关于EP元、PI元及SEP元的刻画还可参见文献[7-9].

设R是一个*-环且a∈R，若a=a*，则称a是对称元；若aa*=a*a，则称a是正规元.关于正规元的研究可参见文献[10].

本文由既是群可逆元又是MP可逆元的元素a构造出一些MP可逆元及EP元，利用这些构造出的EP元和MP可逆元刻画元素EP性、PI性、SEP性及正规性等，并借助于一些已知的公式，构造出一个方程，研究这个方程在给定集合中有解时来刻画PI性质.最后一般化构造的方程并讨论一般化后的方程的一般解，变形一般解刻画EP性及PI性.这是研究广义逆的新方法.

引理1设a∈R#∩R+，则a#a*∈REP且(a#a*)+=(a+)*a2a+.

证明由于

(a#a*)((a+)*a2a+)=a#(a*(a+)*)a2a+=(a#a+a)a2a+=a#a2a+=aa+；

((a+)*a2a+)(a#a*)=(a+)*(a2a+a#)a*=(a+)*aa#a*=((a+)*a+a)aa#a*

=(a+)*(a+a2a#)a*=(a+)*a+aa*=(a+)*a*=aa+；

(a#a*)((a+)*a2a+)(a#a*)=((a#a*)((a+)*a2a+))(a#a*)=aa+a#a*=a#a*；

((a+)*a2a+)(a#a*)((a+)*a2a+)=((a+)*a2a+)((a#a*)((a+)*a2a+))

=(a+)*a2a+aa+=(a+)*a2a+；

因此a#a*∈REP且(a#a*)+=(a+)*a2a+.

由引理1的证明可得下列推论.

推论1设a∈R#∩R+，则

(1)a#a+a3=a=a3a+a#；

(2) (a+)*aa#=(a+)*=a#a(a+)*.

命题1设a∈R#∩R+，则a#a*a∈R+且(a#a*a)+=a+(a+)*a2a+.

证明由引理1可得

(a#a*a)(a+(a+)*a2a+)=(a#a*aa+)((a+)*a2a+)=(a#a*)((a+)*a2a+)=aa+；

(a+(a+)*a2a+)(a#a*a)=a+(((a+)*a2a+)(a#a*))a=a+aa+a=a+a；

故a#a*a∈R+且(a#a*a)+=a+(a+)*a2a+.

推论2设a∈R#∩R+，则a∈REP当且仅当a#a*a∈REP.

证明“⟹”由于a∈REP，故aa+=a+a.因此由命题1的证明知

(a#a*a)(a+(a+)*a2a+)=(a+(a+)*a2a+)(a#a*a).

于是a#a*a∈REP.

“⟸”假设a#a*a∈REP，则(a#a*a)(a#a*a)+=(a#a*a)+a#a*a.故由命题1的证明知，aa+=a+a.

从而有a∈REP.

定理1设a∈R#∩R+，则

(1)a∈REP当且仅当(a#a*a)+=a+(a+)*a；

(2)a∈RPI当且仅当(a#a*a)+=a+a3a+；

(3)a∈RSEP当且仅当(a#a*a)+=a；

(4)a是正规元当且仅当(a#a*a)+=(a+)*；

(5)a是2-正规元当且仅当(a#a*a)+=a(a+)*a+；

(6)a是对称元当且仅当(a#a*a)+=a#.

证明(1) “⟹”由于a∈REP，故a+=a#.从而由命题1知

(a#a*a)+=a+(a+)*a2a+=a+(a+)*a.

“⟸”若(a#a*a)+=a+(a+)*a，则由命题1知，a+(a+)*a2a+=a+(a+)*a.左乘aa*a得a3a+=a2，故a∈REP.

(2) “⟹”由于a∈RPI，故(a+)*=a.由命题1知(a#a*a)+=a+(a+)*a2a+=a+a3a+.

“⟸”若(a#a*a)+=a+a3a+，则由命题1知a+(a+)*a2a+=a+a3a+.右乘a#，利用推论1得a+(a+)*=a+a.再左乘a得(a+)*=a.从而a∈RPI.

(3) “⟹”由于a∈RSEP，故a∈RPI且a+=a#.由(2)知(a#a*a)+=a+a3a+=a#a3a#=a.

“⟸”若(a#a*a)+=a，则由命题1知a+(a+)*a2a+=a.右乘a#得a+(a+)*=aa#，故

aa+(a+)*=aaa#，即(a+)*=a，从而a∈RPI.此时有aa#=a+(a+)*=a+a，故a∈REP，因此a∈RSEP.

(4) “⟹”由于a是正规元，故a为EP元，且a#a*=a*a#，所以a(a#)*=(a#)*a.由命题1知

(a#a*a)+=a+(a+)*a2a+=a+(a#)*a2a#=a+(a#)*a=a+a(a#)*=(a#)*=(a+)*.

“⟸”若(a#a*a)+=(a+)*，则a#a*a=a*.右乘a+a得a*=a*a+a，因此a=a+a2，即a∈REP.

故aa*=aa#a*a=a#aa*a=a+aa*a=a*a.所以a是正规元.

(5) “⟹”由于a是2-正规元，则a是EP元且a2a*=a*a2，故a*a*a=aa*a*.

于是a*a*a#=a#a*a*，进而有a*a*a+=a+a*a*，从而(a+)*a2=a2(a+)*.由命题1知

(a#a*a)+=a+(a+)*a2a+=a+a2(a+)*a+=a(a+)*a+.

“⟸”若(a#a*a)+=a(a+)*a+，则由命题1知a+(a+)*a2a+=a(a+)*a+.右乘a得

a+(a+)*a2=a(a+)*.左乘1-a+a得(1-a+a)a(a+)*=0.右乘a*a#a得(1-a+a)a=0，从而a是EP元.故a2(a+)*=a(a+(a+)*a2)=(a+)*a2，即有a+(a*)2=(a*)2a+，从而a#(a*)2=(a*)2a#.进一步有a(a*)2=(a*)2a，所以a是2-正规元.

(6) “⟹”由于a是对称元，则a*=a且a是EP元.由1)知

(a#a*a)+=a+(a+)*a=a+(a+)*a*=a+=a#.

“⟸”若(a#a*a)+=a#，则由命题1知，a+(a+)*a2a+=a#.先右乘a#，由推论1得a+(a+)*=a#a#.再左乘a得(a+)*=a#.从而有a#=a+(a+)*a2a+=a+a#a2a+=a+.注意到a=aa*(a+)*=aa*a#，所以a+a=a+aa*(a+)*=a+aa*a#=a*a#.于是a=a#a2=a+a2=a*a#a=a*aa+=a*，故a是对称元.

命题2设a∈R#∩R+，则a+a3a+∈R+且(a+a3a+)+=a#.

证明注意到a#=a#a*(a+)*，a+a3a+=a*(a+)*a2a+，由引理1知

(a+a3a+)a#=a*(((a+)*a2a+)(a#a*))(a+)*=a*aa+(a+)*=a+a；

a#(a+a3a+)=(a#a*(a+)*a*)((a+)*a2a+)=(a#a*)((a+)*a2a+)=aa+.

因此a+a3a+∈R+且(a+a3a+)+=a#.

命题3设a∈R#∩R+，则a*a#a*∈R+且(a*a#a*)+=(a+)*a(a+)*.

证明注意到(a+)*a(a+)*=(a+)*a2a+(a+)*，由引理1知

(a*a#a*)((a+)*a(a+)*)=a*(a#a*)((a+)*a2a+)(a+)*=a*aa+(a+)*=a+a；

((a+)*a(a+)*)(a*a#a*)=(a+)*a2(a+(a+)*a*)(a#a*)=((a+)*a2a+)(a#a*)=aa+.

故a*a#a*∈R+且(a*a#a*)+=(a+)*a(a+)*.

由命题2及命题3有下面的推论.

推论3设a∈R#∩R+，则下列条件等价.

(1)a∈REP；

(2)a+a3a+∈REP；

(3)a*a#a*∈REP.

由于当a∈R#∩R+时，(a+)*a2=(a+)*a2a+a，而且

(a+a#a*)((a+)*a2)=a+((a#a*)(a+)*a2a+)a=a+aa+a=a+a；

((a+)*a2)(a+a#a*)=(a+)*aa#a*=(a+)*a*=aa+.

从而有下面的命题:

命题4设a∈R#∩R+，则

(1)a+a#a*∈R+且(a+a#a*)+=(a+)*a2；

(2)a∈REP当且仅当a+a#a*∈REP.

命题5设a∈R#∩R+，则a+a#a*a∈REP且(a+a#a*a)+=a+(a+)*a2.

证明利用命题4常规验证即可.

当a∈RPI时，(a+)*=a，由命题5知，一方面有

(a+a#a*a)+=a+a3=a+a(a+)*(a+)*；

另一方面又有

(a+a#a*a)+=a+a3=a+a2(a+)*.

故可构造方程

a+ax(a+)*=a+a2x.

(1)

命题6设a∈R#∩R+，则a∈RPI当且仅当方程(1)在χa中至少有一个解.

证明“⟹”当a∈RPI时，x=(a+)*为方程的一个解.

“⟸”(1)若x=a为解，则a+a2(a+)*=a+a3.左乘a#，由推论1得(a+)*=a，故a∈RPI.

(2)若x=a#为解，则a+aa#(a+)*=a+a2a#，由推论1知a+(a+)*=a+a.左乘a得(a+)*=a，故

a∈RPI.

(3)若x=a+为解，则a+aa+(a+)*=a+a2a+，即a+(a+)*=a+a2a+.先左乘a得(a+)*=a2a+.再右乘aa#得(a+)*=a.故a∈RPI.

(4)若x=a*为解，则a+aa*(a+)*=a+a2a*，即a+a=a+a2a*.左乘a得a=a2a*.由文献[4]知

a∈RPI.

(5)若x=(a#)*为解，则a+a(a#)*(a+)*=a+a2(a#)*，即(a#)*(a+)*=a+a2(a#)*.先右乘

1-a+a得a+a2(a#)*(1-a+a)=0.然后左乘a+a#a得(a#)*(1-a+a)=0.再左乘a+a*，由推论1得

a+(1-a+a)=0.从而a∈REP，而且(a#)*(a+)*=a+a2(a#)*=a(a#)*，此时a+a#=a#a*.最后左乘

a3得a=a2a*，故a∈RPI.

(6)若x=(a+)*为解，则a+a(a+)*(a+)*=a+a2(a+)*.先左乘a，然后右乘a*，得

a(a+)*aa+=a3a+.再右乘aa#，利用推论1得a(a+)*=a2.最后左乘a#得(a+)*=a，故a∈RPI.

方程(1)可一般化为

a+ax(a+)*-a+a2y=0.

(2)

命题7设a∈R#∩R+，则方程(2)的一般解为

(3)

证明首先证明公式(3)是方程(2)的解.事实上

a+a(-a+apa*+u-a+auaa+)(a+)*-a+a2(-a#pa+a+z-a#az)

=-a+apa*(a+)*+a+au(a+)*-a+auaa+(a+)*+a+a2a#pa+a-a+a2z+a+a2a#az

=-a+apa+a+a+au(a+)*-a+au(a+)*+a+apa+a-a+a2z+a+a2z=0.

故公式(3)是方程(2)的解.

-a+a(-ay0)a*=(a+a2y0)a*=a+ax0(a+)*a*=a+ax0aa+，

于是x0=-a+a(-ay0)a*+x0-a+ax0aa+.又因为

-a#(-ay0)a+a=(a#a+a)ay0a+a=a#(a+a2y0)a+a=a#(a+ax0(a+)*)a+a

=(a#a+ax0)((a+)*a+a)=a#(a+ax0(a+)*)=a#(a+a2y0)=a#ay0.

故y0=-a#(-ay0)a+a+y0-a#ay0.于是方程(2)的一般解为公式(3).

推论4设a∈R#∩R+，则a∈RPI当且仅当方程(2)的一般解为

(4)

证明“⟹”由于(2)的一般解由(3)式给出，故a∈RPI时，(3)式即为(4)式，从而(2)的一般解由(4)式给出.

“⟸”若方程(2)的一般解由(4)式给出，则

a+a(-a*apa*+u-a+auaa+)(a+)*-a+a2(-a#pa+a+z-a#az)=0，

即对任意p∈R，有-a*apa+a+a+apa+a=0.特别地, 选取p=a，则有a*a2=a+a2，因此a∈RPI.

方程(2)可改为如下方程

a#ax(a+)*-a+a2y=0.

(5)

推论5设a∈R#∩R+，则a∈REP当且仅当方程(5)的一般解由(3)式给出.

证明“⟹”假设a∈REP，则a+a=a#a.此时方程(5)即为方程(2)，从而方程(5)的一般解由(3)式给出.

“⟸”若方程(5)的一般解由(3)式给出，则

a#a(-a+apa*+u-a+auaa+)(a+)*-a+a2(-a#pa+a+z-a#az)=0，

即对任意p∈R，有a#apa+a=a+apa+a.取p=1，有a#a=a+a，故a∈REP.