Let D(H) be the quantum double associated to a finite dimensional quasi-Hopf algebra H, as in [9] and [10]. In this note, we first generalize a result of Majid [15] for Hopf algebras, and then prove that the quantum double of a finite dimensional quasitriangular quasi-Hopf algebra is a biproduct in the sense of [4].

Let k be a commutative ring, H a faithfully flat Hopf algebra with bijective antipode, A a k-flat right H-comodule algebra. We investigate when a relative Hopf module is projective over the subring of coinvariants B = A , and we study the semisimplicity of the category of relative Hopf modules.

The aim of this section is to define some generalization of the notion of formal group. More precisely, we consider the analog of formal groups with coefficients belonging to a Hopf algebra. We also study some example of a formal group over a Hopf algebra, which generalizes the formal group of geometric cobordisms. Recently some important connections between the Landweber-Novikov algebra and th...

we introduce bidendriform bialgebras, which are bialgebras such that both product and coproduct can be split into two parts satisfying good compatibilities. For example, the Malvenuto-Reutenauer Hopf algebra and the non-commutative Connes-Kreimer Hopf algebras of planar decorated rooted trees are bidendriform bialgebras. We prove that all connected bidendriform bialgebras are generated by their...

In this note the notion of kernel of a representation of a semisimple Hopf algebra is introduced. Similar properties to the kernel of a group representation are proved in some special cases. In particular, every normal Hopf subalgebra of a semisimple Hopf algebra H is the kernel of a representation of H

The main result in this paper states that every strongly graded bialgebra whose component of grade 1 is a finite-dimensional Hopf algebra is itself a Hopf algebra. This fact is used to obtain a group cohomology classification of strongly graded Hopf algebras, with 1-component of finite dimension, from known results on strongly graded bialgebras.  2002 Elsevier Science (USA)

The Multiplier Hopf Group Coalgebra was introduced by Hegazi in 2002 [7] as a generalization of Hope group caolgebra, introduced by Turaev in 2000 [5], in the non-unital case. We prove that the concepts introduced by A.Van Daele in constructing multiplier Hopf algebra [3] can be adapted to serve again in our construction. A multiplier Hopf group coalgebra is a family of algebras A = {A α } α∈π ...

Using set-theoretic considerations, we show that the forest formula for overlapping divergences comes from the Hopf algebra of rooted trees. Motivation and Introduction The process of renormalization is governed by the forest formula, as derived for example in [1]. The underlying combinatorics is directly related to the Hopf algebra structure of rooted trees. This is evident in the case of Feyn...