π-H-余模代数与π-H-余模子代数.pdf

年 月 纯粹数学与应用数学 第 卷 第 期 余模代数与 余模子代数 赵士银 周坚 （宿迁学院教师教育系 江苏 宿迁 ） 摘要：研究了 -- 余模子代数的相关性质. 借助对偶原理证明了 是 -- 余模代 数 的-- 余模子代数当且仅当 是 -- 模余代数 的- - 模余理想. 关键词：Hopf - 余代数; -- 余模代数; -- 余模子代数 中图分类号：O153.3 文献标识码：A 文章编号：1008-5513(2014)05-0447-07 ：10.3969/j.issn.1008-5513.2014.05.002 引引引言言言 Hopf - 余代数是V. G. Turaev 在研究3 维流形上主- 丛的Hennings-like 与Kuperberg- like 不变量时引入的一类代数结构, 它是 Hopf 代数的推广. 文献 [1] 将 Hopf 中许多重要性质 推广到了 Hopf - 余代数上. 文献 [2] 讨论了余拟三角 Hopf - 余代数及其模范畴. 文献 [3] 主要探讨 Hopf - 余代数 Morita Contexts 和 -Galois 扩张. 本文在文献 [3] 的基础上, 给出 了-- 余模代数和 -- 模余代数的定义, 讨论了局部有限维 Hopf - 余代数 上的 -- 余模代数的对偶是 Hopf - 代数 上的 -- 模余代数. 得到了局部有限维 Hopf - 余代 数 上的-- 余模子代数与Hopf - 代数 上的- - 模余理想之间的充分必要条件. 本文中恒设 为域, 是乘法群, 其单位元为 1. 所有的空间都是 - 向量空间, 映射 是- 线性映射, ⊗ 写为⊗ , --(余) 模指的是右 --(余) 模. 其它符号和概念可见 文献 [5-9]. 预预预备备备知知知识识识 首先来回顾一下- 余代数与Hopf - 余代数等基本概念. 若 = {} 是一簇- 向量空间, 且赋予了一簇- 线性映射 ∆ = {∆ : → ⊗ } 收稿日期：2013-06-12. 基金项目：国家自然科学基金; 江苏省教育厅青蓝工程资助项目. 作者简介：赵士银 (1978-), 硕士, 副教授, 研究方向: 基础代数学. 448 纯粹数学与应用数学 第 卷 及其 - 线性映射 : 1 → , 对任意的 ∈ , 满足: (∆ ⊗ id )∆ = (id ⊗ ∆ )∆ (id ⊗ )∆1 = id = ( ⊗ id )∆1 则称 = ({} ∆ ) 为- 余代数. 定定定义义义 设 = ({ } ∆ ) 为- 余代数, 给定一簇- 线性映射 = { : → − } 称 为Hopf - 余代数, 若满足条件: (1) 对任意的 ∈ , ( ) 是代数; (2) 对任意的 ∈ , ∆ : →⊗ 和 :1 → 都为代数同态; (3) 对任意的