Related papers: The Classification of All Crossed Products $H_4 \#…

For a given Hopf algebra $A$ we classify all Hopf algebras $E$ that are coalgebra split extensions of $A$ by $H_4$, where $H_4$ is the Sweedler's 4-dimensional Hopf algebra. Equivalently, we classify all crossed products of Hopf algebras $A…

In this paper we continue the study started recently in \cite{ABMbp} by describing and classifying all Hopf algebras $E$ that factorize through two Sweedler's Hopf algebras. Equivalently, we classify all bicrossed products $H_4 \bowtie…

Let $A$ and $H$ be two Hopf algebras. We shall classify up to an isomorphism that stabilizes $A$ all Hopf algebras $E$ that factorize through $A$ and $H$ by a cohomological type object ${\mathcal H}^{2} (A, H)$. Equivalently, we classify up…

The main properties of the crossed product in the category of Hopf algebras are investigated. Let $A$ and $H$ be two Hopf algebras connected by two morphism of coalgebras $\triangleright : H\ot A \to A$, $f:H\ot H\to A$. The crossed product…

Let $H_4$ and $H_8$ be the Sweedler's and Kac-Paljutkin Hopf algebras, respectively. In this paper we prove that any Hopf algebra which factorizes through $H_8$ and $H_4$ (equivalently, any bicrossed product between the Hopf algebras $H_8$…

We introduce the notion of a crossed product of an algebra 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…

Let $G$ be a group which admits a generating set consisting of finite order elements. We prove that any Hopf algebra which factorizes through the Taft algebra and the group Hopf algebra $K[G]$ (equivalently, any bicrossed product between…

A $4$-algebra is a commutative algebra $A$ over a field $k$ such that $(a^2)^2 = 0$, for all $a \in A$. We have proved recently \cite{Mil} that $4$-algebras play a prominent role in the classification of finite dimensional Bernstein…

Let A be a Hopf algebra and H a coalgebra. We shall describe and classify up to an isomorphism all Hopf algebras E that factorize through A and H: that is E is a Hopf algebra such that A is a Hopf subalgebra of E, H is a subcoalgebra in E…

The notion of crossed product by a coquasi-bialgebra H is introduced and studied. The resulting crossed product is an algebra in the monoidal category of right H-comodules. We give an interpretation of the crossed product as an action of a…

Hopf crossed products, or in other words, cleft comodule algebras form a special but important class in Hopf-Galois extensions. To discuss this interesting subject, we will start with the more familiar group crossed products, and then see…

We classify all Hopf algebras which factorize through two Taft algebras $\mathbb{T}_{n^{2}}(\bar{q})$ and respectively $T_{m^{2}}(q)$. To start with, all possible matched pairs between the two Taft algebras are described: if $\bar{q} \neq…

We show that, if there exists a realization of a Hopf algebra $H$ in a $H$-module algebra $A$, then one can split their cross-product into the tensor product algebra of $A$ itself with a subalgebra isomorphic to $H$ and commuting with $A$.…

We briefly report on our result that, if there exists a realization of a Hopf algebra $H$ in a $H$-module algebra $A$, then their cross-product is equal to the product of $A$ itself with a subalgebra isomorphic to $H$ and commuting with…

We consider Hopf crossed products of the the type $A#_\sigma \mathcal{H}$, where $\mathcal{H}$ is a cocommutative Hopf algebra, $A$ is an $\mathcal{H}$-module algebra and $\sigma$ is a "numerical" convolution invertible 2-cocycle on…

We construct a Hopf action, with an invariant trace, of a bicrossed product Hopf algebra $\cH=\big( \cU(\Fg_1) \acr \cR(G_2) \big)^{\cop}$ constructed from a matched pair of Lie groups $G_1$ and $G_2$, on a convolution algebra…

Let $H$ be a Hopf algebra in braided category $\cal C$. Crossed modules over $H$ are objects with both module and comodule structures satisfying some comatibility condition. Category ${\cal C}^H_H$ of crossed modules is braided and is…

We associate to each infinite primitive Lie pseudogroup a Hopf algebra of `transverse symmetries', by refining a procedure due to Connes and the first author in the case of the general pseudogroup. The affiliated Hopf algebra can be viewed…

We introduce the cylindrical module $A \natural \mathcal{H}$, where $\mathcal{H}$ is a Hopf algebra and $A$ is a Hopf module algebra over $\mathcal{H}$. We show that there exists an isomorphism between $\mathsf{C}_{\bullet}(A^{op} \rtimes…

Let $A \subseteq E$ be a given extension of Hopf (respectively Lie) algebras. We answer the \emph{classifying complements problem} (CCP) which consists of describing and classifying all complements of $A$ in $E$. If $H$ is a given…