Related papers: When is a smash product semiprime?

We use integrals of left coideal subalgebras to develop Harmonic analysis for semisimple Hopf algebras. We show how $N^*,$ the space of functional on $N,$ is embedded in $H^*.$ We define a bilinear form on $N^*$ and show that irreducible…

We introduce the notions of Hopf quasigroup and Hopf coquasigroup $H$ generalising the classical notion of an inverse property quasigroup $G$ expressed respectively as a quasigroup algebra $k G$ and an algebraic quasigroup $k[G]$. We prove…

Let H be a finite dimensional non-semisimple Hopf algebra over an algebraically closed field k of characteristic 0. If H has no nontrivial skew-primitive elements, we find some bounds for the dimension of H_1, the second term in the…

For a quasi-triangular Hopf algebra $\left( H,R\right) $, there is a notion of transmuted braided group $H_{R}$ of $H$ introduced by Majid. The transmuted braided group $H_{R}$ is a Hopf algebra in the braided category $_{H}\mathcal{M}$.…

Let $H$ be a finite dimensional semisimple Hopf algebra and $R$ a braided Hopf algebra in the category of Yetter-Drinfeld modules over $H$. When $R$ is a Calabi-Yau algebra, a necessary and sufficient condition for $R#H$ to be a Calabi-Yau…

We show that a semisimple Hopf algebra A is group theoretical if and only if its Drinfeld double is a twisting of the Dijkgraaf-Pasquier-Roche quasi-Hopf algebra D^{omega}(Sigma), for some finite group Sigma and some 3-cocycle omega on…

Firstly, we introduce a class of new algebraic systems which generalize Hopf quasigroups and Hopf $\pi-$algebras called $Q$-graded Hopf quasigroups, and research some properties of them. Secondly, we define the representations of $Q$-graded…

We derive necessary and sufficient conditions for an ambiskew polynomial ring to have a Hopf algebra structure of a certain type. This construction generalizes many known Hopf algebras, for example U(sl2), U_q(sl2) and the enveloping…

Actions of semisimple Hopf algebras H over an algebraically closed field of characteristic zero on commutative domains were classified recently by the authors. The answer turns out to be very simple- if the action is inner faithful, then H…

We show that if $A$ is a finite dimensional associative $H$-module algebra for an arbitrary Hopf algebra $H$, then the proof of the analog of Amitsur's conjecture for $H$-codimensions of $A$ can be reduced to the case when $A$ is…

Given a Hopf algebra H and an algebra A that is an H-module algebra we consider the category of left H-modules and A-bimodules, where morphisms are just right A-linear maps (not necessarily H-equivariant). Given a twist F of H we then…

The category of Yetter-Drinfeld modules over a Hopf algebra (with bijektive antipode over a field) is a braided monoidal category. Given a Hopf algebra in this category then the primitive elements of this Hopf algebra do not form an…

We study ideals in Hall algebras of monoid representations on pointed sets corresponding to certain conditions on the representations. These conditions include the property that the monoid act via partial permutations, that the…

Let $H$ be a semisimple Hopf algebra acting on an Artin-Schelter regular algebra $A$, homogeneously, inner-faithfully, preserving the grading on $A$, and so that $A$ is an $H$-module algebra. When the fixed subring $A^H$ is also AS regular,…

We introduce two kinds of gauge invariants for any finite-dimensional Hopf algebra H. When H is semisimple over C, these invariants are respectively, the trace of the map induced by the antipode on the endomorphism ring of a self-dual…

Algebras simple with respect to an action of Sweedler's algebra $H_4$ deliver the easiest example of $H$-module algebras that are $H$-simple but not necessarily semisimple. We describe finite dimensional $H_4$-simple algebras and prove the…

This article considers cuspidal curves whose coordinate rings are numerical semigroup algebras. Using a general result about descent of Hopf algebroid structures, their rings of differential operators are shown to be cocommutative and…

Let $\left( H,R\right) $ be a finite dimensional semisimple and cosemisimple quasi-triangular Hopf algebra over a field $k$. In this paper, we give the structure of irreducible objects of the Yetter-Drinfeld module category ${}…

Every automorphism-invariant right non-singular $A$-module is injective if and only if the factor ring of the ring $A$ with respect to its right Goldie radical is a right strongly semiprime ring.

Let $H$ be a finite dimensional quasi-Hopf algebra over a field $k$ and ${\mathfrak A}$ a right $H$-comodule algebra in the sense of Hausser and Nill. We first show that on the $k$-vector space ${\mathfrak A}\ot H^*$ we can define an…