Generators for comonoids and universal constructions

We investigate cofree coalgebras, and limits and colimits of coalgebras in some abelian monoidal categories of interest, such as bimodules over a ring, and modules and comodules over a bialgebra or Hopf algebra. We find concrete generators for the categories of coalgebras in these monoidal categories, and explicitly construct cofree coalgebras, products and limits of coalgebras in each case. This answers an open question in Agore (Proc Am Math Soc 139:855–863, 2011) on the existence of a cofree coring, and constructs the cofree (co)module coalgebra on a B-(co)module, for a bialgebra B.     

Algebras Graded by Discrete Doi–Hopf Data and the Drinfeld Double of a Hopf Group-Coalgebra

We study Doi–Hopf data and Doi–Hopf modules for Hopf group-coalgebras. We introduce modules graded by a discrete Doi–Hopf datum; to a Doi–Hopf datum over a Hopf group coalgebra, we associate an algebra graded by the underlying discrete Doi–Hopf datum, using a smash product type construction. The category of Doi–Hopf modules is then isomorphic to the category of graded modules over this algebra. This is applied to the category of Yetter–Drinfeld modules over a Hopf group coalgebra, leading to the construction of the Drinfeld double. It is shown that this Drinfeld double is a quasitriangular ${\mathbb{G}}$ -graded Hopf algebra.     

Making the Category of Doi-Hopf Modules into a Braided Monoidal Category

We investigate how the category of Doi-Hopf modules can be made into a monoidal category. It suffices that the algebra and coalgebra in question are both bialgebras with some extra compatibility relation. We study tensor identies for monoidal categories of Doi-Hopf modules. Finally, we construct braidings on a monoidal category of Doi-Hopf modules. Our construction unifies quasitriangular and coquasitriangular Hopf algebras, and Yetter-Drinfel'd modules.     

A class of new braided Hopf algebras

We give the necessary and sufficient conditions for a general crossed product algebra equipped with the usual tensor product coalgebra structure to be a Hopf algebra. Furthermore, we obtain the necessary and sufficient conditions for the general crossed product Hopf algebra to be a braided Hopf algebra which generalizes some known results.     

Crossed products by a coalgebra

We introduce the notion of a crossed product of an al¬gebra by a coalgebra C, which generalises the notion of a crossed product by a bialgebra well-studied in the theory of Hopf algebras. The result of such a crossed product is an algebra which is also a right C-comodule. We find the necessary and sufficient conditions for two coalgebra crossed products be equivalent. We show that the two-dimensional quantum Euclidean group is a coalgebra crossed product. The paper is completed with an appendix describing the dualisation of construction of coalgebra crossed products.     

Weighted infinitesimal unitary bialgebras,pre-Lie,matrix algebras,and polynomial algebras

Motivated by comatrix coalgebras, we introduce the concept of a Newtonian comatrix coalgebra. We construct an infinitesimal unitary bialgebra on matrix algebras, via the construction of a suitable coproduct. As a consequence, a Newtonian comatrix coalgebra is established. Furthermore, an infinitesimal unitary Hopf algebra, under the view of Aguiar, is constructed on matrix algebras. By the close relationship between pre-Lie algebras and infinitesimal unitary bialgebras, we erect a pre-Lie algebra and a new Lie algebra on matrix algebras. Finally, a weighted infinitesimal unitary bialgebra on non-commutative polynomial algebras is also given.     

Cocommutative Hopf Algebras of Permutations and Trees

Consider the coradical filtrations of the Hopf algebras of planar binary trees of Loday and Ronco and of permutations of Malvenuto and Reutenauer. We give explicit isomorphisms showing that the associated graded Hopf algebras are dual to the cocommutative Hopf algebras introduced in the late 1980's by Grossman and Larson. These Hopf algebras are constructed from ordered trees and heap-ordered trees, respectively. These results follow from the fact that whenever one starts from a Hopf algebra that is a cofree graded coalgebra, the associated graded Hopf algebra is a shuffle Hopf algebra. Aguiar supported in part by NSF grant DMS-0302423. Sottile supported in part by NSF CAREER grant DMS-0134860, the Clay Mathematics Institute, and MSRI.     

Antipodes and incidence coalgebras

We introduce the notion of a reduced incidence coalgebra of a family of locally finite partially ordered sets and describe how bialgebras and Hopf algebras arise as such coalgebras. In the case when a reduced incidence coalgebra is a Hopf algebra, we give explicit recursive and closed formulas for the antipode, each of which generalizes a corresponding formula from the theory of Möbius functions. We give applications to the inversion of ordinary formal power series and inversion of Dirichlet series. We also formulate the classical Lagrange inversion formula as a combinatorial formula for the antipode of a Hopf algebra arising from the family of finite partition lattices.     

Subcoalgebras and endomorphisms of free Hopf algebras

For a matrix coalgebra C over some field, we determine all small subcoalgebras of the free Hopf algebra on C, the free Hopf algebra with a bijective antipode on C, and the free Hopf algebra with antipode S satisfying on C for some fixed d. We use this information to find the endomorphisms of these free Hopf algebras, and to determine the centers of the categories of Hopf algebras, Hopf algebras with bijective antipode, and Hopf algebras with antipode of order dividing 2d.     

A Characterization of Group Rings

