任艷花，阿不都卡德

（新疆大學(xué) 數(shù)學(xué)與系統(tǒng)科學(xué)學(xué)院，新疆 烏魯木齊 830046）

任艷花，阿不都卡德

（新疆大學(xué) 數(shù)學(xué)與系統(tǒng)科學(xué)學(xué)院，新疆 烏魯木齊 830046）

用Ringel-Hall代數(shù)構(gòu)造了A3型量子群正部分的一個(gè)Gr?bner-Shirshov基，這種方法將為有限維代數(shù)表示論給出一個(gè)新的應(yīng)用空間．

Ringel-Hall代數(shù)；不可分解模；同構(gòu)類；Gr?bner-Shirshov基；合成

0 引言

交換代數(shù)的Gr?bner基理論是由Buchberger在文獻(xiàn)[1]中介紹的，此理論提供了交換代數(shù)約化問(wèn)題的一個(gè)解決方法，給出了交換環(huán)給定理想的生成元集合的一種算法，使得人們可以用此算法來(lái)決定對(duì)于由理想給出的關(guān)系不可約的元素．在文獻(xiàn)[2]中，Bergman通過(guò)鉆石引理將Gr?bner基理論推廣到結(jié)合代數(shù)上．

李代數(shù)的Gr?bner基理論是由Shirshov在文獻(xiàn)[3]中發(fā)展的，該理論的主要內(nèi)容是合成引理，它刻畫了給定理想元素的首項(xiàng)．在文獻(xiàn)[4]中，Bokut注意到Shirshov的方法對(duì)結(jié)合代數(shù)也適用．因此，Shirshov關(guān)于李代數(shù)及其包絡(luò)代數(shù)的Gr?bner基理論稱為Gr?bner-Shirshov基理論．

在文獻(xiàn)[5]中，Bocut和Malcolmson發(fā)展了量子包絡(luò)代數(shù)或者所謂的量子群的Gr?bner-Shirshov基理論，并且具體地構(gòu)造了An型量子群（q8≠1)的基．Gr?bner-Shirshov基是很有價(jià)值的，因?yàn)槿绻x關(guān)系的集合是有限的（或者更一般地說(shuō)，對(duì)任意給定單項(xiàng)式，只有有限多個(gè)元素的首項(xiàng)小于它），則對(duì)于任何一個(gè)多項(xiàng)式φ，我們可以通過(guò)只檢查首項(xiàng)的有限序列來(lái)判定φ是否屬于定義關(guān)系生成的理想．

在文獻(xiàn)[6]中，為了構(gòu)造量子群的PBW基，Ringel用Auslander-Reiten理論構(gòu)造了Ringel-Hall代數(shù)的一個(gè)生成序列和這些生成元的一些擬交換關(guān)系．為了建立量子群的Gr?bner-Shirshov基理論和有限維代數(shù)的表示理論之間的聯(lián)系，本文用Ringel構(gòu)造的關(guān)系和量子群與Ringel-Hall代數(shù)間的經(jīng)典同構(gòu)來(lái)給出A3型量子群的正部分的一個(gè)Gr?bner-Shirshov基．

1 預(yù)備知識(shí)

