Yetter-Drinfel'd Hopf algebras over groups of prime order (Q699947)

This monograph is devoted to problems of classification of semisimple Hopf algebras over an algebraically closed field \(K\) of characteristic 0. At this moment, the known examples of semisimple Hopf algebras are obtained from finite groups via a number of standard operations (extensions, duals, twisting, \dots). One of the important techniques is the Radford-Majid bosonization: given a Hopf algebra \(R\) in the braided category \(^H_H\mathcal{YD}\) of Yetter-Drinfeld modules over a Hopf algebra \(H\), one forms a Hopf algebra \(R\#H\); if \(R\) and \(H\) are finite-dimensional semisimple, so is \(R\#H\). The author first carefully constructs braided cocommutative Hopf algebras \(R\) in \(^H_H\mathcal{YD}\), where \(H=KC\) is the group algebra of a finite group \(C\). A braided Hopf algebra \(R\) in this construction is nontrivial, i.e., it is not a usual Hopf algebra, and its underlying vector space is of the form \(K^P\otimes KG\), where \(P\), \(G\) are finite groups. This construction, due to the author and this reviewer, was recently generalized and explained in the context of extensions of braided Hopf algebras [in \textit{N. Andruskiewitsch} and \textit{S. Natale}, Braided Hopf algebras arising from matched pairs of groups, J. Pure Appl. Algebra (to appear)]. The main structural theorem in this book is the following. Assume that \(C\) has prime order \(p\) and let \(R\) be a nontrivial, finite dimensional, cocommutative, cosemisimple, braided Hopf algebra in \(^H_H\mathcal{YD}\), \(H=KC\). Then \(R\) is isomorphic to one of the Hopf algebras previously constructed but with \(P=C\). Thus, \(p\) divides \(\dim R\). Actually, the result is valid under weaker hypotheses on \(K\). One of the delicate points in the proof is to establish the existence of a coinvariant group-like element of order \(p\) in \(R\) and this is done via Clifford theory. So far, this is the only general classification result on braided semisimple Hopf algebras known. As an application, the author provides a proof of the following result: any semisimple Hopf algebra of odd order \(pq\), \(q\) another prime, is either a group algebra or a dual group algebra. The classification of semisimple Hopf algebras of order \(2p\) was obtained by \textit{A. Masuoka} [Commun. Algebra 23, No. 5, 1931-1940 (1995; Zbl 0824.16028)]; whereas the classification of semisimple Hopf algebras of odd order \(pq\) was first obtained by \textit{P. Etingof} and \textit{S. Gelaki} [J. Algebra 210, No. 2, 664-669 (1998; Zbl 0919.16028)] using results of \textit{S. Gelaki} and \textit{S. Westreich} [Proc. Am. Math. Soc. 128, No. 1, 39-47 (2000; Zbl 0941.16025); Corrigendum, ibid. 128, No. 9, 2829-2831 (2000; Zbl 1003.16036)]. Yet another proof can be found in [\textit{S. Natale}, J. Algebra 221, No. 1. 242-278 (1999; Zbl 0942.16045)]. All three proofs require also the theorem of Etingof and Gelaki: if \(H\) is a semisimple Hopf algebra and \(V\) is an irreducible representation of the Drinfeld double \(D(H)\) then \(\dim V\) divides \(\dim H\) [\textit{P. Etingof} and \textit{S. Gelaki}, Math. Res. Lett. 5, No. 4, 551-561 (1998; Zbl 0935.16029)].