群Hopf代数上的余模代数的性质以及一般Cleft余模代数的对偶.pdfVIP

 第一章 绪论和主要结论 第 一章 绪 论 和 主要 结 论 H opf代数是代数学 的一个重要分支，起源 于代数拓 扑和代数群理论，在现代 代数学中它有着广泛 的应用.D oi-H opf模是H opf代数 中很重要 的一个概念，本文主 要研究的是与两类特殊D oi-H opft莫范畴相关 的问题.其一是群H opf代数上 的余模 代 数 的性质 ，讨论 它是其 不变 子 空 间 的G alois扩 张 的一个 充分条件 ;其 二 是满 足一 特定条件 的模余代数 的性质，可看作是C left余模代数 (见 [5])的性质 的对偶.在本 文 中，约定 是一个域，所有 的代数 ，余代数，H opf代数等均 以它为基域.当没有 明确 指 出时，所 有 张量 积 均 是k 上 的张量 积 . 设4 是域A;上 的一 个 线 性 空 间，如 果 ： (1)(yl，m . zi)是一个代数，m ：A ? A —— 4 是乘法,u ： k ~ ) ■A 是单位. (2) (式 A ，e)是— 余 代 数，A ： A ~ ) ■A ^ ] 是余 乘，e ： A ~ 、/c是余 单 位. 当A . e是代数映射，或等价地，当m ，？1为余代数映射时，称 (丑，饥，《，么，6；)是双代数. 用/ 表 示4 的恒 等 映射 ，如 果还 存 在 一个 线 性 映射 S ： 使 得 m 0 (/ 0 s) 0 A m 0 (s 0 /) 0 A M 0 €, 则称 m ，u，A ，e，s) 是一个H opf代数 ，称s为 的andpode.当各 映射均 明确 时,也 简称4 是一个双代 数或H opf代 数.如果4 作 为代 数交换，则称H opf代 数 交换 ，如 果A 作为余代数是余交换 的,则称H opf代数A 余交换. 设 (C7, A c;，ecO 是一个余代数，Ai是A;上 的一个线性 空 间，存在线性 映射pm ： M — M ? C 满 足 {PM 0 Ic ) ° PM {Im ? A c ) o pM , 那 么 称 是 一 个 右C - 余 模，当 结 构 映 射PM 明确 时，可 简 称 是 一 个 右C - 余模.如果i\f, 是两个右C - 余模，f ? .M — iV 是一个 线性 映射，且满 足U .》Ic ) 。PM PN 0 / ,就称/ 是iW 到iV 的右C^- 余模 同态. 左 余 模 与 左 余 模 同态 可 类 似 地 定 义 .特 别 地 ，若C 是 一 个 余 代 数 ，那 么 在 映 射A c ： C C ⑧C 作用 下，可将C 看作右 的或是左 的C - 余模.有关代 数 ，余代 数 ， H opf代数，余模等 的知识可参考文献 [1]和文献 [6].对于余代数C 及右 余模M , - 1 -  第一章 绪论和主要结论 本 文 采 用S w eedier记 号 以简 化 书 写 ： A c (c) ^ c(i) S C(2), Vc e C, PM {m ) ^ 771(0) ? m ⑴,Vm e M . 设4 是 一个 双 代 数, iur是 一个 右 模 ，也 是一 个 右 余模 .如 果余 模 结 构 映 射 ： M — M ? 丑满 足 PM {m a) ^ m (o)a(i) ? m (i)a⑵，Vm e M , a e A , 则称M 是一个右A -H op繼 .设鼠 A 嚷 两个A -H opfi ,线性映射/ ： M — TV 是 右 模 同态，也 是 一个 右4 - 余 模 同态，那 么称/ 是