Hopf箭图与Hopf代数.pdfVIP

Vol.28(2008) 数 学 杂 志 No.1 J.ofMath.(PRC) Hopf箭图与Hopf代数 ‘ 郭夕敬 ，‘张寿传 “，杨必中“ (1.吉林大学珠海学院数学教研室，广东珠海519041) (2.湖南大学数学与计量经济学院，湖南长沙410082) 摘要:本文研究了简单无向Hopf箭图的图论性质以及路代数与路余代数的关系，利用简 单无向Hopf箭图与简单图的关系，证明了路代数是路余代数的对偶的直和部分. 关键词:路余代数;Hopf箭图;分歧数据 MR(2000)主题分类号:16W30;0508;05(20 中图分类号:0151.23 文献标识码:A 文章编号:0255-7797(2008)01-0113-06 I 引言 ClaudeCibils和MarcRosso在文献 1「〕中引进了带有标记(marker)的Cayley图，即后 来在2〔〕中引进的Hopf箭图.在 1〔〕中，两位作者ClaudeCibils和MarcRosso给出有限箭 图Q上的路代数kQ允许有分次Hopf代数结构的充要条件:Q是某个有限群G上关于某 个标记的Cayley图(即某个有限群G上关于某个分歧数据的Hopf箭图).且有 kQ=T(kQ,).(kQ,)=.iEN(.kQj).Chin和Montgomery在3〔〕中将路代数的概念对偶化 得出了路余代数的定义.ClaudeCibils和MarcRosso这两位作者在文献[2〕中又给出箭图 Q上的路余代数kQc允许有分次Hopf代数结构的充要条件:Q是某个群G上关于某个分 歧数据的Hopf箭图·且有kQc=I扬of(kQ,)一。=ENNQ,).这两个重要结论为我们研究 Hopf箭图上的分次Hopf代数的性质提供了很好的依据.他们还构造出了路余代数(路代 数)上所有长度分次的Hopf代数.他们的工作引起了国内外Hopf代数领域研究人员的广 泛关注，[4」中将单项式k一代数上的所有Hopf代数结构进行了分类，[5」中研究了路余代数 上的分次Hopf代数结构的子Hopf代数结构，证明了点Hopf代数中的对偶Gabriel定理. 作者在 6〔」中已经证明了任意的Hopf箭图都是某些基本Hopf箭图的并，有限循环群和有 限交换群上的基本Hopf箭图连通分支是有向圈，并且给出了它们的具体形式.本文主要研 究Hopf箭图的一些图论性质，给出了Hopf箭图成为欧拉图及汉密尔顿图的条件.容易证 明，无向的Hopf箭图是正则图，但正则图不一定是Hopf箭图，本文举例证明了存在正则图 不是Hopf箭图.另外，文中还给出了路代数与路余代数的关系. 如果Qo和Q1是两个非空集合，:和t是两个从Q1到Qo的映射，那么，(Qo,Q1,s,t)称为 *收稿日期:2005-04-28 接收日期:2005-12-19 作者简介:郭夕敬，(1980-)，女，河南延津，硕士研究生，主要研究方向:Hopf代数. E-mail:shinnycdh@ 万方数据 114 数 学 杂 志 Vol.28 一个箭图，简记为(Q,s,t)或者Q.Q6和q分别称为顶点集和箭向集，对任何一个箭向a, s(a)和t(a)分别称为箭向a的起点和终点.令(I:=(KO,etl,s,9t)，如果Q。CQ.,Q%CQi， 且s一:}。，,t=tlq,，称Q/是Q的子箭图·如果Q,=G是一个群，那么，Q称为群G上的箭 图，记为(Q,G,s,t).当Qo和Q:都是有限集时，我们说Q是有限的，本文只研究有限箭图. K(G)表示群G的所有共扼类组