相关论文: The antipode of a dual quasi-Hopf algebra with non…

A classical result in the theory of Hopf algebras concerns the uniqueness and existence of integrals: for an arbitrary Hopf algebra, the integral space has dimension $\leq 1$, and for a finite dimensional Hopf algebra, this dimension is…

It is known that a dual quasi-bialgebra with antipode $H$, i.e. a dual quasi-Hopf algebra, fulfils a fundamental theorem for right dual quasi-Hopf $H$-bicomodules. The converse in general is not true. We prove that, for a dual…

We provide examples of non-surjective epimorphisms $H\to K$ in the category of Hopf algebras over a field, even with the additional requirement that $K$ have bijective antipode, by showing that the universal map from a Hopf algebra to its…

Motivated by the study of depth 2 Frobenius extensions we introduce a new notion of Hopf algebroid. It is a 2-sided bialgebroid with a bijective antipode which connects the two, left and right handed, structures. While all the interesting…

We provide a very short approach to several fundamental results for Hopf algebras with nonzero integrals. Besides being short, our approach is the first to prove the bijectivity of the antipode without using the uniqueness of the integrals…

We prove that there exist Hopf algebras with surjective, non-bijective antipode which admit no non-trivial morphisms from Hopf algebras with bijective antipode; in particular, they are not quotients of such. This answers a question left…

In this paper, we study the antipode of a finite-dimensional Hopf algebra $H$ with the dual Chevalley property and obtain an annihilation polynomial for its antipode $S$. The annihilation polynomial is determined by the exponent $N$ of the…

Certain sufficient homological and ring-theoretical conditions are given for a Hopf algebra to have bijective antipode with applications to noetherian Hopf algebras regarding their homological behaviors.

The Structure Theorem for Hopf modules states that if a bialgebra $H$ is a Hopf algebra (i.e. it is endowed with a so-called antipode) then every Hopf module $M$ is of the form ${M}^{\mathrm{co}{H}}\otimes H$, where ${M}^{\mathrm{co}{H}}$…

We prove that a quasi-bialgebra admits a preantipode if and only if the associated free quasi-Hopf bimodule functor is Frobenius, if and only if the relative (opmonoidal) monad is a Hopf monad. The same results hold in particular for a…

In the recent definition of Hom-Hopf algebras the antipode S is the relative Hominverse of the identity map with respect to the convolution product. We observe that some fundamental properties of the antipode of Hopf algebras and Hom-Hopf…

The Hopf envelope of a bialgebra is the free Hopf algebra generated by the given bialgebra. Its existence, as well as that of the cofree Hopf algebra, is a well-known fact in Hopf algebra theory, but their construction is not particularly…

We use Hopf algebroids to formulate a notion of a noncommutative and non-cocommutative Hopf 2-algebra. We show how these arise from a bicrossproduct Hopf algebra with Peiffer identities. In particular, we show that for a Hopf algebra $H$…

A consequence of the recent work of Ren and Zhu on Gorenstein projective dimensions of modules over Hopf algebras is that if $A$ and $B$ are Hopf algebras with bijective antipodes having equivalent linear tensor categories of comodules and…

Let $D(H)$ be the quantum double associated to a finite dimensional quasi-Hopf algebra $H$. In this note, we first generalize a result of Majid, stating that a finite dimensional Hopf algebra $H$ is quasitriangular if and only if there is a…

Let H be a finite-dimensional quasibialgebra. We show that H is a quasi-Hopf algebra if and only if the category of its finite-dimensional left modules is rigid if and only if a structure theorem for Hopf modules over H holds. We also show…

Multiplier Hopf algebroids are algebraic versions of quantum groupoids that generalize Hopf algebroids to the non-unital case and weak (multiplier) Hopf algebras to non-separable base algebras. The main structure maps of a multiplier Hopf…

A well-known result by Larson and Sweedler shows that integrals on a Hopf algebra can be obtained by applying the Structure Theorem for Hopf modules to the rational part of its linear dual. This fact can be rephrased by saying that taking…

Let H be a finite-dimensional quasi-Hopf algebra. We show for each quotient quasibialgebra Q of H that Q is a quasi-Hopf algebra whose dimension divides the dimension of H.

Let H be a Hopf algebra of dimension pq over an algebraically closed field of characteristic 0, where p <= q are odd primes. Suppose that S is the antipode of H. If H is not semisimple, then S^{4p}=id_H and Tr(S^{2p}) is an integer…