ON TWO FINITENESS CONDITIONS FOR HOPF ALGEBRAS WITH NONZERO INTEGRAL

A Hopf algebra is co-Frobenius when it has a nonzero integral. It is proved that the composition length of the indecomposable injective comodules over a co-Frobenius Hopf algebra is bounded. As a consequence, the coradical filtration of a co-Frobenius Hopf algebra is finite; this confirms a conject...

Full description

Bibliographic Details
Main Authors: Andruskiewitsch, Nicolas, Cuadra, Juan, Etingof, Pavel I
Other Authors: Massachusetts Institute of Technology. Department of Mathematics
Format: Article
Language:en_US
Published: Scuola normale superiore di Pisa 2017
Online Access:http://hdl.handle.net/1721.1/107196
https://orcid.org/0000-0002-0710-1416
Description
Summary:A Hopf algebra is co-Frobenius when it has a nonzero integral. It is proved that the composition length of the indecomposable injective comodules over a co-Frobenius Hopf algebra is bounded. As a consequence, the coradical filtration of a co-Frobenius Hopf algebra is finite; this confirms a conjecture by Sorin Dăscălescu and the first author. The proof is of categorical nature and the same result is obtained for Frobenius tensor categories of subexponential growth. A family of co-Frobenius Hopf algebras that are not of finite type over their Hopf socles is constructed, answering so in the negative another question by the same authors.