π-余模余代数与π-余模余理想.pdf

第46卷第6期 华中师范大学学报(自然科学版) V01．46No．6 2012年12月 JOURNALOFHUAZHONGNORMALUNlVERSITY(Nat．Sci．)Dec．2012 文章编号：1000—1190(2012)06—0645—04 矿余模余代数与万一余模余理想 陈华喜¨，殷晓斌2 (1．蚌埠学院数学与物理系，安徽蚌埠233030；2．安徽师范大学数学与计算机科学学院，安徽芜湖241000) 摘 要：引进了rH_余模余代数、r霄一模代数的定义，给出了一些相关的性质，然后证明了局部有限维 的，H_余模余代数的对偶是一个矿H’一模代数；接着又引进了矿H_子余模、rH一余模余理想、矿昏子 模以及rH一模子代数等概念，证明了7rH-余模余理想与rH*一模子代数间的对应关系． 关键词：rH一余模余代数；矿霄一模代数；矿H一子余模；rH一余模余理想；7广H模子代数 中图分类号：0153．3 文献标识码：A Hopf代数是人们在研究拓扑时被发现和建有关的矿余代数、Hopf矿余代数、矿代数、Hopf斤 1)．趿rr-～H一 立起来的代数系统，而Hopf矿余代数(其中丌为乘代数、矿H一余模、7广H一余模同态、7广H～一N 法群)是Turaev在研究3维流形上主7广丛的模同态等定义，请参考文献[1，6]． Hennings—like与Kuperberg～like不变量的基础上 2 Hopf矿余模余代数的对偶 引进的一类代数结构，它是Hopf代数的一种推广． 7广余代数的相关研究可参 有关Hopf代数与Hopf 一个矿余代数H一({H。)。∈。，△，￡)称为局部 考文献[卜3]，而在文献[4]中，作者提出了7广H一 E7r) 有限维的，如果每一个佟向量空间H。(Vd 余模代数的概念，并讨论了与之有关的 都是有限的．一个局部有限维的7广余代数H上的 Maschketype定理．在文献E53中，作者主要讨论 矿余模M一{舰)。。，称为局部有限维的，是指每一 Hopf矿余代数的矿子余代数和Hopf矿子余代 个K-向量空间M。(V口E，r)都是有限的．在以下 数．本文首先将在给出矿H一余模余代数和矿H一模 的讨论中，总是设Hopf矿余代数和Hopf矿余模 代数的定义的基础上，证明Hop{7广余代数H上的 都是局部有限维的． 牙H一余模余代数C的对偶C+是一个矿H_模代 7广余代数H上牙耳余模余代数 为了讨论Hopf 数；然后又给出了矿H一子余模、矿H一余模余理想、 的对偶，引入下列映射：如果H=({14,)。∈。，A，￡)是一 矿再一子模以及丌一H一模子代数等概念；最后证明了 个矿余代数，由∥凰一H口0马，￡：H，一K可以 矿H一余模余理想与丌一Hl模子代数间的一个等价 导出映射≮口：(鼠。炜)’一H茹和s+：K+一研， 关系． 记映射芴一{一mo，p)邢e。，其中一ma彬坷o q—q是 1预备知识 = 《B 一