非交換群上Hopf代數(shù)的模-論文.pdf

《非交換群上Hopf代數(shù)的模-論文.pdf》由會員上傳分享，免費在線閱讀，更多相關(guān)內(nèi)容在行業(yè)資料-天天文庫。

1、第39卷第4期西南師范大學學報(自然科學版)2014年4月Vol.39No.4JournalofSouthwestChinaNormalUniversity(NaturalScienceEdition)Apr.2014文章編號:10005471(2014)4000104非交換群上Hopf代數(shù)的模①吳美云1,2,朱曉春1,羅嘉悅2,李成1,林蘇梅21.南通大學杏林學院,江蘇南通226007;2.南通大學理學院,江蘇南通226007摘要:設(shè)G是二面體群D3,H是G上的一型Hopf代數(shù).用分類研究的方法,構(gòu)造出了H的所有互不同構(gòu)的有限維單模.關(guān)鍵詞:Hopf代數(shù);單模;同構(gòu)中圖分類號:O1

2、53.3文獻標志碼:AHopf代數(shù)最早是在1941年由HeinzHopf為解決同調(diào)問題而引入的,到20世紀60年代以后迅速發(fā)展起來,成為代數(shù)學的新學科.作為域k上的Hopf代數(shù),是同時具有k代數(shù)結(jié)構(gòu)和它的對偶結(jié)構(gòu)(余代數(shù)結(jié)構(gòu))并滿足一定相容條件的代數(shù)系統(tǒng).Hopf代數(shù)的分類不僅對于代數(shù)學內(nèi)部,而且對數(shù)學的許多其他領(lǐng)域[1-3]都有廣泛應(yīng)用.借助箭圖來研究Hopf代數(shù)的分類正成為代數(shù)研究的熱門.文獻[4]借助箭圖構(gòu)造了大[5]量逐點Hopf代數(shù).而對這些Hopf代數(shù)表示的研究將有助于研究Hopf代數(shù)的分類.本文就其中一類有代表性的Hopf代數(shù)上的表示進行研究.文中恒設(shè)k為特征不等于2的

3、代數(shù)閉域,代數(shù)、余代數(shù)、張量積均在此域k上討論.本文恒設(shè)ε∈k*是一個3次本原單位根.所有相關(guān)概念及理論參見文獻[6-7].對于文獻[4]中的推論2.3,如果令m=p=2,則此推論改述為:命題1Hopf路余代數(shù)kQc(αχχk)的子Hopf代數(shù)kG[kQ1;αk]作為代數(shù)的生成元是:(1)(2)(1)(2)a,b,x1=a1,1,x2=a1,1,z1=ab,1,z2=ab,1生成關(guān)系是:322,x,x,x,za=b=1,ab=ba1a=ax12a=ax21x2=x2x11a=0,z2a=0x1z1=z1x1,x1z2=z2x1,x1b=-bx1,x2b=bx2,z1b=bz1,z2b

4、=-bz2,z1z2=z2z1余代數(shù)結(jié)構(gòu)為:a,b是群象元,Δ(xi)=1?xi+xi?1,ε(xi)=0,S(xi)=-xiΔ(zj)=b?zj+zj?1,ε(zj)=0,S(zj)=-bzji=1,2;j=1,2此為無限維非交換代數(shù).其中G是二面體群D3,是階數(shù)最小的非交換群.記kG[kQ1;αχk]=H.為了給出H上的所有互不同構(gòu)的有限維單模,我們首先構(gòu)造如下幾類有限維單模:(a)一維單模k,其中l(wèi)=1,2.χl對l=1,2,令χl:kH→k為一個代數(shù)同態(tài),使得χl(xi)=0,χl(zi)=0,并且χ1(a)=1,χ1(b)=1,①收稿日期:20130201基金項目:國家自然

5、科學基金資助項目(11101229);南通大學教學研究基金資助項目(2012B005);江蘇省2013年大學生創(chuàng)新基金項目;南通大學2013年大學生創(chuàng)新基金項目.作者簡介:吳美云(1971),女,江蘇南通人,副教授,主要從事Hopf代數(shù)的研究.2西南師范大學學報(自然科學版)http://xbbjb.swu.cn第39卷(a)=1,(b)=-1,其中i=1,2.可以驗證這樣的代數(shù)同態(tài)是存在且唯一的.令k為kG上由χ決定χ2χ2χli的一維單模.顯然模k與k互不同構(gòu).χχ12同樣,對j=1,2,令α:kH→k為一個代數(shù)同態(tài),使得α(x)=,α(z)=0,其中0≠,并jjiξjiξ∈k且

6、有α1(a)=1,α1(b)=1,α2(a)=1,α2(b)=-1.可以驗證這樣的代數(shù)同態(tài)是存在且唯一的.令kα為kGj上由χj決定的一維單模.顯然模kα1與kα2互不同構(gòu),且很容易得到kχl與kαj互不同構(gòu).(b)二維單模F(δ),F(ξ,δ),其中ξ,δ∈k,ξδ≠0.令?ε0??01?f(δ)(a)=?÷=Λ1f(δ)(b)=?÷=Λ22è0ε?è10??δ0??00?f(δ)(x1)=?÷=Δ1f(δ)(x2)=?÷=O2f(δ)(z1)=f(δ)(z2)=O2è0-δ?è00?容易驗證f(δ)可以唯一地擴張為代數(shù)同態(tài)f(δ):kH→M2(k).記對應(yīng)的kH模為F(δ).容易

7、驗證存在唯一的代數(shù)同態(tài)f(ξ,δ):kH→M2(k),使得)=Δ,f(ξ,δ)(a)=Λ1f(ξ,δ)(b)=Λ2f(ξ,δ)(x11?ξ0?f(ξ,δ)(x2)=?÷=ξE2è0ξ?)=O(,δ)(z)=Of(ξ,δ)(z12fξ22記對應(yīng)的kH模為F(ξ,δ).命題2?如上定義的F(δ)是單kH模,且δ=δ′當且僅當F(δ)?F(δ′);?如上定義的F(ξ,δ)是單kH模,且F(δ)與F(ξ,δ)互不同構(gòu).證?設(shè)u1,u2是F(δ)的一組k基,使得F(