馬 飛，張建華，任剛練

（1陜西師范大學(xué) 數(shù)學(xué)與信息科學(xué)學(xué)院，陜西 西安，710062；2咸陽(yáng)師范學(xué)院 數(shù)學(xué)與信息科學(xué)學(xué)院，陜西 咸陽(yáng)，712000）

設(shè)A是任意代數(shù)，稱M是其A－雙模，若滿足對(duì)于任意的A∈A，M∈M，有AM、MA∈M．一個(gè)可加映射d：A→M稱為導(dǎo)子、Jordan導(dǎo)子或者Jordan三重導(dǎo)子，如果d滿足對(duì)于任意的A、B∈A，有d（AB）＝d（A）B＋Ad（B），d（A2）＝d（A）A＋Ad（A）或者d（ABA）＝d（A）BA＋Ad（B）A＋ABd（A）成立．一個(gè)可加映射f：A→M稱為廣義導(dǎo)子或廣義Jordan導(dǎo)子，如果存在導(dǎo)子或Jordan導(dǎo)子d：A→M使得對(duì)于任意的A、B∈A，有f（AB）＝f（A）B＋Ad（B）或f（A2）＝f（A）A＋Ad（A）．近年來(lái)，各種算子代數(shù)上使得一個(gè)線性映射成為（Jordan）導(dǎo)子和廣義（Jordan）導(dǎo)子的研究工作不斷出現(xiàn)，引起了許多學(xué)者的興趣．顯然，（廣義）導(dǎo)子一定是（廣義）Jordan導(dǎo)子，反之一般不成立［1］．自然的一個(gè)問(wèn)題就是在哪些代數(shù)上的（廣義）Jordan導(dǎo)子是（廣義）導(dǎo)子？1957年，Herstein首先在文獻(xiàn)［2］中證明了每個(gè)2－非撓半素環(huán)上的Jordan導(dǎo)子是導(dǎo)子；隨后有很多結(jié)果被證明，文獻(xiàn)［3－4］證明了每個(gè)三角代數(shù)和套代數(shù)上的Jordan導(dǎo)子是導(dǎo)子；文獻(xiàn)［5］證明了每個(gè)套代數(shù)上的廣義Jordan導(dǎo)子是廣義導(dǎo)子；我們?cè)谖墨I(xiàn)［1］中證明了每個(gè)上三角代數(shù)到其雙模上的廣義Jordan導(dǎo)子是一個(gè)廣義導(dǎo)子與反導(dǎo)子的和．類似結(jié)果可見(jiàn)文獻(xiàn)［6－8］．

另外，高階導(dǎo)子也得到很多學(xué)者研究（見(jiàn)文獻(xiàn)［9－11］）．下面先給出定義：

定義1［9］設(shè)D＝（di）i∈N是環(huán)R上滿足d0＝idR的一族可加映射．稱映射D為高階導(dǎo)子（簡(jiǎn)記為HD），如果對(duì)于任意的A、B∈R，有dn（AB）＝映射D稱為高階Jordan導(dǎo)子（簡(jiǎn)記為HJD），如果對(duì)于任意的A∈R，有dn（A2）＝；映射D稱為高階Jordan三重導(dǎo)子（簡(jiǎn)記為HJTD），如果對(duì)任意的A、B∈R，有

定義2設(shè)F＝（fi）i∈N是環(huán)R上滿足f0＝idR的一族可加映射．映射F稱為廣義高階導(dǎo)子（記為GHD），如果存在R上的高階導(dǎo)子D＝（di）i∈N，使得對(duì)于任意的A、B∈R有fn（AB）＝映射F稱為廣義高階Jordan導(dǎo)子（簡(jiǎn)記為GHJD），如果存在R上的高階Jordan導(dǎo)子D＝（di）i∈N，使得對(duì)于任意的A∈R，有fn（A2）＝；映射F稱為廣義高階Jordan三重導(dǎo)子（簡(jiǎn)記為GHJTD），如果存在R上的高階Jordan三重導(dǎo)子D＝（di）i∈N，使得對(duì)任意的A、B∈R有

