Related papers: Every central simple algebra is Hopf Schur

S. Montgomery and S. Witherspoon proved that upper and lower semisolvable, semisimple, finite dimensional Hopf algebras are of Froebenius type when their dimensions are not divisible by the characteristic of the base field. In this note we…

Let A and B be two connected graded commutative k-algebras of finite type, where k is a perfect field of positive characteristic p. We prove that the quasi--shuffle algebras generated by A and B are isomorphic as Hopf algebras if and only…

Let $H$ be a finite-dimensional connected Hopf algebra over an algebraically closed field $\field$ of characteristic $p>0$. We provide the algebra structure of the associated graded Hopf algebra $\gr H$. Then, we study the case when $H$ is…

About $39$ years ago, Kaplansky conjectured that the dimension of a semisimple Hopf algebra over an algebraically closed field of characteristic zero is divisible by the dimensions of its simple modules. Although it still remains open, some…

In this paper we consider some properties of semisimple Hopf algebras of dimension pq where p and q are distinct primes. These properties are useful for classification of such Hopf algebras. In particular, we show that for such a Hopf…

We consider "Hopfological" techniques as in \cite{Ko} but for infinite dimensional Hopf algebras, under the assumption of being co-Frobenius. In particular, $H=k[{\mathbb Z}]\#k[x]/x^2$ is the first example, whose corepresentations category…

A fundamental problem in the theory of Hopf algebras is the classification and explicit construction of finite-dimensional quasitriangular Hopf algebras over C. These Hopf algebras constitute a very important class of Hopf algebras,…

Let $q>2$ be a prime number, $d$ be an odd square-free natural number, and $n$ be a non-negative integer. We prove that a semisimple quasitriangular Hopf algebra of dimension $dq^n$ is solvable in the sense of Etingof, Nikshych and Ostrik.…

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 a unified ring theoretic approach, based on properties of the Casimir element of a symmetric algebra, to a variety of known divisibility results for the degrees of irreducible representations of semisimple Hopf algebras in…

In this note the notion of kernel of a representation of a semisimple Hopf algebra is introduced. Similar properties to the kernel of a group representation are proved in some special cases. In particular, every normal Hopf subalgebra of a…

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…

We explain that a new theorem of Deligne on symmetric tensor categories implies, in a straightforward manner, that any finite dimensional triangular Hopf algebra over an algebraically closed field of characteristic zero has Chevalley…

Let $\mathbb{k}$ be an algebraically closed field of characteristic zero. Let $D$ be a division algebra of degree $d$ over its center $Z(D)$. Assume that $\mathbb{k}\subset Z(D)$. We show that a finite group $G$ faithfully grades $D$ if and…

"Co-Frobenius" coalgebras were introduced as dualizations of Frobenius algebras. Recently, it was shown in \cite{I} that they admit left-right symmetric characterizations analogue to those of Frobenius algebras: a coalgebra $C$ is…

The main goal of this paper is to investigate the structure of Hopf algebras with the property that either its Jacobson radical is a Hopf ideal or its coradical is a subalgebra. In order to do that we define the Hochschild cohomology of an…

Let H be a Hopf algebra and A an H-simple right H-comodule algebra. It is shown that under certain hypotheses every (H,A)-Hopf module is either projective or free as an A-module and A is either a quasi-Frobenius or a semisimple ring. As an…

The classification of all Hopf algebras of a given finite dimension over an algebraically closed field of characteristic 0 is a difficult problem. If the dimension is a prime, then the Hopf algebra is a group algebra. If the dimension is…

We investigate when a weak Hopf algebra H is Frobenius; we show this is not always true, but it is true if the semisimple base algebra A has all its matrix blocks of the same dimension. However, if A is a semisimple algebra not having this…

We consider the action of a semisimple Hopf algebra $H$ on an $m$-Koszul Artin-Schelter regular algebra $A$. Such an algebra $A$ is a derivation-quotient algebra for some twisted superpotential $\mathsf{w}$, and we show that the homological…