Categories of modules over semisimple finite-dimensional Hopf algebras (Q2202795): Difference between revisions

Let \(H\) be a finite-dimensional semisimple Hopf algebra over a field \(k\) of characteristic zero or greater than \(\dim_k H\). As an algebra, \(H\) is a direct product of full matrix algebras \(\mathrm{Mat}(d,k)\) over \(k\). The degree \(d\) corresponds to the dimension of an irreducible \(H\)-module. In the paper under review, it is assumed that (up to isomorphism) there is at most one irreducible \(H\)-module of dimension \(d>1\). Note that the isomorphism classes of one-dimensional \(H\)-modules are in bijection with the group \(G=G(H^*)\) of group-like elements of the dual Hopf algebra \(H^*\). Moreover, it is known from a paper of \textit{S. Natale} and \textit{J. Y. Plavnik} [Algebra Number Theory 6, No. 6, 1171--1197 (2012; Zbl 1272.16032)] that \(d\) divides the order \(\vert G\vert\) of \(G\), and \(\vert G\vert\) divides \(d^2\). A main goal is to describe the coalgebra structure of \(H\), or equivalently, the algebra structure of the dual Hopf algebra \(H^*\). In a previous paper [St. Petersbg. Math. J. 26, No. 2, 207--223 (2015; Zbl 1333.16032); translation from Algebra Anal. 26, No. 2, 21--44 (2014)], the author of the paper under review has given a description of all such Hopf algebras, but under the additional hypothesis that \(G(H^*)\) is abelian. In the present paper the latter is not assumed, and in this more general situation the group \(G(H)\) of group-like elements of \(H\) is determined up to isomorphism. In particular, if \(\vert G(H^*) \vert\) is odd, then \(G(H)\) is isomorphic to \(G(H^*)\). Moreover, it is shown that the dimension of the center of \(H^*\) is \(\vert G(H^*)\vert+1\). As a consequence, if \(\vert G(H^*)\vert\) is odd, then \(H\) and \(H^*\) are isomorphic as algebras.