相关Hopf+π-模及其对偶，结构定理和Maschke型定理.pdfVIP

7r．模及其对偶，结构定理和Maschke型定理 相关Hopf 摘 要 其中7r为一离散群．本文主要存HopfⅡ．代数上讨论相关Hopf丌一模的三个主要 问题．首先是讨论相关Hopf7r一模的概念及其对偶问题．然后讨论了相关Hopf丌- 模的结构定理(定理3，4)，并得到文献[23】中Hopf丌．模的结构定理是定理3．4的 特例，从而推广了通常的Hopf模的结构定理．本文最后讨论了相关Hopf”-模 的Maschke型定理(定理4．4)，并给山了J∈M曼日为内射的D余模的一个等 价刻画(定理4．6)． 第一节，首先给山本文所用到的一些基本概念，其次构造并证明了7r一余模 M的对偶M·是7r一模．然后分别构造并证明了Hopfw一余代数口的对偶日。是 7r一模．最后讨论它们之间 Hopf7r一代数以及Hopf7r一余模M的对偶M。是Hopf 的密切关系． 第二节，首先引进了Hopf 7r一代数上的7r一日，模余代数的概念(定义2．5)，由 7r一模的例子 此给山了相关p，日卜Hopf7r一模范畴，构造了一个相关[C，HI—Hopf (例2．9)． 然后讨论范畴Mr。和M0日之间的对偶，有以下结论成立： (1)设圩为HopfⅡ一余代数，A为Ⅱ一口．余模代数，则A。为Ⅱ一日。一模余代数； (2)设M∈Mr8，则M。∈M。A—o日。(定理2．11)； (3)设H为有限型的Hopf7r一代数，C为有限型的n皿模余代数，则C+为 ”．日’．余模代数． 最后，引进相关[C，日卜Hopfn双模和相关(H，A)一Hopfn双模的概念(定 义2．13和定义2．15)，得到以下结论：设口为有限型的Hopf”代数，C为有限 型7r-H-模双代数(例2．14)，那么当M为相关【C，日卜HopfⅡ一双模时，M+为相关 (日+，C+)一Hopf7r一双模(定理2．18)． 第三节，主要讨论Hopf7r一代数上相关Hopf n模的结构定理(定理3．4)： 设H为Hopf丌-代数，C为7r一日一模余代数，M∈MOH，若存在7r—H，模同态 p={I／a：G一风)。日是余代数同态，目．对任意口∈，巴是余交换的，则对每一 个相关【C，HI—Hopf”一模M，存存一个相关[C，删一Hopf7r一模同构：M型^，严qoe． 这推广了通常的Hopf模的结构定理．由注2．9可知，文献f231中Hopf模的结构 定理是定理3．4的特例，从而也将文献[11]的相应结论推广到了Hopf丌_代数上． 第网节，生要讨论Hopf 7r．代数上相关Hopfn模的Maschke型定理f定理4．4) 及其一个应用(定理4．6)，首先证明了M0日中的一个满态射g={g。：帆一心) 在M0日中是分裂的充分条件：如果Cl一余模满同态存范畴．A4C1中是分裂的． 然后给山此定理的一个应用：d∈．Ad曼甘为内射的D余模的一个等价刻画，从 而把Maschke型定理推广到了Hopf”代数上． 关键词：Hopf7r一余代数；Hopf玎一余模；Hopf 7r一代数；Hopf丌_模；丌’肌余模 代数；相关Hopf丌_余模；竹一日一模余代数；相关Hopf模；Maschke型定理 Theorem The TheoremandMaschke Duality,Structure Type ofRelative Hopf丌-modules ABSTRACT Thenotionsof 7r isadiscrete those