Two new results concerning complements in a semisimple Hopf algebra are proved. They extend some well-known results from group theory. The uniqueness of a Krull-Schmidt-Remak type decomposition is proved for semisimple completely reducible Hopf algebras.

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.

We review the notion of simple compact quantum groups and examples, and discuss the problem of construction and classification of simple compact quantum groups.

We define algebraic families of (all) morphisms which are purely algebraic analogs of quantum families of (all) maps introduced by P. M. Sołtan. Also, algebraic families of (all) isomorphisms are introduced. By using these notions we construct two classes of Hopf-algebras which may be interpreted as the quantum group of all maps from a finite space to a quantum group, and the quantum group of all automorphisms of a finite noncommutative (NC) space. As special cases three classes of NC objects are...

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 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$.

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...

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.

We introduce the concept of relative Hom-Hopf modules and investigate their structure in a monoidal category $̃\left({ℳ}_k\right)$. More particularly, the fundamental theorem for relative Hom-Hopf modules is proved under the assumption that the Hom-comodule algebra is cleft. Moreover, Maschke’s theorem for relative Hom-Hopf modules is established when there is a multiplicative total Hom-integral.