G_2型量子群表示的Grbner-Shirshov基.pdfVIP

第30卷第 11期 重庆工商大学学报(自然科学版) 2013年 l1月 Vo1．3O NO．11 JChongqingTechnolBusinessUniv．(NatSciEd) NOV．2013 文章编号：1672-058X(2013)11—0001—05 型量子群表示的Grtibner—Shirshov基木 艾尼 ·吾司塔，阿布都卡的 ·吾甫 (新疆大学 数学与系统科学学院，乌鲁木齐 830046) 摘 要：用单李代数的泛包络代数表示的Gr~bner．Shirshov基方法，也就是Grtibner．Shirshov对 (pair)方 法，来构造G2型量子群表示的Grt)bner—Shirshov基是非常苦难的。而用双 自由模方法来构造 G型量子群的 有限维不可约表示的Grtibner—Shirshov基是非常方便的；以已知的G2型量子群的Grtibner．Shirshov基为基础， 用双 自由模方法构造G型量子群的不可约表示的Grtibner．Shirshov基。 关键词：量子群；Grsbner—Shirshov基；合成；双 自由模；最高权模 中图分类号：O151 文献标志码 ：A 在研究代数的结构时约化问题是一个根本性的问题。Buchberger_l给出了解决约化问题的有效方法，现 在称为Groebner基理论。后来 Bergman 通过证明钻石引理把 Buchberger的理论推广到结合代数上。与此 同时，Shirshov 在李代数上发展了Grtibner基理论的平行理论。后来Bokut 证明了Shirshov的方法对结合 代数同样可用，因此 Shirshov对李代数及其包络代数的Grtibner基理论被称为Grtibner-Shirshov基理论。后 来Bokut和 Malcolmson 给出了量子群的Grt)bnerShirshov基的构造方法，并且用此方法具体构造了量子群 u (A)的Grtibner—Shirshov基。最近文献 [6]用代数表示论方法分别给出G：型量子群的Grsbner—Shirshov 基。Kang和 Lee 首次给出了关于表示的Grtibner—Shirshov基理论，并且 用此理论给出了单 Lie代数 sl+1 上有限维不可约模的Grfibner．Shirshov基。几年后 Chibrikov 给出了模的钻石一合成引理，其中的中心思想 是把模看做是双 自由模。后来陈欲群等人 【1。。用双 自由模方法 给出了结合代数的表示的Gr~bner—Shirshov 基。目的是以G型量子群的Grtibner—Shirshov基为基础，用双 自由模方法 构造出G2型量子群的有限维 不可约表示的Grtibner—Shirshov基 。 1 准备知识 设K是一个域，是由一些字母组成的非空集合，其指标集为正整数集， 是由 生成的单项式的自由 幺半群，KX)是域F上的由X生成的自由结合代数。为了确定每个元素厂∈kx)的首项，在 中选取一个 序 “”，这时这个序 自然地在 自由结合代数Kx)上诱导出一个序。对任意元素 ∈kx)，用，来表示其首 项。如果元素，∈kx)的首项厂的系数为 1，则称，为首一元素。如果，与g是kx)中的两个首一元素，其 首项分别为，与g，那么 与g的合成如下定义的： 收稿 日期：2013—06-02；修回日期 ：2013—06—25． 基金项目：国家自然科学基金． 作者简介：艾尼 ·吾司塔 (1981．)，男，新疆人 ，硕士研究生 ，从事代数表示论与量子群研究． 料通讯作者：阿布都卡的 ·吾甫(1963．)，男，教授 ，从事代数表示论、量子群及Gr~bner—Shirshov基理论研究． 2 重庆工商大学学报(自然科学版) 第30卷 (a)如果存在0，b∈(X)使得 =bg=tO且 的长度大于 b的长度，则f，g有交叉合成，并其定义为 (f，g)=fa—bg。 (b)如果存在a，b∈(X)，使得f=agb= ，则说f，g有包含合成，并其定义为(，g)=f-agb。 上述定义中应注意，两种情况下均有 (，，g)tO。