No label defined (Q4779769)

The aim of this paper is to provide a complete and detailed proof of the theorem of \textit{P. Etingof} and \textit{S. Gelaki} [in Math. Res. Lett. 5, No. 1-2, 191-197 (1998; Zbl 0907.16016)], which states that any semisimple triangular Hopf algebra over an algebraically closed field \(k\) of characteristic \(0\) is obtained from a group algebra \(k[G]\), of a unique (up to isomorphism) finite group \(G\), by twisting its usual comultiplication in the sense of Drinfeld. This result is one of the key theorems in the classification of semisimple and cosemisimple triangular Hopf algebras over \textit{any} algebraically closed field, which was obtained by \textit{P. Etingof} and \textit{S. Gelaki} [in Int. Math. Res. Not. 2000, No. 5, 223-234 (2000; Zbl 0957.16029)]. The proof of this theorem relies on Deligne's theorem on Tannakian categories in an essential way. For this reason, the author reviews the notions of tensor, rigid, symmetric and Tannakian categories and discusses Deligne's theorem, and studies the category of finite-dimensional representations of a finite-dimensional triangular (semisimple) Hopf algebra. For the entire collection see [Zbl 0993.00031].