關聯(lián)代數(shù)上的雙導子

中圖分類號：0153.3 文獻標志碼：A

Biderivations of Incidence Algebras

WANG Yu-qi （Collge of Mathematics and Computer，Jilin Normal University，Siping 136ooo，Jilin，China）

Abstract ： Let （X，?） be a connected finite pre-ordered set， R a commutative ring with unity， and I（X，R） be incidence algebra of X over R . It gives the form of biderivations of incidence algebras in an algebraic combinatorial flavor，and solves the related problems of biderivations of the incidence algebra，and finally proves that a biderivation of incidence algebras is an inner biderivation.

Key words：biderivation；inner biderivation； derivation； incidence algebra；identity

0 引言

有關于雙導子的問題在環(huán)和算子代數(shù)上一直以來都是研究的熱點，許多學者對其進行了研究討論，同時雙導子也有著廣泛的應用.MASKAG^[1] 最早提出雙導子的概念.之后，VUKMANJ[2]研究了素環(huán)和半素環(huán)上的雙導子.BRESARM等[3給出了非交換素環(huán)上雙導子的表現(xiàn)形式，證明了非交換素環(huán)上的雙導子都是內(nèi)的.ZHANGTH等[4]研究了套代數(shù)上的雙導子，給出了復可分Hilbert空間套代數(shù)上的雙導子是內(nèi)雙導子的充要條件，并將該結果推廣到套代數(shù)上的廣義雙導子上，但套代數(shù)上有非內(nèi)雙導子的情況仍然存在.

在CHEUNG W S^[5] 開創(chuàng)了三角代數(shù)上的映射問題的研究后，雙導子在三角代數(shù)上也被進行了一系列的研究和推廣[6-11].BENKOVID[6]證明某類三角代數(shù)上的雙導子是內(nèi)雙導子和極雙導子之和，并將結果應用到上三角矩陣代數(shù)和套代數(shù)上.DUY等將該結果推廣到了廣義矩陣代數(shù)上.WANG Y^[8] 借助極大左商環(huán)的概念從新角度描述三角環(huán)上的雙導子，并證明了三角代環(huán)上的雙導子也是一個內(nèi)雙導子和一個極雙導子之和.

本文基于以上成果，通過對關聯(lián)代數(shù)上雙導子的描述來豐富關聯(lián)代數(shù)在映射上的理論.

1預備知識

定義 1^[6] 設 A 是交換環(huán) R 上中心為Z（A） 的代數(shù)， [x，y]=xy-yx 是李積.若對于

任意的 x，y∈A ，線性映射 d：AA 滿足

d（xy）=d（x）y+xd（y）

則稱 d 是 A 上的導子.

定義 2^[6] 若對于任意的 x，y，z∈A ，一個雙線性映射 對其兩個分量各為導子，即

則稱 φ 是 A 上的雙導子.

定義 3^[6] 若 A 是一個非交換的代數(shù)，則對于任意的 x，y∈A ，雙導子 有

φ（x，y）=λ[x，y]，

其中 λ∈Z（A） ，則稱具有以上形式的雙導子為內(nèi)雙導子.

定義 4^[12] 若集合 X 中的二元關系 ? 滿足以下兩個條件：

（i） ?x∈X ，有 x?x ：（ii） ?x，y，z∈X ，若 x?y 和 y?z ，則 x? z ，則稱 X 是一個預序集，記作 （X，?） ：

定義 5^[13] 設 X 是一個預序集，若對任意 x ，y∈X ，存在序列 {x=x₀，…，x_n=y} ，滿足 x_i-1 ?x_i 或 x_i-1?x_i ， ?i∈{1，2，…，n} ，則稱預序集 X 是連通的.

定義 6^[14] 取預序集 X 中任意兩個元素 x 和 z ，區(qū)間 [x，z] 定義為 {y∈X∣x?y?z} ，若預序集 X 中的所有區(qū)間都是有限的，則稱 X 是局部有限預序集.

定義 7^[15] 設 （X，?） 是局部有限預序集，R 是含有單位元的交換環(huán)，可以定義 R 上關于 X 的關聯(lián)代數(shù) I（X，R） ：

I（X，R）：=

，若 x 升 y} ，代數(shù)運算為

