首先利用环理论方法证明:含有非平凡对称幂等元的对合素环R上的满射f强保持k-斜Jordan乘积,即满足*{f(x),f(y)}k=*{x,y}k=*{x,*{x,......