文獻(xiàn)［9］證明了每個(gè)2－非撓半素環(huán)上的高階Jordan導(dǎo)子是高階Jordan導(dǎo)子；文獻(xiàn)［10］證明了三角代數(shù)上的高階Jordan導(dǎo)子是高階導(dǎo)子．自然就產(chǎn)生這樣的一個(gè)問(wèn)題：每個(gè)三角代數(shù)上的廣義高階Jordan導(dǎo)子是不是廣義高階導(dǎo)子？本文就從這個(gè)角度出發(fā)來(lái)回答這個(gè)問(wèn)題．

三角代數(shù)首先是在文獻(xiàn)［12］中引出，隨后被許多學(xué)者研究［4，10－15］．設(shè)A和B是可交換R上的代數(shù)，且分別含有單位元IA和IB，M是忠實(shí)的含單位（A，B）－雙模．M稱為忠實(shí)的A－左（右）模是指如果A∈A且AM＝0（MA＝0），則有A＝0．一個(gè)在通常矩陣算法意義下的R－代數(shù)

稱為三角代數(shù)．有關(guān)三角代數(shù)最典型、也是最重要的模型是上（下）三角矩陣代數(shù)和套代數(shù)．

顯然，三角代數(shù)U存在非平凡冪等元e1和e2，其中

顯然三角代數(shù)是含有單位元I的：I＝e1＋e2．由矩陣的運(yùn)算可知，對(duì)于任意的1≤i≤j≤2，有Uij＝eiUej．因而可以將三角代數(shù)U表示為

本文假設(shè)所有的映射都是可加的，N表示包含0的自然數(shù)集．

由文獻(xiàn)［10］可知，每個(gè)高階Jordan導(dǎo)子是高階導(dǎo)子，因此本文中總假設(shè)是高階導(dǎo)子即可．

類似于文獻(xiàn)［9］的證明可得下面的引理：

引理1 設(shè)U＝Tri（A，M，B）是三角代數(shù)，D＝（di）i∈N是高階導(dǎo)子，F(xiàn)＝ （fi）i∈N是GHJD，則對(duì)于任意的A、B、C∈U，都有

特別地，當(dāng)n＝1時(shí)，由GHJD的定義可知f1是廣義Jordan導(dǎo)子［15］．

引理2［15］設(shè)A、B是2－非撓可交換環(huán)R上的含單位代數(shù)，M是（A，B）－雙邊模且U＝Tri（A，M，B）是三角代數(shù)，則U上的每個(gè)廣義Jordan導(dǎo)子都是廣義導(dǎo)子．

引理3 設(shè)f1是廣義Jordan導(dǎo)子，d1是Jordan導(dǎo)子，則當(dāng)i＝1，2時(shí)，有

（?。ヾ1（e1）∈U12，d1（e2）∈U12，d1（U12）?

證明 （?。┮?yàn)槿谴鷶?shù)上的Jordan導(dǎo)子是導(dǎo)子［4］，因而d1是導(dǎo)子．注意到在三角代數(shù)中，e2e1＝e2Ue1＝0，ei＝e2i，且d1（e1）＝d1（e1）e1＋e1d1（e1），因而

因此，d1（e1）∈U12．又因?yàn)閐1（I）＝0，所以d1（e2）＝－d1（e1）∈U12．

對(duì)于任意的A12∈U12，由A12＝e1A12＝A12e2可知：

由d1（e1）∈U12，d1（e2）∈U12，則d1（A12）＝e1d1（A12）＝d1（A12）e2．于是

對(duì)于任意的A11∈U11，A22∈U22，則由d1（A11）＝d1（A11）e1＋A11d1（e1）知：e2d1（A11）e2＝0，因此d1（A11）∈U11＋U12．

類似可以證明d1（A22）∈U22＋U12．

（ⅱ）由于f1是廣義Jordan導(dǎo)子，則

f1（e1）＝f1（e1）e1＋e1d1（e1）∈U11＋U12；f1（e2）＝f1（e2）e2＋e2d1（e2）∈U22＋U12．對(duì)于任意的A12∈U12，由引理1（?。┛傻?/p>

f1（A12）＝f1（e1A12＋A12e1）＝f1（e1）A12＋e1d1（A12）＋f1（A12）e1＋A12d1（e1），

