除环的Hopf Galois扩张与Hopf模

设Ｈｏｐｆ代数Ｈ余作用于代数Ａ．本文讨论代数Ａ，余不变子代数ＡｃｏＨ及Ｓｍａｓｈ积Ａ＃Ｈ的相互关系．同时将研究Ｈｏｐｆ模，全积分及除环的ＨｏｐｆＧａｌｏｉｓ扩张．     

模任意子Hopf代数的商余代数的诱导作用

设 Ｈ是域 ｋ上的有限维 Ｈｏｐｆ代数，Ｋ为 Ｈ的任意子 Ｈｏｐｆ代数，Ａ是右 Ｈ－余模代数．设 ＝（Ｈ／Ｋ+ Ｈ）*和，且有 ｃ∈Ａ，ｔ ·ｃ＝１．本 文刻划了 Ａ作为 Ａ＃ *-模的投射性且证明了：如果Ａ／ＡＨ*是 Ｈ-Ｆｒｏｂｅｎｉｕｓ扩张， 则 Ａ ／ＡＨ*是 Ｋ－Ｆｒｏｂｅｎｉｕｓ扩张；如果 Ａ／ＡＨ*是 Ｈ－Ｇａｌｏｉｓ扩张，则 Ａ *／ＡＨ*是 Ｋ－Ｇａｌｏｉｓ扩张．     

A#H^＊rat为中心单代数的条件

本文用ＭｏｒｉｔａＣｏｎｔｅｘｔ的方法得到域上余ＦｒｏｂｅｎｉｕｓＨｏｐｆ代数Ｈ与Ｈ－余摸代数Ａ的Ｓｍａｓｈ积Ａ＃Ｈ＊ｒａｔ是中心单代数的条件：若Ａ／ＡＣｏＨ是Ｈ－Ｇａｌｏｉｓ扩张，且ＡＣｏＨ是中心单代数，则Ａ＃Ｈ＊ｒａｔ也是中心单代数，特别地，若ＡＣｏＨｋ，则Ａ＃Ｈ＊ｒａｔ是中心单代数，且为ｋ－空间Ａ上线性变换稠密环．作为推论给出Ｈ＃Ｈ＊ｒａｔ是本原中心单代数新的证明．     

关于余模代数的Hopf—Jacobson根的一些结果

设Ｈ是Ｈｏｐｆ代数，Ａ是右Ｈ－余模代数，若（，）满射，则Ｊ（Ａ＾ｃｏＨ）＝Ｌ＾Ｈ（Ａ）∩＾ｃｏＨ，而且，若Ｊ（Ａ）是余模理想，则Ｊ（Ａ＾ｃｏＨ）＝Ｊ＾Ｈ（Ａ）∩Ａ＾ｃｏＨ。     

Hopf代数余作用

对于Ｈｏｐｆ代数Ｈ上的余模代数Ａ,当Ｈ是有限维或幺模（ｕｎｉｍｏｄｕｌａｒ）时,存在由交叉积Ａ＃Ｈ^＊ｒａｔ和余不变子代数Ａ^ｃｏＨ构成的Ｍｏｒｉｔａ Ｃｏｎｔｅｘｔ．本文论证了对于任意的Ｈｏｐｆ代数Ｈ,结果仍是成立的     

Hopf余模代数Smash积的理想

Ｈｏｐｆ余模代数Ｓｍａｓｈ积的理想陈惠香（扬州大学师范学院，扬州２２５００２）本文恒设Ｈ是域ｋ上Ｈｏｐｆ代数，Ｓ为Ｈ的ａｎｔｉｐｏｄｅ，Ｈ“为Ｈ的对偶代数。如果Ｓ是双射，则用工表示Ｓ的逆映射．有关记号参阅文ｏｆ］．设Ａ是右Ｈ一余模代数．则自然嵌人Ａ①...     

三角Hopf代数表示范畴上的代数结构

