Related papers: When is a smash product semiprime?

In this paper we introduce a new algebraic device, which enables us to treat the quaternions as though they were a commutative field. This is of interest both for its own sake, and because it can be applied to develop an "algebraic…

Kaplansky conjectured that if H is a finite-dimensional semisimple Hopf algebra over an algebraically closed field k of characteristic 0, then H is of Frobenius type (i.e. if V is an irreducible representation of H then dimV divides dimH).…

Study of the quotient module of a finite-dimensional Hopf subalgebra pair in order to compute its depth yields a relative Maschke Theorem, in which semisimple extension is characterized as being separable, and is therefore an ordinary…

We present an elementary construction of a (highly degenerate) Hopf pairing between the universal enveloping algebra $U(\mathfrak{g})$ of a finite-dimensional Lie algebra $\mathfrak{g}$ over arbitrary field $\mathbf{k}$ and the Hopf algebra…

Let $(H, \sigma)$ be a coquasitriangular Hopf algebra, not necessarily finite dimensional. Following methods of Doi and Takeuchi, which parallel the constructions of Radford in the case of finite dimensional quasitriangular Hopf algebras,…

Given a Frobenius category $\mathcal{F}$ satisfying certain finiteness conditions, we consider the localization of its Hall algebra $\mathcal{H(F)}$ at the classes of all projective-injective objects. We call it the {\it "semi-derived Hall…

Let $S$ be a semigroup and $\mathbb F$ be a field. For an ideal $J$ of the semigroup algebra ${\mathbb F}[S]$ of $S$ over $\mathbb F$, let $\varrho _J$ denote the restriction (to $S$) of the congruence on ${\mathbb F}[S]$ defined by the…

Let $R$ be an associative ring and $e,f$ idempotent elements of $R$. In this paper we introduce the notion of $(e,f)$-invertibility for an element of $R$ and use it to define inner actions of weak Hopf algebras. Given a weak Hopf algebra…

We recall the notion of a Hopf (co)quasigroup defined in \cite{Kl09} and define integration and Fourier Transforms on these objects analogous to those in the theory of Hopf algebras. Using the general Hopf module theory for Hopf…

An internal coproduct is described, which is compatible with Hoffman's quasi-shuffle product. Hoffman's quasi-shuffle Hopf algebra, with deconcatenation coproduct, is a comodule-Hopf algebra over the bialgebra thus defined. The relation…

One of the most fundamental problems in the theory of finite- dimensional Hopf algebras is their classification over an algebraically closed field k of characteristic 0. This problem is extremely difficult, hence people restrict it to…

Recently it was shown that the category of cocommutative Hopf algebras over an arbitrary field $\Bbbk$ is semi-abelian. We extend this result to the category of cocommutative color Hopf algebras, i.e. of cocommutative Hopf monoids in the…

We consider actions of Taft algebras on noetherian graded down-up algebras. We classify all such actions and determine properties of the corresponding invariant rings $A^T$. We identify precisely when $A^T$ is commutative, when it is…

By extending some classical results known for groups and skew braces, we define and investigate central series of cocommutative Hopf braces. Both left and right central series are defined using a $\star$-product that measures the difference…

Principal comodule algebras can be thought of as objects representing principal bundles in non-commutative geometry. A crucial component of a principal comodule algebra is a strong connection map. For some applications it suffices to prove…

It is proved in the paper that a Noetherian residually finite dimensional Hopf algebra is a flat module over any right Noetherian right coideal subalgebra. In the case of Hopf subalgebras we get faithful flatness. These results are obtained…

Let A be a finite dimensional Hopf algebra and (H, R) a quasitriangular bialgebra. Denote by H^*_R a certain deformation of the multiplication of H^* via R. We prove that H^*_R is a quantum commutative left H\otimes H^{op cop}-module…

We show that semisimple Hopf algebras having a self-dual faithful irreducible comodule of dimension 2 are always obtained as abelian extensions with quotient Z_2. We prove that nontrivial Hopf algebras arising in this way can be regarded as…

Let G be a finite group acting by automorphism on a lattice A, and hence on the group algebra S=k[A]. The algebra of G-invariants in S is called an algebra of multiplicative invariants. We investigate when algebras of multiplicative…

We study the Nichols algebra of a semisimple Yetter-Drinfeld module and introduce new invariants such as real roots. The crucial ingredient is a `reflection' in the class of such Nichols algebras. We conclude the classifications of…