對(duì)上式兩邊左乘e2且由e2f1（A12）e1＝0可得

e2f1（A12）＝0．

又因?yàn)?/p>

對(duì)上式兩邊右乘e1可得f1（A12）e1＝0．因此，f1（A12）＝f1（A12）e2∈U12．

對(duì)于任意的A11∈U11，由引理1（ⅱ）可得

因而，f1（A11）∈U11＋U12．同理可以證明f1（A22）∈U22＋U12．

定理1 設(shè)U＝Tri（A，M，B）是三角代數(shù)，則U上的每個(gè)廣義高階Jordan導(dǎo)子是廣義高階導(dǎo)子．

證明 設(shè)F＝ （fi）i∈N是廣義高階Jordan導(dǎo)子，用數(shù)學(xué)歸納法證明結(jié)論．

由引理2可知：當(dāng)k＝1時(shí)，廣義Jordan導(dǎo)子是廣義導(dǎo)子；而引理3又說(shuō)明，當(dāng)k＝1時(shí)，對(duì)于i＝1，2，滿足：

下面設(shè)對(duì)任意的A、B∈U和任意的k＝s＜n∈N，有fs（AB（B）并且對(duì)于i＝1，2滿足：

Ps：fs（U12）?U12，fs（Uii）?Uii＋U12；ds（ei）∈U12，ds（U12）?U12，ds（Uii）?Uii＋U12．

為了證明當(dāng)k＝n時(shí)結(jié)論成立，分為以下4個(gè)命題來(lái)證明：

命題1 dn（e1）∈U12，dn（e2）∈U12，dn（U12）?U12和dn（Uii）?Uii＋U12（i＝1，2）．

因?yàn)閐n（e1）則由Ps可得e1dn（e1）e1＝e2dn（e1）e2＝0．于是dn（e1）∈U12．顯然ds（I）＝0，易證dn（I）＝0．因 而，dn（e2）＝－dn（e1）∈U12．

設(shè)A12∈U12，則有和

由Ps及dn（e1）∈U12，dn（e2）∈U12可知

因此，dn（A12）＝e1dn（A12）e2∈U12．

對(duì)于任意的A11∈U11，A22∈U22，因?yàn)閐s（A11）∈U11＋U12，ds（e1）∈U12，則有

因而dn（A11）∈U11＋U12．類似可以證明d2（A22）∈U22＋U12．

命題2 fn（U12）?U12，fn（Uii）?Uii＋U12（i＝1，2）．

由fn的定義及Ps，顯然有

所以有fn（e1）∈U11＋U12，fn（e2）∈U22＋U12．

對(duì)于任意的A12∈U12，由引理1（?。┘癆12e1＝0可得

對(duì)（1）式兩邊左乘e2且由e2fn（A12）e1＝0知e2fn（A12）＝0．又因?yàn)閑2A12＝0，則

對(duì)（2）式兩邊右乘e1，可得fn（A12）e1＝0．因此，fn（A12）＝e1fn（A12）e2∈U12．

對(duì)于任意的A11∈U11，由引理1（ⅱ）可知

所以有fn（A11）∈U11＋U12．同理可以證明fn（A22）∈U22＋U12．

命題3 （?。?duì)于任意的A11∈U11，B12∈U12，有fn（A11B12

（ⅱ）對(duì)于任意的A12∈U12，B22∈U22，有

（ⅲ）對(duì)于任意的Akk、Bkk∈Ukk（k＝1，2），有

對(duì)于任意的A11∈U11和B12∈U12，由引理1（?。?，命題1、2及Ps可得

類似地可以證明（ⅱ）．

對(duì)于任意的A11∈U11，由引理1（ⅱ）及dn是高階導(dǎo)子，從而有

因此，對(duì)于任意的A11、B11∈U11，有

由（3）式可得

因而可得

類似可以證明

命題4 對(duì)于任意的A、B∈U，有

對(duì)于任意的A、B∈U，有A＝A11＋A12＋A22，B＝B11＋B12＋B22，其中Aij、Bij∈Uij（1≤i≤j≤2），由命題3可得

再由Ps及命題1、2可知

由（3）式可得

于是fn（AB）即k＝n時(shí)結(jié)論成立．

