可分与余可分及其性质.pdfVIP

2010年 12月 伊犁师范学院学报 (白然科学版) Dec．2010 第 4期 JournalofYiliNormalUniversitv (NaturalScienceEdition) No．4 可分与余可分及其性质 代瑞香，刘 超 (石河子大学 师范学院数学系，新疆 石河子 832003) 摘 要：根据代数和余代数的一些基本知识，可分单子的定义和与其定义等价的两个命题， 类似给出了余可分余单子的定义及与定义等价的两个命题及其证明过程． 关键词：单子；可分；余可分 中图分类号：O154．1 文献标识码 ：A 文章编号：1673--999X (2010)04—0014—04 2002年，MoerdijkI川介绍了张量范畴上的Hopf单子，研究了Hopf单子的一些性质，它的代数和它 的 Hopf代数结构．2006年，L_ElKaoutit和 J．Vercruysse 介绍了底函子是右正合的且保持直和的 Grothendieck范畴中的余单子的双余模范畴，并且通过上同调群用可分的忘却函子来刻画余单子，即通过 定义Grothendieck范畴上的余单子，构造了余单子上的双余模范畴，进而定义此类范畴间的伴随函子，还 定义了与余单子有关的余导子和余积分，给出了此种理论的两个应用． Gomez．TorrecillasJ0【1主要介绍了余单子和伽略瓦上环，其中包括伴随函子对可生成一个余单子，如 F：C D，G：D C是伴随函子，其中C，D是两个范畴，则c=GF为范畴c中的余单子；还介绍了余单 子态射和实环上的上环的性质，定义了一些双余模范畴，并构造了此类范畴之间的伴随函子，从而得到了 一 些比较特殊的余单子态射．BruguieresA．和VirelizierA． 更详细地介绍了具有对偶的Monoidal范畴中 的Hopf单子，还详细介绍了半单和可分单子的定义与等价条件． 本文根据可分单子的定义和与其定义等价的两个命题，把代数和余代数上的一些结论推广到单子和余 单子上，类似地给出了余可分余单子的定义及其与定义等价的两个命题及其证明过程． 1 预备知识 定义 1151设D是任一范畴，白同态函子EndD是一个严格的Monoidal范畴，D上的单子是指三元结 构 (T，／．t，77)， 其 中 T：D D 是 一 个 函 子 ， ：T 和 ：。 71是 自然 变 换 ， 满 足 x，qx=idrx： x·Tqx． 设 (，，77)为D上的单子，T．模是指 (，，．)，其中M ∈obj(D)和 ：() M 为D中的态射，使得 j 。 。 一 ． ，r·(r)=，．· ，，．· =f ． 1_【 ， 设 (，，)，(Ⅳ，)为两个T．模，态射 f： Ⅳ称为 一线性的，若厂r·=S·(r)，这样的厂也称为 - 模态射． 例 设C是任意一个 Monoidal范畴，A∈obj(C)，设A 7为C的自同态函子 ，其定义为： (A07)()=Ao ；(A 7)(厂)=idAo厂．其中 ∈obj(C)，厂为C中的态射． 收稿 日期：2Olo__03__0l 作者简介：代瑞香 (198o一)，女，讲师，从事环与代数、Hopf代数与量子群研究 第4期 代瑞香，刘超：可分与余可分及其性质