Advanced Search

We first introduce the notion of a right generalized partial smash product and explore some properties of such partial smash product, and consider some examples. Furthermore, we introduce the notion of a generalized partial twisted smash product and discuss a necessary condition under which such partial smash product forms a Hopf algebra. Based on these notions and properties, we construct a Morita context for partial coactions of a co-Frobenius Hopf algebra.

Quantum integrals associated to quantum Hom-Yetter-Drinfel’d modules are defined, and the affineness criterion for quantum Hom-Yetter-Drinfel’d modules is proved in the following form. Let (H,α) be a monoidal Hom-Hopf algebra, (A,β) an (H,α)-Hom-bicomodule algebra and $B=A^{coH}$. Under the assumption that there exists a total quantum integral γ: H → Hom(H,A) and the canonical map $\beta :A{\otimes }_{B}A\to A\otimes H$, $a{\otimes }_{B}b\mapsto S^{-1}\left(b_{\left[1\right]}\right)\alpha \left(b_{\left[0\right][-1]}\right)\otimes {\beta }^{-1}\left(a\right)\beta \left(b_{\left[0\right]\left[0\right]}\right)$, is surjective, we prove that the induction functor $A{\otimes }_B-:̃{{(}_k)}_B{\to }_A^H$ is an equivalence of categories.

Let $̃{(}_k){\left(H\right)}_A^C$ be the category of Doi Hom-Hopf modules, $̃{{(}_k)}_A$ be the category of A-Hom-modules, and F be the forgetful functor from $̃{(}_k){\left(H\right)}_A^C$ to $̃{{(}_k)}_A$. The aim of this paper is to give a necessary and suffcient condition for F to be separable. This leads to a generalized notion of integral. Finally, applications of our results are given. In particular, we prove a Maschke type theorem for Doi Hom-Hopf modules.

We continue our study of the category of Doi Hom-Hopf modules introduced in [Colloq. Math., to appear]. We find a sufficient condition for the category of Doi Hom-Hopf modules to be monoidal. We also obtain a condition for a monoidal Hom-algebra and monoidal Hom-coalgebra to be monoidal Hom-bialgebras. Moreover, we introduce morphisms between the underlying monoidal Hom-Hopf algebras, Hom-comodule algebras and Hom-module coalgebras, which give rise to functors between the category of Doi Hom-Hopf...

Let $(H,\alpha )$ be a monoidal Hom-Hopf algebra and $(A,\beta )$ a right $(H,\alpha )$-Hom-comodule algebra. We first introduce the notion of a relative Hom-Hopf module and prove that the functor $F$ from the category of relative Hom-Hopf modules to the category of right $(A,\beta )$-Hom-modules has a right adjoint. Furthermore, we prove a Maschke type theorem for the category of relative Hom-Hopf modules. In fact, we give necessary and sufficient conditions for the functor that forgets the $(H,\alpha )$-coaction to be separable. This leads to a generalized...