In this paper we prove that every coseparable involutory Hopf algebra over the ring of integers Z which is a free Z-module is the group ring of some group. This result was proved independently for Hopf algebras which are finitely generated Z-modules by H.-J. Schneider [6], using similar techniques. We then give some examples of coseparable Hopf algebras over number rings which are not group algebras, and give an example of a cocommutative coseparable coalgebra over a number ring which cannot be given a multiplicative structure making it into a Hopf algebra. The Hopf algebra structure theory required for this paper is found in [1], [4], and [5]. For completeness we give proofs here of the coalgebra analogues to some “well-known” facts about separable algebras.     

准三角Hopf代数与双积

本文首先给出准三角Ｈｏｐｆ代数与Ｙｅｔｔｅｒ－Ｄｒｉｎｆｅｌｄ模的关系，推广了Ｒａｄｆｏｒｄ关于双积的构造，讨论二重Ｓｍａｓｈ积与双积的关系．     

IDEMPOTENTS AND MORITA-TAKEUCHI THEORY

ABSTRACT

We offer an approach to basic coalgebras with inspiration in the classical theory of idempotents for finite dimensional algebras. Our theory is based upon the fact that the co-hom functors associated to direct summands of the coalgebra can be easily described in terms of idempotents of the convolution algebra. Our approach is shown to be equivalent to that given by W. Chin and S. Montgomery by using co-endomorphism coalgebras of minimal injective cogenerators.     

Multiplicative structure in equivariant cohomology

We introduce the notion of a strongly homotopy-comultiplicative resolution of a module coalgebra over a chain Hopf algebra, which we apply to proving a comultiplicative enrichment of a well-known theorem of Moore concerning the homology of quotient spaces of group actions. The importance of our enriched version of Moore’s theorem lies in its application to the construction of useful cochain algebra models for computing multiplicative structure in equivariant cohomology.In the special cases of homotopy orbits of circle actions on spaces and of group actions on simplicial sets, we obtain small, explicit cochain algebra models that we describe in detail.     

Doi–Hopf Modules and Yetter–Drinfeld Modules for Quasi-Hopf Algebras

For a quasi-Hopf algebra H, a left H-comodule algebra  and a right H-module coalgebra C we will characterize the category of Doi–Hopf modules ^C ?(H) in terms of modules. We will also show that for an H-bicomodule algebra  and an H-bimodule coalgebra C the category of generalized Yetter–Drinfeld modules (H) ^C is isomorphic to a certain category of Doi–Hopf modules. Using this isomorphism we will transport the properties from the category of Doi–Hopf modules to the category of generalized Yetter–Drinfeld modules.     

Covering Coalgebras and Dual Non-singularity

Localisation is an important technique in ring theory and yields the construction of various rings of quotients. Colocalisation in comodule categories has been investigated by some authors (see Jara et al., Commun. Algebra, 34(8):2843–2856, 2006 and Nastasescu and Torrecillas, J. Algebra, 185:203–220, 1994). Here we look at possible coalgebra covers π : D → C that could play the rôle of a coalgebra colocalisation. Codense covers will dualise dense (or rational) extensions; a maximal codense cover construction for coalgebras with projective covers is proposed. We also look at a dual non-singularity concept for modules which turns out to be the comodule-theoretic property that turns the dual algebra of a coalgebra into a non-singular ring. As a corollary we deduce that hereditary coalgebras and hence path coalgebras are non-singular in the above sense. We also look at coprime coalgebras and Hopf algebras which are non-singular as coalgebras.     

相对Hopf模和广义cleft扩张

本文研究了π-cleft扩张的余代数分解问题及对偶的η-cocleft扩张的代数分解问题.利用相对Hopf模结构定理,给出了一个条件,使得具有余代数结构的π-cleft扩张有较好的余代数分解形式.作为特例,可以重新得到Radford给出的具有投射的双代数的双积分解定理.     

交叉余积上的Hopf代数结构

本文给出了Ｓｍａｓｈ积代数结构和交叉余积余代数结构构成双代数的一个充分必要条件．另外,还给出了这一新的双代数成为Ｈｏｐｆ代数的一个充分条件．     

Diagrams of Hopf algebras with the Chevalley property

In this paper, we study non-cosemisimple Hopf algebras through their underlying coalgebra structure. We introduce the concept of the maximal pointed subcoalgebra/Hopf subalgebra. For a non-cosemisimple Hopf algebra A with the Chevalley property, if its diagram is a Nichols algebra, then the diagram of its maximal pointed Hopf subalgebra is also a Nichols algebra. When A is of finite dimension, we provide a necessary and sufficient condition for A’s diagram equaling the diagram of its maximal pointed Hopf subalgebra.     

Hopf箭图与Hopf代数

本文研究了简单无向Hopf箭图的图论性质以及路代数与路余代数的关系.利用简单无向Hopf箭图与简单图的关系.证明了路代数是路余代数的对偶的直和部分.     

相应于型$B_n$的非标准形变的弱Hopf代数

我们引入了型$B_n$的非标准量子群$X_q(B_n)$, 它具有Hopf代数结构,然后我们替换$X_q(B_n)$的类群元得到对应的弱Hopf代数${\mathfrak{w}X_q(B_{n})}$. 最后我们描述了${\mathfrak{w}X_q(B_{n})}$作为余代数的Ext--箭图.