（f+g）（x，y）=f（x，y）+g（x，y），

由文獻[15]知， ?f，g∈I（X，R），r∈R x，y，z∈X，I（X，R） 中的任意元素都可以表示為和的形式：

這里給出關聯(lián)代數(shù) I（X，R） 的兩個特例：上

三角矩陣代數(shù) T_n（R） 和全矩陣代數(shù) M_n（R） ：

定義 8^[13] 關聯(lián)代數(shù) I（X，R） 上的單位元 δ 滿足 δ（x，y）=δ_xy，x?y ，其中 δ_xy∈{0，1} 是Kronecker符號.

定義9[13] 對于 X 中任意一對元素 x?y 定義 e_xy 為

由卷積定義，有 e_xye_uv=δ_yue_xv .顯然 {e_xy∣x?y} 是 I（X，R） 上的一組線性基.

定義 10^[13] （2號 設 D：I（X，R）I（X，R） 是一個 R^- 線性算子，且令

其中， C_xy^ij∈R .若 x?y 不成立，則 C_xy^ij=0 .若 i ?j∈X 且 i≠j ，則記為 ii

定義 11^[16] 任取 x

S_xy={ce_xy∣c∈R}.

引理 1^[17] 設 D：I（X，R）I（X，R） 是一個 R^- 線性算子，則 D 是一個導子當且僅當 D 滿足

其中， e_ij∈B 系數(shù)滿足

C_ij^ij+C_jk^jk=C_ik^ik ，若 i?j，j?k ：

引理 2^[6] 設 是雙導子，則對于任意的 x，y∈u，v∈A ，

φ（x，y）[u，v]=[x，y]φ（u，v）.

引理 3^[15] （204號 定義 I（X，R） 上的對角子代數(shù)D（X，R） 為

則 D（X，R） 中的元素 當且僅當對于所有的 ，有 c_x=c_y ，其中C（X，R） 表示 I（X，R） 的中心.

