Related papers: The Larson-Sweedler theorem for multiplier Hopf al…

We define left and right kernels of representations of Hopf algebras. In the case of group algebras, left and right kernels coincide and they are the usual kernels of modules. In the general case we show that these kernels coincide with the…

Let A be a commutative unital algebra over an algebraically closed field k of characteristic not equal to 2, whose generators form a finite-dimensional subspace V, with no nontrivial homogeneous quadratic relations. Let Q be a Hopf algebra…

An algebra extension $A \| B$ is right depth two in this paper if its tensor-square is $A$-$B$-isomorphic to a direct summand of any (not necessarily finite) direct sum of $A$ with itself. For example, normal subgroups of infinite groups,…

We classify all finite-dimensional connected Hopf algebras with large abelian primitive spaces. We show that they are Hopf algebra extensions of restricted enveloping algebras of certain restricted Lie algebras. For any abelian matched pair…

This is the last part of a series of three papers on the subject. In the first part we have considered the duality of algebraic quantum groups. In that paper, we use the term algebraic quantum group for a regular multiplier Hopf algebra…

We show that if two Hopf algebras are monoidally equivalent, then their categories of bicovariant differential calculi are equivalent. We then classify, for $q \in \mathbb{C}^*$ not a root of unity, the finite dimensional bicovariant…

Let $H$ be the dual of $16$-dimensional nontrivial semisimple Hopf algebra $H_{b:1}$ in the classification work of Kashina \cite{K00}. We completely determine all finite-dimensional Nichols algebras satisfying $\mathcal{B}(N)\cong…

Let H be a Hopf algebra in a rigid braided monoidal category with split idempotents. We prove the existence of integrals on (in) H characterized by the universal property, employing results about Hopf modules, and show that their common…

We study a natural construction of Hopf algebra quotients canonically associated to an R-matrix in a finite dimensional Hopf algebra. We apply this construction to show that a quasitriangular Hopf algebra whose dimension is odd and…

Using the machinery provided by a Frobenius algebra we show how the antipode of a quasi-Hopf algebra $H$ carries out left or right cointegrals for $H$. These formulas will allow us to find out the explicit form of an integral and a…

We introduce and study bimeasurings from pairs of bialgebras to algebras. It is shown that the universal bimeasuring bialgebra construction, which arises from Sweedler's universal measuring coalgebra construction and generalizes the finite…

We discuss the question of whether the global dimension is a monoidal invariant for Hopf algebras, in the sense that if two Hopf algebras have equivalent monoidal categories of comodules, then their global dimensions should be equal. We…

We recapture Kuperberg's numerical invariant of 3-manifolds associated to a semisimple and cosemisimple Hopf algebra through a `planar algebra construction'. A result of possibly independent interest, used during the proof, which relates…

Lie-Rinehart algebras, also known as Lie algebroids, give rise to Hopf algebroids by a universal enveloping algebra construction, much as the universal enveloping algebra of an ordinary Lie algebra gives a Hopf algebra, of infinite…

Given a Hopf algebra $H$ and a projection $H\to A$ to a Hopf subalgebra, we construct a Hopf algebra $r(H)$, called the partial dualization of $H$, with a projection to the Hopf algebra dual to $A$. This construction provides powerful…

A fundamental problem in the theory of Hopf algebras is the classification and explicit construction of finite-dimensional quasitriangular Hopf algebras over C. These Hopf algebras constitute a very important class of Hopf algebras,…

We equip the graded polynomial algebra generated by nonplanar rooted binary trees with a Hopf algebra structure by defining a coproduct which disallows cutting both children of any given vertex, refining Connes-Kreimer's notion of…

We show that if a finite dimensional Hopf algebra over ${\bf C}$ has a basis such that all the structure constants are non-negative, then the Hopf algebra must be given by a finite group $G$ and a factorization $G=G_+G_-$ into two…

We define the concept of \emph{companion automorphism} of a Hopf algebra $H$ as an automorphism $\sigma:H \rightarrow H$: $\sigma^2=S^2$ --where $S$ denotes the antipode--. A Hopf algebra is said to be \emph{almost involutive} (AI) if it…

Let H be a Hopf algebra and A an H-simple right H-comodule algebra. It is shown that under certain hypotheses every (H,A)-Hopf module is either projective or free as an A-module and A is either a quasi-Frobenius or a semisimple ring. As an…