李 明，徐曉寧

（遼寧大學(xué)數(shù)學(xué)學(xué)院，遼寧 沈陽(yáng)110036）

1997年，張永正教授構(gòu)造了四族有限維Cartan型單模李超代數(shù)W，S，H，K（相應(yīng)于特征零的情形）［1］.2004年，劉文德教授發(fā)現(xiàn)了一族新的有限維Cartan型單模李超代數(shù)HO（見(jiàn)文獻(xiàn)［2］）.文獻(xiàn)［3］研究了有限維Cartan型單模李超代數(shù)KO.2009年，張永正教授利用截頭多項(xiàng)式代數(shù)與Grassmann超代數(shù)做張量積，得到了一族新的有限維單模李超代數(shù)Ω，即Ω－型模李超代數(shù).并且給出了其超導(dǎo)子代數(shù)，證明了它與已知的Cartan型模李超代數(shù)都不同構(gòu)［4］.文獻(xiàn)［5－6］討論了Ω－型模李超代數(shù)的濾過(guò)不變性、結(jié)合型及限制性.

確定李（超）代數(shù)的導(dǎo)子（超）代數(shù)是李（超）代數(shù)研究中重要而有趣的課題.文獻(xiàn)［7－8］研究了Cartan型模李代數(shù)的導(dǎo)子代數(shù)，文獻(xiàn)［2－3，9－12］確定了上述6類有限維模李超代數(shù)及無(wú)限維模李超代數(shù)K 的超導(dǎo)子代數(shù).本文將確定無(wú)限維模李超代數(shù)Ω 的超導(dǎo)子代數(shù).

1 預(yù)備知識(shí)與約定

本文如不特別說(shuō)明，總設(shè)基域F是特征數(shù)p＞3的域，并且F不等于它的素域Π.設(shè)E＝｛z1，…，zm｝是F中有限子集，且E 在Π 上是線性無(wú)關(guān)的.設(shè)由E 生成的F的加法子群H 中不包含1.任取η∈H，設(shè)其中0≤ηi＜p，定義yη＝y(tǒng)η11…yη1m.設(shè)是整數(shù)模2的剩余類環(huán)，N 與N0分別是自然數(shù)集與非負(fù)整數(shù)集.取n∈N，r＝2n＋2.令μ1，…，μr－1∈F，且滿足：μ1＝0，μj＋μn＋j＝1，j＝2，…，n＋1.置M＝｛1，…，r－1｝.我們定義截頭多項(xiàng)式代數(shù)

使得

對(duì)任意i∈M，設(shè)ki∈N0，則ki可唯一地表示為p－adic的形式其中0≤εv（ki）＜p.定義設(shè)Q＝｛（k1，…，kr－1）｜ki∈N0，i∈M｝.若k＝（k1，…，kr－1）∈Q，則令xk＝xk11…xkr－1r－1.對(duì)ki，k′i∈N0，易見(jiàn)

令Λ（q）是具有q個(gè)變?cè)蝦＋1，…，ξr＋q的Grassmann超代數(shù)，其中q∈N，q＞1.置Ω∶＝A?Λ（q）.定義

設(shè)L 是李超代數(shù)，h（L）表示Z2－齊次元素的集合.若｜x｜出現(xiàn)在本文的某個(gè)表達(dá)式中，則約定x 是Z2－齊次元素，｜x｜表示x 的Z2－次數(shù).設(shè)s＝r＋q，T＝｛r＋1，…，s｝，R＝M∪T.若i∈M，則定義Z2.若i∈T，則定義令

設(shè)ei＝（δi1，…，δir－1），i∈M.定義Dj∈End（Ω），使得則Dj是Ω 的奇導(dǎo)子.定義Di∈End（Ω），使得Di（xkyηξu）＝k＊ixk－eiyηξu，i∈M，其中k＊i為ε0（ki），ε1（ki），…，εv（ki）的第一個(gè)非零元素，則Di是Ω 的偶導(dǎo)子.設(shè)M1＝｛2，3，…，r－1｝，令

這里I是Ω 的恒等變換.在Ω 中定義雙線［，］運(yùn)算，使得對(duì)任意f∈h（Ω），ɡ∈Ω，我們有

容易證明，當(dāng)2n＋4－q?0（mod p）時(shí)，η＋2－1q－n－2≠0，η∈H.令xi＝x1i＝xi0，?i∈M.對(duì)j∈Z，令

2 主要結(jié)果

定理2.1 Ω 是無(wú)限維單模李超代數(shù).

證明 根據(jù)Ω 的定義，顯然Ω 是無(wú)限維李超代數(shù).設(shè)Y 是李超代數(shù)Ω 的任意非零理想，并設(shè)0≠f∈Y.置f＝xt1f0＋xt－11f1＋…＋ft，其中f0≠0，D1（fj）＝0，j＝0，1，…，t.利用公式（1），我們得到

