On semisimple Hopf algebras of dimension \(pq^2\) (Q1818836)

Let \(k\) be an algebraically closed field of characteristic zero. This paper classifies all semisimple \(k\)-Hopf algebras of dimension \(pq^2\), \(p\neq q\), which are not simple as Hopf algebras. Also, information is provided on Hopf algebras of dimension \(pqr\), \(r<q<p\). In the \(p^2q\) case we have either \(p=1\pmod q\) or \(q=1\pmod p\). If \(p=1\pmod q\) then there are \(q\) isomorphism classes of such Hopf algebras, which are the ones described by \textit{S. Gelaki} [Isr. J. Math. 102, 227-267 (1997; Zbl 0898.16025)]. If \(p=2\) and \(q=1\pmod 2\) there are exactly two isomorphism classes, which were found by \textit{A. Masuoka} [Commun. Algebra 24, No. 1, 307-329 (1996; Zbl 0845.16037)]. Finally, if \(p\neq 2\) and \(q=1\pmod 2\), then along with the two provided in the \(p=2\) case there are \(p-1\) more isomorphism classes: they are called \({\mathcal B}_{\lambda_j}\), \(1\leq j\leq\tfrac{p-1}2\), where \(0<\lambda_j<p-1\) are units modulo \(p\) with \(\lambda_i\lambda_{j}\neq 1\pmod p\); as well as their duals \({\mathcal B}_{\lambda_j}^*\). The problem of classifying these Hopf algebras reduces to studying Abelian extensions. Much time is spent reviewing Abelian extensions, with particular emphasis on a certain type of extension necessary to classify these Hopf algebras. By looking at whether \(A\) or \(A^*\) has a non-trivial central group-like element, the complete classification is obtained. Finally, the author provides insight in the \(pqr\) case. Here all non-trivial Hopf algebras that are obtained via Abelian extensions are described. In fact, there are only two isomorphism classes of such Hopf algebras, namely \({\mathcal A}_p(r,q)\) and \({\mathcal A}_p(q,r)\).