In this work we define partial (co)actions on multiplier Hopf algebras, we also present examples and properties. From a partial comodule coalgebra we construct a partial smash coproduct generalizing the constructions made by the L. Delvaux, E. Batista and J. Vercruysse.
In this work we deal with partial (co)action of multiplier Hopf algebras on not necessarily unital algebras. Our main goal is to construct a Morita context relating the coinvariant algebra $R^{underline{coA}}$ with a certain subalgebra of the smash product $R#widehat{A}$. Besides this we present the notion of partial Galois coaction, which is closely related to this Morita context.
Let $W$ be a Coxeter group. The goal of the paper is to construct new Hopf algebras that contain Hecke algebras $H_{bf q}(W)$ as (left) coideal subalgebras. Our Hecke-Hopf algebras ${bf H}(W)$ have a number of applications. In particular they provide new solutions of quantum Yang-Baxter equation and lead to a construction of a new family of endo-functors of the category of $H_{bf q}(W)$-modules. Hecke-Hopf algebras for the symmetric group are related to Fomin-Kirillov algebras, for an arbitrary Coxeter group $W$ the Demazure part of ${bf H}(W)$ is being acted upon by generalized braided derivatives which generate the corresponding (generalized) Nichols algebra.
The left and right homological integrals are introduced for a large class of infinite dimensional Hopf algebras. Using the homological integrals we prove a version of Maschkes theorem for infinite dimensional Hopf algebras. The generalization of Maschkes theorem and homological integrals are the keys to study noetherian regular Hopf algebras of Gelfand-Kirillov dimension one.
In this paper, we prove that a non-semisimple Hopf algebra H of dimension 4p with p an odd prime over an algebraically closed field of characteristic zero is pointed provided H contains more than two group-like elements. In particular, we prove that non-semisimple Hopf algebras of dimensions 20, 28 and 44 are pointed or their duals are pointed, and this completes the classification of Hopf algebras in these dimensions.
Let H be a non-semisimple Hopf algebra of dimension 2p^2 over an algebraically closed field of characteristic zero, where p is an odd prime. We prove that H or H^* is pointed, which completes the classification for Hopf algebras of these dimensions.