On Normal Hopf Subalgebras of Semisimple Hopf Algebras

A criterion for subcoalgebras to be invariant under the adjoint action is given generalizing Masuoka’s criterion for normal Hopf subalgebras. At the level of characters, the image of the induction functor from a normal Hopf subalgebra is isomorphic to the image of the restriction functor.     

On Hopf Algebras and Their Generalizations

We survey Hopf algebras and their generalizations. In particular, we compare and contrast three well-studied generalizations (quasi-Hopf algebras, weak Hopf algebras, and Hopf algebroids), and two newer ones (Hopf monads and hopfish algebras). Each of these notions was originally introduced for a specific purpose within a particular context; our discussion favors applicability to the theory of dynamical quantum groups. Throughout the note, we provide several definitions and examples in order to make this exposition accessible to readers with differing backgrounds.     

On Smash Products Of Hopf Algebras

Let H = X? _R A denote an R-smash product of the two bialgebras X and A. We prove that (X,A) is a pair of matched bialgebras, if the R-smash product H has a braiding structure. When X is an associative algebra and A is a Hopf algebra, we investigate the global dimension and the weak dimension of the smash product H = X? _R A and show that lD(H) ≤ rD(A) + lD(X) and wD(H) ≤ wD(A) + wD(X). As an application, we get lD(H ₄) = ∞ for Sweedler's four dimensional Hopf algebra H ₄. We also study the associativity of smash products and the relations between smash products and factorization for algebras.     

On Galois Extension of Hopf Algebras

Let H be a cosemisimple Hopf algebra over a field k, and π ： A→ H be a surjective cocentral bialgebra homomorphism of bialgebras. The authors prove that if A is Galois over its coinvariants B=LH Ker π and B is a sub-Hopf algebra of A, then A is itself a Hopf algebra. This generalizes a result of Cegarra [3] on group-graded algebras.     

On Hopf Algebras with Nonzero Integral

Let S be the model of a semigroup with an associate subgroup whose identity is a medial idempotent constructed by Blyth and Martins considered as a unary semigroup. For another such semigroup T, we construct all unary homomorphisms of S into T in terms of their parameters. On S we construct all unary congruences again directly from its parameters. This construction leads to a characterization of congruences in terms of kernels and traces. We describe the K, T, L, U and V relations on the lattice of all unary congruences on S, again in terms of parameters of S.     

Structure Theorems for Bicomodule Algebras Over Quasi-Hopf Algebras,Weak Hopf Algebras,and Braided Hopf Algebras

Let H be a quasi-Hopf algebra, a weak Hopf algebra, or a braided Hopf algebra. Let B be an H-bicomodule algebra such that there exists a morphism of H-bicomodule algebras v: H → B. Then we can define an object B^co(H), which is a left-left Yetter–Drinfeld module over H, having extra properties that allow to make a smash product B^co(H)#H, which is an H-bicomodule algebra, isomorphic to B.     

The Hopf-Reflected Radicals for Hopf Module Algebras

０．ＩｎｔｒｏｄｕｃｔｉｏｎＩｎｔｈｉｓｐａｐｅｒ，ＨａｌｗａｙｓｄｅｎｏｔｅａＨｏｐｆａｌｇｅｂｒａｏｖｅｒａｆｉｅｌｄＫ，ａｎｄｗｅｆｏｌｏｗｔｈｅｎｏｔａ－ｔｉｏｎｓｉｎＳｗｅｅｄｌｅ’ｓｂｏｏｋ［１］．ＦｏｒｇｅｎｅｒａｌｔｈｅｏｒｙｏｆＨ－...     

On L-R Smash Products of Hopf Algebras

Let H be a Hopf algebra and A an H-bimodule algebra. This article investigates homological dimensions and Gorenstein dimensions of L-R smash products A?H. Several well-known results are generalized. Moreover, we explore the stability of Gorenstein projective (flat) precovers and Gorenstein injective preenvelopes between the category of left A-modules and the category of left A?H-modules.     

On Hopf Galois Extension of Separable Algebras

In this paper, the classical Galois theory to the H*-Galois case is developed. Let H be a semisimple and cosemisimple Hopf algebra over a field k, A a left H-module algebra,and A/AHa right H*-Galois extension. The authors prove that, if AHis a separable kalgebra, then for any right coideal subalgebra B of H, the B-invariants A~B= {a ∈ A |b · a = ε(b)a, b∈ B} is a separable k-algebra. They also establish a Galois connection between right coideal subalgebras of H and separable subalgebras of A containing AHas in the classical case. The results are applied to the case H =(kG)*for a finite group G to get a Galois 1-1 correspondence.     

On the Structure of Weak Hopf Algebras

We study the group of group-like elements of a weak Hopf algebra and derive an analogue of Radford's formula for the fourth power of the antipode S, which implies that the antipode has a finite order modulo, a trivial automorphism. We find a sufficient condition in terms of Tr(S²) for a weak Hopf algebra to be semisimple, discuss relation between semisimplicity and cosemisimplicity, and apply our results to show that a dynamical twisting deformation of a semisimple Hopf algebra is cosemisimple.     

