Some properties of finite-dimensional semisimple Hopf algebras (Q1128280)

It is known that for a finite-dimensional algebra \(A\), if \(\dim V\) divides \(\dim A\) for every irreducible representation \(V\) of \(A\), one says that \(A\) is of Frobenius type. \textit{I. Kaplansky} [Bialgebras, Univ. Chicago (1975)] conjectured that if \(H\) is a finite-dimensional semisimple Hopf algebra over an algebraically closed field \(K\) of characteristic \(0\), then \(H\) is of Frobenius type. One of the aims of this paper is to discuss the above conjecture for quasitriangular Hopf algebras over \(K\). First, the authors prove that for a finite-dimensional semisimple Hopf algebra \(H\) over \(K\), if \(V\) is an irreducible representation of \(D(H)\) then \(\dim V\) divides \(\dim H\). Then using of this result, they show that every finite-dimensional quasi-triangular semisimple Hopf algebra is of Frobenius type. As an application, they reprove easily that another of Kaplansky's conjectures on prime-dimensional Hopf algebras over \(K\) is true by passing to their Drinfeld doubles. Second, the authors use a theorem of Deligne to prove that triangular semisimple Hopf algebras over \(K\) are equivalent to group algebras as quasi-Hopf algebras.