Related papers: Flatness over PI coideal subalgebras
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…
Hopf algebras, most generally in a semisimple abelian symmetric monoidal category, are here supposed to be commutative but not to be of finite-type, and their (equivariant) smoothness are discussed. Given a Hopf algebra $H$ in a category…
We discuss some general results on finite-dimensional Hopf algebras over an algebraically closed field k of characteristic zero and then apply them to Hopf algebras H of dimension p^{3} over k. There are 10 cases according to the group-like…
In formulating a generalized framework to study certain noncommutative algebras naturally arising in representation theory, K. A. Brown asked if every finitely generated Hopf algebra satisfying a polynomial identity was finite over a normal…
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…
Any finite-dimensional Hopf algebra H is Frobenius and the stable category of H-modules is triangulated monoidal. To H-comodule algebras we assign triangulated module-categories over the stable category of H-modules. These module-categories…
Using the standard filtration associated with a generalized lifting method, we determine all finite-dimensional Hopf algebras over an algebraically closed field of characteristic zero whose coradical generates a Hopf subalgebra isomorphic…
Let $L$ be a finite dimensional Lie algebra over a field of characteristic $0$. Then by the original Levi theorem, $L = B \oplus R$ where $R$ is the solvable radical and $B$ is some maximal semisimple subalgebra. We prove that if $L$ is an…
We construct examples of flat fiber bundles over the Hopf surface such that the total spaces have no pseudoconvex neighborhood basis, admit a complete K\"ahler metric, or are hyperconvex but have no nonconstant holomorphic functions. For…
We prove that, over an algebraically closed field of characteristic zero, a semisimple Hopf algebra that has a nontrivial self-dual simple module must have even dimension. This generalizes a classical result of W. Burnside. As an…
In this note, we show that every Noetherian graded ring with an affine degree zero part is affine. As a result, a Noetherian graded Hopf algebra whose degree zero component is a commutative or a cocommutative Hopf subalgebra is affine.…
The modular group algebra of an elementary abelian p-group is isomorphic to the restricted enveloping algebra of commutative restricted Lie algebra. The different ways of regarding this algebra result in different Hopf algebra structures…
We determine and classify all finite-dimensional Hopf algebras over an algebraically closed field of characteristic zero whose Hopf coradicals are isomorphic to dual Radford algebras of dimension $4p$ for a prime $p>5$. In particular, we…
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…
We exhibit a PI Hopf algebra that is not a finite module over its center. We survey some ring-theoretical properties of the bosonizations of enveloping algebras of Lie superalgebras.
Let $q$ be a prime number, $k$ an algebraically closed field of characteristic 0, and $H$ a semisimple Hopf algebra of dimension $2q^3$. This paper proves that $H$ is always semisolvable. That is, such Hopf algebras can be obtained by (a…
We define polynomial H-identities for comodule algebras over a Hopf algebra H and establish general properties for the corresponding T-ideals. In the case H is a Taft algebra or the Hopf algebra E(n), we exhibit a finite set of polynomial…
The natural problem we approach in the present paper is to show how the notion of formally smooth (co)algebra inside monoidal categories can substitute that of (co)separable (co)algebra in the study of splitting bialgebra homomorphisms.…
Let $A$ be an algebra over a commutative ring $R$. If $R$ is noetherian and $A^\circ$ is pure in $R^A$, then the categories of rational left $A$-modules and right $A^\circ$-comodules are isomorphic. In the Hopf algebra case, we can also…
The notion of Hopf center and Hopf cocenter of a Hopf algebra is investigated by the extension theory of Hopf algebras. We prove that each of them yields an exact sequence of Hopf algebras. Moreover the exact sequences are shown to satisfy…