文獻(xiàn)[5]和[7]給出了一些關(guān)于量子群的Gr?bner-Shirshov基理論和Ringel-Hall代數(shù)的基本概念．設(shè)k是一個(gè)域，X是由一些字母組成的非空集合，其指標(biāo)集為正整數(shù)集，〈X〉是由X生成的半群，k〈 X〉是由X生成的自由代數(shù)．為了確定每個(gè)元素f∈k〈 X〉的首項(xiàng)，我們選取一個(gè)自由代數(shù)k〈 X〉的單項(xiàng)式的序．一個(gè)元素f∈k〈 X〉稱為首一元素，如果f的首項(xiàng)系數(shù)為1∈k．設(shè)f和g是k〈 X〉中的兩個(gè)首一元素，其首項(xiàng)分別為如果存在使得且的長(zhǎng)度大于b的長(zhǎng)度，則我們說(shuō)對(duì)f，g有交叉合成，并寫成如果存在使得則我們說(shuō)對(duì)f，g有包含合成，并記為其首項(xiàng)設(shè)S是k〈 X〉中的一些關(guān)系的集合（假設(shè)S由首一元素組成），(S)表示由S在k〈 X〉中生成的理想．設(shè)上的同余關(guān)系如下：當(dāng)且僅當(dāng)，其中αi∈k，如果對(duì)于任意的有定義就有則我們說(shuō)S對(duì)合成封閉．在這種情況下，我們說(shuō)合成(f， g)ω對(duì)S是平凡的．如果S對(duì)合成不封閉，則我們需要納入所有對(duì)S非平凡的合成得到Sc，即所謂的S的完備化．如果（即對(duì)合成是封閉的），則我們說(shuō)S是完備的．如果S是完備的，則Shirshov的引理指出，任意首一元素f∈(S)有可約的首項(xiàng)其中．商代數(shù)（作為k上的向量空間）的線性基可由〈X〉中的不可約單項(xiàng)式的集合得到[3]，這時(shí)集合S稱為理想(S)的一個(gè)Gr?bner-Shirshov基，或者說(shuō)它是商代數(shù)k的一個(gè)Gr?bner-Shirshov基．如果對(duì)任意不再是Gr?bner-Shirshov基，稱S是一個(gè)極小的Gr?bner-Shirshov基．

文獻(xiàn)[8]和[9]給出了量子群的定義．設(shè)Q(v)是變量v在有理數(shù)域Q上的一個(gè)函數(shù)域，A = (aij)是所有元素全為整數(shù)的可對(duì)稱化n × n階Cartan矩陣且存在對(duì)角線上元素di是非零正整數(shù)的對(duì)角矩陣D，使DA是對(duì)稱矩陣．設(shè)q是k的非零元，對(duì)每個(gè)i均有量子群Uq(A)是自由Q(v)代數(shù)，其生成元是且滿足下面的關(guān)系：

2 A3型量子群的正部分的Gr?bner-Shirshov基

我們選取A3的定向如圖1，對(duì)應(yīng)的Cartan矩陣是

[1] Buchberger B．An algorithm for finding a basis for the residue class ring of a zero-dimensional ideal[D]．Ph.D. Thesis, University of Innsbruck，1965.

[2] Bergman G M．The diamond lemma for ring theory[J]．Adv.Math.，1978，29：178―218．

[3] Shirshov A I．Some algorithmic problems for Liealgebra s[J]．Siberian Math. J.，1962，3：292―296．

[4] Bokut L A．Imbeddings into simple associative algebras[J]．Algebra and Logic，1976，15：117―142．

[5] Bokut L A，Malcolmson P．Gr?ebner-Shirshov basis for quantum enveloping algebras[J]．Israel J. Math，1996，96：97―113．

[6] Ringel C M．PBW-bases of quantum groups[J]．J.reine angew. Math.，1996，470：51―88．

[7] Ringel C M．Hall algebras and quantum groups[J]．Invent. math.，1990，101：583―592．

[8] Drinfel’d V G．Hopf algebras and the quantum Yang-Baxter equation[J]．Doklady Akademii Nauk SSSR，1985，283(5)：1060―1064．

[9] Jimbo M．A q-difference analogue of U(G) and the Yang-Baxter equation[J]．Letters in Mathematical Physics，1985(1)：63―69．

[10] Rosso M．Finite dimensional representations of the quantum analogue of the enveloping algebra of a complex simple Lie algebra[J]．Comm.Math.Phys.，1988，117：581―593．

Gr?bner-Shirshov Basis of Quantum Groups and Ringel-Hall Algebra

REN Yan-hua, Abudukadir

(College of Mathematics and System Sciences, Xinjiang University, Urumqi Xinjiang 830046, China)

In this paper we will construct A Gr?bner-Shirshov basis for the positive part of quantum group of type A3is contrasted by applying Ringel-Hall algebra. This approach will provide a new application for the representation theory of finite algebra.

Ringel-hall algebra; indecomposable module; isomorphism classes; Gr?bner-Shirshov basis; composition

O152.6

A

1006-5261(2010)02-0008-03

2010-01-25

任艷花（1971—），女，山西汾陽(yáng)人，碩士研究生．

〔責(zé)任編輯 張繼金〕