因此f0∈Y.令f0＝xliɡ0＋xl－1iɡ1＋…＋ɡl，其中i∈M1，ɡ0≠0且Di（ɡj）＝0，j＝0，1，…，l.因?yàn)?/p>

因此ɡ0∈Y.我們可以假設(shè)ɡ0∈Y，這里Di（ɡ0）＝0，?i∈M.如果Di（ɡ0）≠0，其中i∈T，我們可以假定ɡ0＝ξih0＋h1，其中i∈T，h0≠0，Di（h0）＝Di（h1）＝0.那么h0＝－［ξi，ɡ0］∈Y.這樣我們可以假定Di（h0）＝0，?i∈R.因此如果h0至少包含兩個(gè)非零項(xiàng)，那么我們可以假設(shè)

其中aη≠0，aμ≠0.令

顯然h′0是Y 中的元素且比h0少一項(xiàng).類似的方法一直進(jìn)行下去，可以得到aλyλ∈Y，aλ≠0.那么yλ∈Y.因?yàn)??H，所以1－λ≠0.故1＝（1－λ）－1［x1y－λ，yλ］∈Y.于是，對(duì)任意的xkyλξu∈Ω，我們有

故Y＝Ω.

定理2.2 設(shè)S＝｛xkii｜i∈M，ki∈N0｝∪｛yη｜η∈H｝∪｛ξj｜j∈T｝，那么Ω 是由S 生成的.

證明 設(shè)Y 是由S 生成的子代數(shù).

（1）2［xk11＋1，ξj］＝（k1＋1）＊xk11ξj∈Y，其中k1∈N0，j∈T.

（2）ξu∈Y.我們關(guān)于k進(jìn)行數(shù)學(xué)歸納法.得證ξj1ξj2…ξjk∈Y，其中j1，…，jk∈T.因此ξu∈Y.特別是ξω∈Y.

（3）xk11xti∈Y，i∈M1，t∈N0.相仿于文獻(xiàn)［4］定理3.19中6的證明，可知xk11xiξj∈Y，i∈M1，j∈T.若1－μit?0（mod p），我們有

若1－μit≡0（mod p），則由

可得

（5）xk∈Y，k∈Q.事實(shí)上，若1－μit－μi′s?0（mod p），則

且t，s∈N0.若1－μit－μi′s≡0（mod p），則

這里α＝1（或－1）.故而可得

（6）［xk＋e1，yη］＝（k1＋1）＊（1－η）xkyη∈Y.

若1－2－1q?0（mod p），則

若1－2－1q≡0（mod p），則由

可得

這里α＝1或－1.

如果u≠ω，那么可設(shè)｛ω｝＼｛u｝＝｛j1，…，jt｝.則

其中β＝1或－1.

綜合以上證明，可得Ω?Y，而Y?Ω，因此Y＝Ω.

定義2.1 若i∈T，f∈Ω，Di（f）＝0，則稱f 是截頭的.

定義一個(gè)線性映射，ρi：Ω→Ω，i∈R，使得

直接計(jì)算可得下面引理.

引理2.1

（1）如果f∈Ω，那么Diρi（f）＝f，?i∈M.

（2）如果f∈Ω 是截頭的，那么Diρi（f）＝f，?i∈T.

（3）Diρj＝（－1）~i~jρjDi，其中i，j∈R，i≠j.

引理2.2 設(shè)ft1，…，ftk∈Ω，其中t1，…，tk∈R.如果Di（fj）＝（－1）~i~jDj（fi），這里i，j＝t1，…，tk，那么存在f∈Ω，使得Di（f）＝fi，i＝t1，…，tk.

證明 顯然2Di（fi）＝0，故fi是截頭的，i∈T.對(duì)k用數(shù)學(xué)歸納法.當(dāng)k＝1，令f＝ρt1（ft1）.利用引理2.1，Dt1（f）＝Dt1ρt1（ft1）＝ft1.假設(shè)存在ɡ∈Ω，使得Di（ɡ）＝fi，i＝t1，…，tk－1.設(shè)f＝ɡ＋ρtk（ftk－Dtk（ɡ））.利用引理2.1，對(duì)i＝t1，…，tk－1，我們有

由引理2.1知

相仿于文獻(xiàn)［4］，引理3.5的證明，我們可得下面的引理.

引理2.3 設(shè)φ∈h（DerΩ），f∈Ω.如果φ（xi）＝φ［f，xi］＝φ（ξj）＝φ［f，ξj］＝0，?i∈M1，j∈T，那么φ（f）∈Ω－2.