Ｙｕ．Ⅰ．Ｍａｎｉｎ［５］在范畴上引入各种代数结构，但没有进行深入的研究．本文在三角Ｈｏｐｆ代数的表示范畴上进行系统的研究，在此范畴上的Ｌｉｅ代数与Ｈｏｐｆ代数之间建立了重要的联系，主要结果有：（１）三角Ｈｏｐｆ代数表示范畴上Ｌｉｅ代数的包络代数是此范畴上的Ｈｏｐｆ代数；（２）三角Ｈｏｐｆ代数表示范畴上Ｌｉｅ双代数结构可唯一扩张为其包络代数的余Ｐｏｉｓｓｏｎ－Ｈｏｐｆ代数结构．因而推广了Ｍ．Ｅ．Ｓｗｅｅｄｌｅｒ的经典结果与Ｖ．Ｇ．Ｄｒｉｎｆｅｌｄ的一个重要定理．     

Hopf代数的扭曲余积和H￣R型Hopf代数

本文引进了Ｈｏｐｆ代数的扭曲余积，推广了广义偶交叉积，使得一般的右Ｓｍａｓｈ余积也是这里的特殊情况，讨论了Ｈ￣Ｒ型Ｈｏｐｆ代数扭曲余积的关。     

［C，H］－Hopf模与模余代数的结构定理

本文首先利用ｃｏｉｎｔｅｇｒａｌ和ｃｏｃｌｅｆｔ模余代数概念，得到Ｈ为Ｈｏｐｆ代数当且仅当Ｈ作为Ｈ－模余代数是ｃｏｃｌｅｆｔ以及模余代数的一些性质．然后，设Ｃ为Ｈ－模余代数．令Ｃ＝Ｃ／Ｃｋｅｒε则有．最后，证明了结构定理：当Ｃ为ｃｏｃｌｅｆｔＨ－模余代数时，作为余代数有同构：Ｃ≌Ｃ×Ｈ     

关于交换环上带正则基的Hopf-Galois扩张的同构类

本文考虑交换环上带正则基的Ｈｏｐｆ－Ｇａｌｏｉｓ扩张的刻划及其同构类集合的结 构．主要结论是：当Ｂ为一交换环、Ｈ为余交换的有限Ｈｏｐｆ时,上述同构类集合 构成群并与 Ｌ~＊＝（ＢＨ）~＊的 ２次上同调群 Ｈ~２（Ｌ~＊, Ｕ）同构．     

Hopf Quasimodules and Yetter-Drinfeld Modules over Hopf Quasigroups

We introduce the notions of a four-angle Hopf quasimodule and an adjoint quasiaction over a Hopf quasigroup H in a symmetric monoidal category C.If H possesses an adjoint quasiaction,we show that symmetric Yetter-Drinfeld categories are trivial,and hence we obtain a braided monoidal category equivalence between the category of right Yetter-Drinfeld modules over H and the category of four-angle Hopf modules over H under some suitable conditions.     

Projections of weak braided Hopf algebras

In this paper we study the projections of weak braided Hopf algebras using the notion of Yetter-Drinfeld module associated with a weak braided Hopf algebra. As a consequence, we complete the study ofthe structure of weak Hopf algebras with a projection in a braiding setting obtaining a categorical equivalencebetween the category of weak Hopf algebra projections associated with a weak Hopf algebra H living in abraided monoidal category and the category of Hopf algebras in the non-strict braided monoidal cate...     

辫子Hopf代数的积分

本文引进了无限维辫子Hopf代数日的忠实拟对偶H~d和严格拟对偶H~(d′)．证明了每个严格拟对偶H~(d′)是一个H-Hopf模．发现了H~d的极大有理H~d-子模H~(drat)与积分的关系,即：H~(drat)≌∫_(H~d)~l■H．给出了在Yetter-Drinfeld范畴(_B~ByD,C)中的辫子Hopf代数的积分的存在性和唯—性．     

相对Hopf模的同调维数与半单性