FADAEEB等在文獻[18］中給出了條件：

設 A 是含單位元 1_A 的代數(shù)，其中對于任意的a∈A ，

則 A 中的任意元素都可以寫成兩個可逆元素之和.

同樣，含單位元 1_R 的交換環(huán) R 滿足條件，則

R 中的任意元素都可以寫成兩個可逆元素之和.

2 主要定理及證明

設 φ 是關聯(lián)代數(shù) I（X，R） 上的一個雙導子，則根據(jù)文獻[15]，關聯(lián)代數(shù)中的任意元素都可以表示為線性基 中元素線性和的形式.因此，要想得到雙導子 φ 對關聯(lián)代數(shù)中任意元素的作用結果，只需討論雙導子 φ 在基元 e_xy 上作用的結果即可.下面證明雙導子的相關引理，即引理4一引理6，以方便研究定義在關聯(lián)代數(shù)上的雙導子作用在基元上的結果.

引理4設 φ 是關聯(lián)代數(shù)上的一個雙導子，則

（i）φ（e_ii，e_jj）=0，?i，j∈X; （204號（ii）φ（e_ii，e_ij）=A_ij^ije_ij∈S_xy，i ，且 k

情況1 當 i=j 時，固定 x=e_ii ，令 y=e_ii ·

設 是關聯(lián)代數(shù)上的一個雙導子，固定 x ，定義 φ_x ： ，則對于任意的 I（X，R） ，有

y?φ_x（x，y）.

顯然， φ_x 是 I（X，R） 上的一個導子.同理固定 y ，則 φ_y 也是 I（X，R） 上的一個導子.

結合 φ_x 和引理1證明過程知

φ（e_ii，e_ji）=φ_x（e_ii）=

那么存在 j∈X ，使得 i

[e_ii，e_ij]φ（e_ii，e_ii）?e_ijφ（e_ii，e_ii）=0.

同理有

φ（e_ii，e_ii）[e_ii，e_ij]=

[e_ii，e_ii]φ（e_ii，e_ij）?φ（e_ii，e_ii）e_ij=0.

將式（2）代入式（3）和（4）中，可得

A_jiⁱⁱe_ii=0?A_jiⁱⁱ=0，i

將式（5）兩端同時左乘 e_xx ，右乘 e_ii ，有

A_xiⁱⁱ=0，x

因為 X 是連通的有限預序集，所以存在 ult; i∈X .同理根據(jù)（3），（4）還可得

[e_ii，e_ii]φ（e_ui，e_ii）?φ（e_ii，e_ii）e_ui=0.

將式（2）代入以上兩式中，整理可得

同理可推得

A_iyⁱⁱ=0，i

綜合式（2），（6），（7）可得

φ（e_ii，e_ii）=φ_x（e_ii）=

情況2當 i≠j 時，若 i 與 j 之間不具有定義的二元關系 ? ，則（i）顯然成立，于是只需討論i，j 之間存在二元關系的情況.不失一般性，設 i ii ，令 y=e_jj ，則

根據(jù)情況1的證明過程，存在 j

φ（e_ii，e_jj）e_jk=0，e_ijφ（e_ii，e_jj）=0.

將式（8）代入以上兩式，整理得

結合式（8），（9）有

φ（e_ii，e_jj）=φ_x（e_jj）=

（ii）設 φ 是關聯(lián)代數(shù)上的一個雙導子，固定 x ，令 y=e_ij，i

根據(jù)引理 1，φ_x 有如下形式：

則由式（6），（9），（10）易知

φ（e_ii，e_ij）=φ_x（e_ij）=

同理，固定第二個元素 y 為 e_ii ，令 x=e_ij ，則可得

φ（e_ij，e_ii）=D_ij^ije_ij∈S_xy，

其中 iij^ij∈R

（iii）固定 x=e_ii ，令 y=e_kl ， i≠k≠l ，且 k

x 是一個導子，故由導子定義有

φ_x（e_kl）=φ_x（e_kk）e_kl+e_kkφ_x（e_kl），

φ_x（e_kl）=φ_x（e_kl）e_ll+e_klφ_x（e_ll）.

由（i）可以得到 φ_x（e_kk）e_kl=e_klφ_x（e_ll）=0 ，于是

φ_x（e_kl）=e_kkφ_x（e_kl）=φ_x（e_kl）e_ll.

同理可固定 y=e_kl ，令 x=e_ii ，于是有φ_y（e_ii）=φ（e_ii，e_kl）=φ_x（e_kl） ，根據(jù)（i）的證明，不妨設

將上式代入式（11），進一步得

φ_x（e_kl）=e_kkφ_x（e_kl）=G_kiⁱⁱe_ki，

以及 φ_x（e_kl）=φ_x（e_kl）e_ll=G_ilⁱⁱe_il 即

G_kiⁱⁱe_ki=G_ilⁱⁱe_il.

對上式左乘 e_kk ，右乘 e_ii ，得到 G_kiⁱⁱ=0 .再左乘 e_ii ，右乘 e_ll ，有 G_ilⁱⁱ=0 .即 G_kiⁱⁱ=G_ilⁱⁱ=0

綜上所述， φ（e_ii，e_kl）=0 ，其中 i≠k≠l ，且kkl，e_ii）=0 ，其中 i≠k≠l ，且 k

引理5設 φ 是關聯(lián)代數(shù)上的一個雙導子，則

（i）φ（e_jj，e_ii）=0，?i，j∈X; （204號（ii）φ（e_jj，e_ij）=B_ij^ije_ij∈S_xy，i

證明 （i）設 φ 是關聯(lián)代數(shù)上的一個雙導子.不失一般性，令 i?j ，固定 x=e_jj ，令 y=e_ii ，則φ_x 有如下形式：

同引理4（i）易知

e_ijφ（e_jj，e_ii）=0，φ（e_jj，e_ii）e_ij=0.

將式（12）代入上兩式，進一步推得

B_jiⁱⁱ=0，B_xiⁱⁱ=0，x

類似于引理4中（i）的證明過程，得到 ，且有

B_xj^jj=0，xjy^jj=0，j

結合上式和引理1中的系數(shù)關系式知

B_ijⁱⁱ=B_ij^jj=0.

此時固定 y=e_ii ，令 x=e_jj ，于是有φ（e_jj，e_ii）=φ_s（e_jj）=φ_x（e_ii） .由導子的性質有

φ（e_jj，e_ii）=φ_y（e_jj）=

φ_s（e_jj）e_jj+e_jjφ_y（e_jj）.

用 φ_x（e_ii） 替換上式中的 φ_s（e_jj） ，再根據(jù)式（12），（13）和（15）可得

φ（e_jj，e_ii）=φ_x（e_ii）e_jj+e_jjφ_x（e_ii）=

B_jiⁱⁱe_ji+B_ijⁱⁱe_ij=0.

（ii）任取 ijj ，令 y=e_ij ，則有

結合式（13）和（14），顯然有

φ（e_jj，e_ij）=B_ij^ije_ij∈S_xy，i

同理可得

φ（e_ij，e_jj）=E_ij^ije_ij∈S_xy，i

引理6設 φ 是關聯(lián)代數(shù)上的一個雙導子，則

X ;

（ii）φ（e_ij，e_kl）=0，（i，j）≠（k，l）.

證明 （i）固定 x=e_ij ，令 y=e_ii ，則

同樣，固定 y=e_ii ，令 x=e_ij ，根據(jù)導子定義有

φ_s（e_ij）=φ_s（e_ij）e_jj+e_ijφ_s（e_jj）.

由引理4（ii），

e_ijφ（e_ij，e_ii）=φ（e_ij，e_ii）e_ij=0.

于是有

φ_y（e_ij）=φ_y（e_ij）e_jj.

將式（16）代人式（17），整理得

C_jiⁱⁱ=0;C_xiⁱⁱ=0，x

用 φ_x（e_ii） 替換（18）中的 φ_s（e_ij） ，并將式（16）代人式（19），可得

φ（e_ij，e_ii）=φ_x（e_ii）e_jj=C_ijⁱⁱe_ij∈S_xy.

對于 ，同理有 e_ijφ（e_ij，e_jj）=φ（e_ij，e_jj）e_ij= 0.進一步得

故 S_xy

結合式（19）和（20），易得

φ（e_ij，e_ij）=φ_x（e_ij）=

（ii））固定 x=e_ij ，令 y=e_kl ，其中 （i，j）≠ （k，l） ：

關于 （i，j）≠（k，l） ，其中 i

當 i=k 且 j≠l 時，固定 x=e_ij ，令 y=e_il ，于是可設

φ（e_ij，e_il）=φ_x（e_il）=

由雙導子的定義，有 φ_x（e_il）=e_iiφ_x（e_il）+ φ_x（e_ii）e_il=e_iiφ（e_ij，e_il）+φ（e_ij，e_ii）e_il 成立，根據(jù)引理4（ii）的證明過程知 φ（e_ij，e_ii）e_il=E_ij^ije_ije_il =0 ，于是有

φ_x（e_il）=e_iiφ_x（e_il）=

對比式（21）和（22），易得 ，對等式兩端左乘 e_xx ，右乘 e_ll ，有

C_xiⁱⁱ=0，x

同樣地，根據(jù)雙導子的定義，有

φ_x（e_il）=φ_x（e_il）e_ll+e_ilφ_x（e_ll）=

φ（e_ij，e_il）e_ll+e_ilφ（e_ij，e_ll）.

根據(jù)引理4（ii）知 φ（e_ij，e_ll）=0 .于是將式（21） 代入上式得

顯然有

C_ly^ll=0，l

根據(jù)式（21），（23）和（24），有 φ（e_ij，e_il）= φ_x（e_il）=C_il^ile_il .同理，固定 y=e_il ，令 x=e_ij ，有φ（e_ij，e_il）=φ_y（e_ij）=C_ij^ije_ij .于是有

φ（e_ij，e_il）=C_ij^ije_ij=C_il^ile_il.

若對以上等式兩端左乘 e_ii ，右乘 e_ll ，則可得到 C_il^il =0 ；若左乘 e_ii ，右乘 e_jj ，則可得到 C_ij^ij=0 ，即φ（e_ij，e_il）=0 ，其中 i=k 且 j≠l ：

歸納上述過程可得， ??φ（e_ij，e_kl）=0 ，其中（i，j）≠（k，l） ：

若先固定 y ，同理可得基元與系數(shù)之間的關系式，于是綜合以上結果有定理1.

定理1設 （X，?） 是一個連通的有限預序集， R 是有單位元的交換環(huán)且滿足條件 （1），I（X. R ）是定義在 R 上關于 X 的關聯(lián)代數(shù)，若 φ 是關聯(lián)代數(shù)上的一個雙導子，則對于任意的 i

（k，l） ：

定理2設 （X，?） 是一個連通的有限預序集， R 是有單位元的交換環(huán)且滿足條件 （1），I（X R ）是定義在 R 上關于 X 的關聯(lián)代數(shù)，若 {e_xy∣x?y} 是關聯(lián)代數(shù) I（X，R） 上的一組線性基，則對于任意的 f，g∈I（X，R） ，有

其中 r_xy∈R

證明 由文獻[15]，任取 f，g∈I（X，R） 設 ，則

其中， ，e_uv，e_st∈B，f（u，v）g（s，t）∈R

由卷積的定義知

[e_uv，e_st]=e_uve_st-e_ste_uv=δ_vse_ut-δ_tue_sv.

若 v≠s ，且 t≠u ，則 [e_uv，e_st]=0 ：

若 v≠s ，且 t=u ，則 [e_uv，e_su]=-e_sv ，其中 s

若 _v=s ，且 t≠u ，則 [e_uv，e_vt]=e_ut ，其中 ult; t ：

若 v=s ，且 t=u ，則 [e_uv，e_st]=[e_uv，e_vu] .此 時若 u=v ，則 [e_uu，e_uu]=0 ；若 uvu f B ，即該情況不存在.

即 [e_uv，e_st]=e_xy ， ，令

f（u，v）g（s，t）=r_xy ，則

[f，g]=

定理3設 （X，?） 是一個連通的有限預序集， R 是有單位元的交換環(huán)且滿足條件（1），I（X，R） 是定義在 R 上關于 X 的關聯(lián)代數(shù)，若映射 是雙導子，則 φ 是內(nèi)雙導子.

證明 設 φ 是一個雙導子，任取 f，g∈ I（X，R） ，由文獻[15]有

φ（f，g）=

其中 f（u，v）g（s，t）∈R .由定理1歸納知，任取e_uv，e_st∈B .

φ（e_uv，e_st）=c_xy^′e_xy，

其中 c_xy^′∈R，?x

此時，令 f（u，v）g（s，t）=c_xy∈R ，因為 X 是連通的有限預序集，所以

令 C_xy=c_xyc_xy^' ，因為 R 滿足條件（1），故有

同理可得

在式（25）中，令 α_x=C_xyr_xy^-1∈R ，則 .同理可令（26）中的 顯然有 ，由引理3知

根據(jù)定理2，式（25）進一步有

其中

定理得證.

由定理1和引理1中系數(shù)的關系式，顯然有如下推論.

推論1設 φ 是關聯(lián)代數(shù)上的一個雙導子，則對于任意的 i?j∈X ，有

（i）φ（e_ii+e_jj，e_ij）=φ（e_ii，e_ij）+φ（e_jj，e_ij） =0 ：

（ii）φ（e_ij，e_ii+e_jj）=φ（e_ij，e_ii）+φ（e_ij，e_jj） =0

3結語

本文通過代數(shù)組合方法探究關聯(lián)代數(shù)中的雙導子結構，基于雙導子的概念以及雙導子與導子之間的聯(lián)系，降維討論雙導子作用于基元的結果，進而推導出雙導子在關聯(lián)代數(shù)中的具體表示形式，最后通過對結果的規(guī)律總結給出推論，在關聯(lián)代數(shù)既有線性映射研究成果的基礎上，進一步深化對關聯(lián)代數(shù)雙線性映射問題的探討，為關聯(lián)代數(shù)上各類雙線性映射的研究奠定了一定的基礎.

參考文獻：

[1]MAKSA G.A remark on symmetric biadditive functions having nonnegative diagonalization[J].Glasnik Math，1980，15（2）：279-282.

[2]VUKMAN J.Symmetric bi-derivations on prime and semi-prime rings[J].Advances in Biochemical Engineering，1989，38（2）：245-254.

[3]BRESAR M，MARTINDALE W S，MIERSC R.Centralizing maps in prime rings with involution[J]. JournalofAlgebra，1993，161（2）：342-357.

[4]ZHANGJH，F(xiàn)ENG S，LI H X，et al.Generalized biderivations of nest algebras[J].Linear algebra and its applications，2006，418（1） ：225-233.

[5] CHEUNG W S.Commuting maps of triangular algebras[J]. Journal of the London Mathematical Society， 2001，63（1）：117-127.

[6]BENKOVIC D. Biderivations of triangular algebras [J].Linear algebra and its applications，2oo9，431（9）： 1587-1602.

[7]DU Y Q，WANG Y.Biderivations of generalized matrix algebras[J].Linear Algebra and its Applications， 2013，438（11）：4483-4499.

[8]WANG Y.Biderivations of triangular rings[J].Linear andMultilinearAlgebra，2016，64（10）：1952-1959.

[9]袁鶴，李筱魁.三角環(huán)上的 σ -雙導子（英文）[J].數(shù)學 進展，2020，49（1）：20-28.

[10]RENDD，LIANGXF.Jordan biderivationsontriangularalgebras[J].Adv Math（China），2022，51 （2）：299-312.

[11］梁新峰，郭浩楠.三角代數(shù)上的雙Lietriple導子 [J].廊坊師范學院學報（自然科學版），2023，23（4）： 9-16.

[12]周斯名，袁鶴.關聯(lián)代數(shù)上的內(nèi)導子[J].內(nèi)江師范學 院學報，2022，37（8）：43-46.

[13]姜欣彤.關聯(lián)代數(shù)上的 ξ -Lie導子[J].湖南文理學院 學報（自然科學版），2023，35（4）：11-15.

[14]EUGENE S，O'DONNELL CJ. Incidence algebras [M].New York：CRC Press，2021.

[15]CHEN L Z，XIAO Z K.Lie higher derivations of incidence algebras[J].Revista de la Real Academia de Ciencias Exactas，F(xiàn)isicas y Naturales Serie A Matemáticas，2022，116（2）：1-13.

[16] YANG Y P.Nonlinear Lie derivations of incidence algebras[J].OperMatrices，2021，15（1）：275-292.

[17] XIAO Z. Jordan derivations of incidence algebras [J].The Rocky Mountain Journal of Mathematics， 2015，45（4）：1357-1368.

[18]FADAEE B，F(xiàn)OSNER A，GHAHRAMANI H.Centralizers of Lie structure of triangular algebras[J]. Resultsin Mathematics，2022，77（6）：222.

[責任編輯：趙慧霞]