On Quasi-Bicrossed Products of Weak Hopf Algebras

The aim of this paper is to study quasi-bicrossed products and a especially quantum quasi-doubles. Firstly, we construct one new kind of quasi-bicrossed products by weak Hopf algebras and then devote a brief discussion to this matter. And, we discuss the conditions for quasi-bicrossed products to possess the structure of almost weak Hopf algebras, containing the case of a special smash product. At the end, we give some properties on the quantum quasi-double, respectively on the quasi-R-isomorphism, the representation-theoretic interpretation and the regularity of the quasi-R-matrix.     

Categorical Constructions for Hopf Algebras

We prove that both the embedding of the category of Hopf algebras into that of bialgebras and the forgetful functor from the category of Hopf algebras to the category of algebras have right adjoints; in other words, every bialgebra has a Hopf coreflection, and on every algebra there exists a cofree Hopf algebra. In this way, we give an affirmative answer to a forty-years old problem posed by Sweedler. On the route, the coequalizers and the coproducts in the category of Hopf algebras are explicitly described.     

Almost-triangular Hopf Algebras

In this paper, we consider a finite dimensional semisimple cosemisimple quasitriangular Hopf algebra with (we call this type of Hopf algebras almost-quasitriangular) over an algebraically closed field . We denote by the vector space generated by the left tensorand of . Then is a sub-Hopf algebra of . We proved that when is odd, has a triangular structure and can be obtained from a group algebra by twisting its usual comultiplication [14]; when is even, is an extension of an abelian group algebra and a triangular Hopf algebra, and may not be triangular. In general, an almost-triangular Hopf algebra can be viewed as a cocycle bicrossproduct.      

Hom-弱Hopf代数

在Hom-Hopf代数上,引入Hom-弱Hopf代数的概念并讨论了它的性质     

Prime-Dimensional Hopf Algebras

Ｐｒｉｍｅ－ＤｉｍｅｎｓｉｏｎａｌＨｏｐｆＡｌｇｅｂｒａｓＣａｉＣｈｕａｎｒｅｎ（蔡传仁）ａｎｄＣｈｅｎＨｕｉｘｉａｎｇ（陈惠香）（ＤｅｐａｒｔｍｅｎｔｏｆＭａｔｈｅｍａｔｉｃｓ，ＹａｎｇｚｈｏｕＴｅａｃｈｅｒ＇ｓＣｏｌｌｅｇｅ，Ｊｉａｎｇｓｕ２２５...     

On the Twisting and Drinfel'd Double for Multiplier Hopf Algebras

We define the concept of “semiprime” for preradicals and for submodules, and we prove some properties that relate both of them. Related concepts are defined in article by Bican et al. [2 Bican , L. , Jambor , P. , Kepka , T. , Nemec , P. ( 1980 ). Prime and coprime modules . Fundamenta Mathematicae CVII , 33 – 45 . [Google Scholar]] and by Van den Berg and Wisbauer [9 Van den Berg , J. , Wisbauer , R. ( 2001 ). Duprime and dusemiprime modules . Journal of Pure and Applied Algebra 165 : 337 – 356 .[Crossref], [Web of Science ®] , [Google Scholar]]. For any ring, we compare the least semiprime preradical, the Jacobson radical and the join of all nilpotent preradicals, and we characterize V-rings in terms of these three preradicals. We study the least semiprime preradical above any preradical and we prove some of its properties. Using “Amitsur constructions” we define another related operators and prove some of their properties.     

On Weak Crossed Products of Weak Hopf Algebras

Let H be a weak Hopf algebra in the sense of Böhm et al. (J Algebra 221:385–438, 1999) measuring an algebra A. Let A# _σ H be a weak crossed product with σ invertible. Then in this paper we first give some conditions for A# _σ H to be a weak Hopf algebra. Next the spectral sequence for Ext will be constructed which yields an estimate for the global dimension of A# _σ H in terms of the corresponding data for H and A. Furthermore, we will investigate when A???A# _σ H becomes a separable extension. Finally, we prove that if H and its dual H* are both semisimple, then the finitistic dimension of A# _σ H is equal to that of A.     

On Semisimple Hopf Algebras of Dimension 2 m

In this paper we classify all nontrivial semisimple Hopf algebras of dimension 2 ^{n +1} with the group of grouplikes isomorphic to _{2 n–1}×₂. Moreover, we extend some results on irreducible representations from groups to semisimple Hopf algebras and prove that certain semisimple Hopf algebras, including the ones classified in this paper, satisfy the generalized power map property.     

On Semisimple Hopf Algebras of Dimension pq r

Let p and q be distinct prime numbers. We prove a result on the existence of nontrivial group-like elements in a certain class of semisimple Hopf algebras of dimension pq ^r . We conclude the classification of semisimple Hopf algebras A of dimension pq ² over an algebraically closed field k of characteristic zero, such that both A and A ^* are of Frobenius type. We also complete the classification of semisimple Hopf algebras of dimension pq ²<100.