Related papers: When is a smash product semiprime?

In arXiv:1210.3178 it was shown that subgroup depth may be computed from the permutation module of the left or right cosets: this holds more generally for a Hopf subalgebra, from which we note in this paper that finite depth of a Hopf…

Bosonizations of quantum linear spaces are a large class of pointed Hopf algebras that include the Taft algebras and their generalizations. We give conditions for the smash product of an associative algebra with a bosonization of a quantum…

A comodule algebra P over a Hopf algebra H with bijective antipode is called principal if the coaction of H is Galois and P is H-equivariantly projective (faithfully flat) over the coaction-invariant subalgebra B. We prove that principality…

In this paper we completely classify nontrivial semisimple Hopf algebras of dimension 16. We also compute all the possible structures of the Grothendieck ring of semisimple non-commutative Hopf algebras of dimension 16. Moreover, we prove…

Principal affine open subsets in affine schemes are an important tool in the foundations of algebraic geometry. Given a commutative ring $R$, $\,R$-modules built from the rings of functions on principal affine open subschemes in…

Given a Hopf algebra $A$ graded by a discrete group together with an action of the same group preserving the grading, we define a new Hopf algebra, which we call the graded twisting of $A$. If the action is adjoint, this new Hopf algebra is…

A five term sequence for the low degree cohomology of a smash product of (cocommutative) Hopf algebras is obtained, generalizing that of Tahara for a semi-direct product of groups.

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\rightarrow B. Then we can define an object B^{co(H)} which is a…

The question of whether or not a Hopf algebra $H$ is faithfully flat over a Hopf subalgebra $A$ has received positive answers in several particular cases: when $H$ (or more generally, just $A$) is commutative, or cocommutative, or pointed,…

Let d \subset d' be finite-dimensional Lie algebras, H = U(d), H'=U(d') the corresponding universal enveloping algebras endowed with the cocommutative Hopf algebra structure. We show that if L is a primitive Lie pseudoalgebra over H then…

Based on the minimal and simple representations, we introduce two Jacobson-type Hoehnke radicals, m-radical and s-radical, of a semiring $S$. Every minimal (simple) $S$-semimodule is a quotient of $S$ by a regular right congruence (maximal)…

Hopf braces have been introduced as a Hopf-theoretic generalization of skew braces. Under the assumption of cocommutativity, these algebraic structures are equivalent to matched pairs of actions on Hopf algebras, that can be used to produce…

In establishing a more general version of the McKay correspondence, we prove Auslander's theorem for actions of semisimple Hopf algebras H on noncommutative Artin-Schelter regular algebras A of global dimension two, where A is a graded…

We introduce the notion of Hopf algebroids, in which neither the total algebras nor the base algebras are required to be commutative. We give a class of Hopf algebroids associated to module algebras of the Drinfeld doubles of Hopf algebras…

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}}$…

Let G be a group and let A be the algebra of complex functions on G with finite support. The product in G gives rise to a coproduct on A making it a multiplier Hopf algebra. In fact, because there exist integrals, we get an algebraic…

Let $q$ be a prime number, $k$ an algebraically closed field of characteristic 0, and $H$ a non-trivial semisimple Hopf algebra of dimension $2q^3$. This paper proves that $H$ can be constructed either from group algebras and their duals by…

We provide a differential structure on arbitrary cleft extensions $B:=A^{\mathrm{co}H}\subseteq A$ for an $H$-comodule algebra $A$. This is achieved by constructing a covariant calculus on the corresponding crossed product algebra…

In this work, we use probability groups, introduced by Harrison in 1979, as a tool to study a semisimple Hopf algebra $H$ with a commutative character ring and prove that the algebra generalized by the dual probability group is the center…

Algebras simple with respect to an action of a Taft algebra $H_{m^2}(\zeta)$ deliver an interesting example of $H$-module algebras that are $H$-simple but not necessarily semisimple. We describe finite dimensional $H_{m^2}(\zeta)$-simple…