A twisted generalization of quasitriangular Hopf algebras called quasitriangular Hom-Hopf algebras is introduced. We characterize these algebras in terms of certain morphisms. We also give their equivalent description via a braided monoidal category $̃{(}_Hℳ)$. Finally, we study the twisting structure of quasitriangular Hom-Hopf algebras by conjugation with Hom-2-cocycles.

Let $\pi$ be a group, and $H$ be a semi-Hopf $\pi$-algebra. We first show that the category ${}_Hℳ$ of left $\pi$-modules over $H$ is a monoidal category with a suitably defined tensor product and each element $\alpha$ in $\pi$ induces a strict monoidal functor $F_{\alpha }$ from ${}_Hℳ$ to itself. Then we introduce the concept of quasitriangular semi-Hopf $\pi$-algebra, and show that a semi-Hopf $\pi$-algebra $H$ is quasitriangular if and only if the category ${}_Hℳ$ is a braided monoidal category and $F_{\alpha }$ is a strict braided monoidal functor for any $\alpha \in \pi$. Finally,...

We study bialgebra structures on quiver coalgebras and monoidal structures on the categories of locally nilpotent and locally finite quiver representations. It is shown that the path coalgebra of an arbitrary quiver admits natural bialgebra structures. This endows the category of locally nilpotent and locally finite representations of an arbitrary quiver with natural monoidal structures from bialgebras. We also obtain theorems of Gabriel type for pointed bialgebras and hereditary finite pointed...

We first describe the Sekine quantum groups ${𝒜}_k$ (the finite-dimensional Kac algebra of Kac-Paljutkin type) by generators and relations explicitly, which maybe convenient for further study. Then we classify all irreducible representations of ${𝒜}_k$ and describe their representation rings $r\left({𝒜}_k\right)$. Finally, we compute the the Frobenius-Perron dimension of the Casimir element and the Casimir number of $r\left({𝒜}_k\right)$.

The classical Serre-Swan's theorem defines an equivalence between the category of vector bundles and the category of finitely generated projective modules over the algebra of continuous functions on some compact Hausdorff topological space. We extend these results to obtain a correspondence between the category of representations of an étale Lie groupoid and the category of modules over its Hopf algebroid that are of finite type and of constant rank. Both of these constructions are functorially...

We give a complete classification of right coideal subalgebras that contain all grouplike elements for the quantum group $U_q^{+}\left({\mathrm{𝔰𝔬}}_{2n+1}\right)$ provided that $q$ is not a root of 1. If $q$ has a finite multiplicative order $t>4$; this classification remains valid for homogeneous right coideal subalgebras of the Frobenius–Lusztig kernel $u_q^{+}\left({\mathrm{𝔰𝔬}}_{2n+1}\right)$. In particular, the total number of right coideal subalgebras that contain the coradical equals $\left(2n\right)!!$; the order of the Weyl group defined by the root system of type $B_n$.

We define and investigate Ringel-Hall algebras of coalgebras (usually infinite-dimensional). We extend Ringel's results [Banach Center Publ. 26 (1990) and Adv. Math. 84 (1990)] from finite-dimensional algebras to infinite-dimensional coalgebras.

As generalizations of separable and Frobenius algebras, separable and Frobenius monoidal Hom-algebras are introduced. They are all related to the Hom-Frobenius-separability equation (HFS-equation). We characterize these two Hom-algebraic structures by the same central element and different normalizing conditions, and the structure of these two types of monoidal Hom-algebras is studied. The Nakayama automorphisms of Frobenius monoidal Hom-algebras are considered.

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 call a monoidal category C a Serre category if for any C, D ∈ C such that C ⊗ D is semisimple, C and D are semisimple objects in C. Let H be an involutory Hopf algebra, M, N two H-(co)modules such that M ⊗ N is (co)semisimple as a H-(co)module. If N (resp. M) is a finitely generated projective k-module with invertible Hattory-Stallings rank in k then M (resp. N) is (co)semisimple as a H-(co)module. In particular, the full subcategory of all finite dimensional modules, comodules or Yetter-Drinfel’d...

The goal of our work is to study the spaces of primitive elements of some combinatorial Hopf algebras, whose underlying vector spaces admit linear basis labelled by subsets of the set of maps between finite sets. In order to deal with these objects we introduce the notion of shuffle algebras, which are coloured algebras where composition is not always defined. We define bialgebras in this framework and compute the subpaces of primitive elements associated to them. These spaces of primitive elements...

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 $H_4$ and $H_8$ be the Sweedler’s and Kac-Paljutkin Hopf algebras, respectively. We prove that any Hopf algebra which factorizes through $H_8$ and $H_4$ (equivalently, any bicrossed product between the Hopf algebras $H_8$ and $H_4$) must be isomorphic to one of the following four Hopf algebras: $H_8\otimes H_4,H_{32,1},H_{32,2},H_{32,3}$. The set of all matched pairs $(H_8,H_4,▹,◃)$ is explicitly described, and then the associated bicrossed product is given by generators and relations.

Let $A_{T}H$ denote the twisted smash product of an arbitrary algebra A and a Hopf algebra H over a field. We present an analogue of the celebrated Blattner-Montgomery duality theorem for $A_{T}H$, and as an application we establish the relationship between the homological dimensions of $A_{T}H$ and A if H and its dual H* are both semisimple.