Quotients of Finite Quasi-Hopf Algebras

Peter Schauenburg

DOI: https://doi.org/10.1201/9780429187629-17

2019-05-07

Abstract:Let H be a finite-dimensional quasi-Hopf algebra. We show for each quotient quasibialgebra Q of H that Q is a quasi-Hopf algebra whose dimension divides the dimension of H. Quasi-Hopf algebras, introduced by V. Drinfeld, are a generalization of ordinary Hopf algebras that can be motivated most easily by looking at representation categories: The category of modules over a Hopf algebra is a monoidal category, with the module structure on the tensor product over the base field of two modules given by the diagonal action via comultiplication. One of the standard applications of the Nichols-Zoeller theorem is to investigate the structure of (semisimple) Hopf algebras by dimension counting: The dimension of a Hopf subalgebra has to divide the dimension of the large Hopf algebra, a version of the classical Lagrange theorem for finite groups. This can serve to narrow down the possible examples in classification attempts. The chapter shows that any quotient quasibialgebra of a finite-dimensional quasi-Hopf algebra is a quotient quasi-Hopf algebra itself.