引理2.4 設(shè)t∈Z和φ∈h（DertΩ）.如果φ（Ωj）＝0，j＝－1，0，…，k，其中k≥－1和k＋t≥－2，那么φ＝0.

證明 當(dāng)j＞k時(shí)，設(shè)f∈Ωj.假設(shè)φ（Ωj－1）＝0，顯然［f，xi］，［f，ξj］∈Ωj－1.因此

因?yàn)棣眨é福?）＝0，故φ（xi）＝φ（ξj）＝0.由引理2.3知φ（f）∈Ω－2.于是我們有φ（f）∈Ω－2∩Ωt＋j.但是t＋j＞t＋k≥－2，故Ω－2∩Ωt＋j＝0.所以φ（f）＝0.因此φ（Ωj）＝0，j≥－1成立.

又因?yàn)椋踴i，xi′］＝1（或－1），將φ 作用在等式兩邊，得到［φ（xi），xi′］＋［xi，φ（xi′）］＝φ（1）（或－φ（1））.因此φ（1）＝0.而［x1yη，1］＝y(tǒng)η，將φ 作用在等式兩邊，有［φ（x1yη），1］＋［x1yη，φ（1）］＝φ（yη）.于是φ（yη）＝0.

綜上所證，可得φ（Ωj）＝0，j≥－2.因此φ＝0.

定義2.2 設(shè)Δ＝｛θ：H→F｜θ（λ＋η）＝θ（λ）＋θ（η），?λ，η∈H｝.對(duì)于θ∈Δ，我們定義Ω 中的一個(gè)線性變換Dθ，滿足Dθ（xkyλξu）＝θ（λ）xkyλξu.很顯然Dθ∈Der0Ω.

引理2.5 如果φ∈h（DerΩ），那么存在ɡ∈Ω 和θ∈Δ，使得（φ－adɡ－Dθ）（Ωj）＝0，j＝－2，－1.

相仿于文獻(xiàn)［4］引理3.13的證明可得此結(jié)論.

定理2.3 DerΩ＝adΩ⊕｛Dθ｜θ∈Δ｝⊕〈Dpvii ｜?i∈M，vi∈N0〉.

證明 由引理2.4和引理2.5，可得φ＝adf＋Dθ，其中φ∈h（DertΩ），t≥－1，f∈Ω.

類似于文獻(xiàn)［4］中引理3.15，2.21，3.22的證明，我們可得到如下結(jié)論：

對(duì)t≥3，若不存在v∈N，使得t＝pv或2pv，則

如果t＝pv，v∈N，那么

如果t＝2pv，v∈N，那么

于是定理得證.

［1］ZHANG YONGZHENG.Finite－dimensional Lie superalgebras of Cartan－type over fields of prime characteristic［J］.Chin Sci Bull，1997，42：720－724.

［2］LIU W D，ZHANG Y Z，WANG X L.The derivation algebraof the Cartan－type Lie superalgebraHO ［J］.J Algebra，2004（273）：176－205.

［3］FU J Y，ZHANG Q C，JIANG C P.The Cartan－type modular Lie superalgebraKO［J］.Comm Algebra，2006，34（1）：107－128.

［4］ZHANG YONGZHENG，ZHANG QINGCHENG.Finite－dimensional modular Lie superalgebraΩ［J］.J Algebra，2009（321）：3601－3619.

［5］徐曉寧，張朝鳳，張永正.模李超代數(shù)Ω 的結(jié)合型與限制性［J］.東北師大學(xué)報(bào)：自然科學(xué)版，2009，41：1－5.

［6］XU XIAONING，CHEN LIANGYUN，ZHANG YONGZHENG.On the modular Lie superalgebraΩ［J］.J Pure Appl Algebra，2011（215）：1093－1101.

［7］CELOUSOV M J.Derivation of Lie algebras of Cartan－type［J］.Izv Vyssh Uchebn Zaved Mat，1970，98：126－134.

［8］STRADE H，F(xiàn)ARNSTEINER R.Modular Lie algebras and their representations［M］.Monogr Textbooks Pure Appl Math，1988：116.

［9］董艷芹，蘇耘，孟凡洪.模李超代數(shù)~W 的單性與限制性［J］.東北師大學(xué)報(bào)：自然科學(xué)版，2013，45（4）：31－35.

［10］宋華，王晨迪.李Color代數(shù)極大子代數(shù)的基本性質(zhì)［J］.東北師大學(xué)報(bào)：自然科學(xué)版，2012，44（4）：26－30.

［11］張永正，劉文德.模李超代數(shù)［M］.北京：科學(xué)出版社，2004：35－71.

［12］劉冬麗，劉文德.無(wú)限維K 型單模李超代數(shù)及其超導(dǎo)子代數(shù)［J］.數(shù)學(xué)的實(shí)踐與認(rèn)識(shí)，2010，40（19）：169－173.