Let H be a Hopf algebra over a field with bijective antipode, and A a commutative cleft right H-comodule algebra. In this paper, we investigate the ho-mological dimensions and the semisimplicity of the category of relative Hopf modulesAMH.     

Yetter–Drinfeld Modules over Weak Braided Hopf Monoids and Center Categories

In this paper,we introduce several centralizer constructions in a monoidal context and establish a monoidal equivalence with the category of Yetter–Drinfeld modules over a weak braided Hopf monoid.We apply the general result to the calculus of the center in module categories.     

Bivariant Hopf Cyclic Cohomology

For module algebras and module coalgebras over an arbitrary bialgebra, we define two types of bivariant cyclic cohomology groups called bivariant Hopf cyclic cohomology and bivariant equivariant cyclic cohomology. These groups are defined through an extension of Connes' cyclic category Λ. We show that, in the case of module coalgebras, bivariant Hopf cyclic cohomology specializes to Hopf cyclic cohomology of Connes and Moscovici and its dual version by fixing either one of the variables as the ground field. We also prove an appropriate version of Morita invariance for both of these theories.     

A Categorical Approach to Turaev's Hopf Group-Coalgebras

We show that Turaev's group-coalgebras and Hopf group-coalgebras are coalgebras and Hopf algebras in a symmetric monoidal category, which we call the Turaev category. A similar result holds for group-algebras and Hopf group-algebras. As an application, we give an alternative approach to Virelizier's version of the Fundamental Theorem for Hopf algebras. We introduce Yetter–Drinfeld modules over Hopf group-coalgebras using the center construction.     

Bialgebras Over Noncommutative Rings and a Structure Theorem for Hopf Bimodules

It is a key property of bialgebras that their modules have a natural tensor product. More precisely, a bialgebra over k can be characterized as an algebra H whose category of modules is a monoidal category in such a way that the underlying functor to the category of k-vector spaces is monoidal (i.e. preserves tensor products in a coherent way). In the present paper we study a class of algebras whose module categories are also monoidal categories; however, the underlying functor to the category of k-vector spaces fails to be monoidal. Instead, there is a suitable underlying functor to the category of B-bimodules over a k-algebra B which is monoidal with respect to the tensor product over B. In other words, we study algebras L such that for two L-modules V and W there is a natural tensor product, which is the tensor product V_BW over another k-algebra B, equipped with an L-module structure defined via some kind of comultiplication of L. We show that this property is characteristic for ×_B-bialgebras as studied by Sweedler (for commutative B) and Takeuchi. Our motivating example arises when H is a Hopf algebra and A an H-Galois extension of B. In this situation, one can construct an algebra L:=L(A,H), which was previously shown to be a Hopf algebra if B=k. We show that there is a structure theorem for relative Hopf bimodules in the form of a category equivalence . The category on the left hand side has a natural structure of monoidal category (with the tensor product over A) which induces the structure of a monoidal category on the right hand side. The ×_B-bialgebra structure of L that corresponds to this monoidal structure generalizes the Hopf algebra structure on L(A,H) known for B=k. We prove several other structure theorems involving L=L(A,H) in the form of category equivalences .     

Categorical Constructions for Hopf Algebras

We prove that both the embedding of the category of Hopf algebras into that of bialgebras and the forgetful functor from the category of Hopf algebras to the category of algebras have right adjoints; in other words, every bialgebra has a Hopf coreflection, and on every algebra there exists a cofree Hopf algebra. In this way, we give an affirmative answer to a forty-years old problem posed by Sweedler. On the route, the coequalizers and the coproducts in the category of Hopf algebras are explicitly described.     

Weak Hopf Algebra in Yetter-Drinfeld Categories and Weak Biproducts

The Yetter-Drinfeld category of the Hopf algebra over a field is a pre braided category. In this paper we prove this result for the weak Hopf algebra. We study the smash product and smash coproduct, weak biproducts in the weak Hopf algebra over a field k. For a weak Hopf algebra A in left Yetter-Drinfeld category HHYD. we prove that the weak biproducts of A and H is a weak Hopf algebra.