No label defined (Q4395591)

Let \(A\) be a quasi-Hopf algebra over a field \(k\), \(I\) the space of left integrals of \(A\). The author shows that \(A\) is semisimple Artinian if and only if \(\varepsilon(I)\neq 0\), \(\varepsilon\) the counit of \(A\). This generalizes Sweedler's result for finite-dimensional Hopf algebras which generalized Maschke's theorem for finite groups. As an application, for a finite group \(G\), the quasi-Hopf algebra \(D^\omega(G)\) is semisimple if and only if the characteristic of \(k\) is zero or does not divide the order of \(G\). Here \(\omega\) is a normalized 3-cocylce of \(G\) into \(k^*\), and \(D^\omega(G)\) is the quasi-Hopf algebra \((kG)^*\otimes kG\), whose multiplication, comultiplication and other structure maps involve \(\omega\). If \(\omega\) is trivial, then \(D^\omega(G)\) is the Drinfeld double of \(kG\). The paper concludes with some remarks about unimodularity and solutions of the quantum Yang-Baxter equation. For the entire collection see [Zbl 0884.00036].