綜上可知，三角代數(shù)上的每個(gè)廣義高階Jordan導(dǎo)子是廣義高階Jordan導(dǎo)子．

通過(guò)定理1的證明過(guò)程可知：對(duì)于任意的i∈N，有di（I）＝0．因而一個(gè)廣義高階Jordan三重導(dǎo)子是廣義高階Jordan導(dǎo)子．因此，由定理1可得

定理2 設(shè)U＝Tri（A，M，B）是三角代數(shù)，則U上的每個(gè)廣義高階Jordan三重導(dǎo)子是廣義高階導(dǎo)子．

特別地，若對(duì)于任意的i∈N，滿足fi＝di，則有

推論1 設(shè)U＝Tri（A，M，B）是三角代數(shù)，則U上的每個(gè)高階Jordan導(dǎo)子是高階導(dǎo)子．

推論2 設(shè)U＝Tri（A，M，B）是三角代數(shù)，則U上的每個(gè)高階Jordan三重導(dǎo)子是廣義高階導(dǎo)子．

本文在三角代數(shù)上研究了廣義高階Jordan導(dǎo)子和廣義高階Jordan三重導(dǎo)子，證明了在三角代數(shù)上，廣義高階Jordan導(dǎo)子、廣義高階Jordan三重導(dǎo)子和廣義高階導(dǎo)子是等價(jià)的．我們的結(jié)論更具有一般性，如文獻(xiàn)［2，4－5，10，15］等的結(jié)論均可看成是本文結(jié)論的某種特殊情形．

［1］Ma Fei，Ji Guoxing．Generalized Jordan derivation on triangular matrix algebra［J］．Linear and Multilinear Algebra，2007，55（4）：355－363．

［2］Herstein I N．Jordan derivation on prime rings［J］．Proceedings of American Mathmatical Society，1957，8（6）：1104－1110．

［3］張建華．套代數(shù)上的Jordan導(dǎo)子［J］．?dāng)?shù)學(xué)學(xué)報(bào)，1998，41（1）：205－212．

［4］Zhang Jianhua，Yu Weiyan．Jordan derivation on triangular algebras［J］．Linear Algebra and its Applications，2006，419（1）：251－255．

［5］Hou Jinchuan，Qi Xiaofei．Generalized Jordan derivation on nest algebras［J］．Linear Algebra and its Applications，2009，430（5／6）：1479－1485．

［6］朱軍，熊昌萍．環(huán)上的廣義導(dǎo)子與Von Neumann代數(shù)上的P－核值保持映射［J］．?dāng)?shù)學(xué)學(xué)報(bào)，1998，41（4）：795－800．

［7］Dominik Benkovi?Nejc Sirovnik．Jordan derivations of unital algebras with idempotent［J］．Linear Algebra and its Applications，2012，437（9）：2271－2284．

［8］Yan Dangui，Zhang Chengchang．Generalized derivations and bilocal Jordan derivations of nest algebras［J］．Linear Algebra and its Applications，2010，432（3）：2615－2622．

［9］Miguel Ferrero，Claus Haetinger．Higher derivations of semiprime rings［J］．Communications in Algebra，2002，30（5）：2321－2333．

［10］Xiao Zhankui，Wei Feng．Jordan higher derivations on triangular algebras［J］．Linear Algebra and its Applications，2010，432（10）：2615－2622．

［11］Dominik Benkovic，Daniel Eremita．Multiplicative Lie n－derivations of triangular rings［J］．Linear Algebra and its Applications，2012，436（11）：4223－4240．

［12］Cheung Waishun．Commuting maps of triangular algebras［J］．Journal of London Mathematical Society，2001，63（1）：117－127．

［13］Cheung Waishun．Lie derivation of triangular algebras［J］．Linear Algebra and its Applications，2003，51（3）：299－310．

［14］Chen Lin，Zhang Jianhua．Nonlinear Lie derivation on upper triangular matrix algebras［J］．Linear and Multilinear Algebra，2008，56（6）：725－730．

［15］余維艷，邢福弟．三角代數(shù)上的廣義Jordan導(dǎo)子［J］．?dāng)?shù)學(xué)進(jìn)展，2009，38（4）：477－480．