I don’t know how common is the following false belief, but I had it for several years, so maybe some other people also have it. I apologize to those to whom I shared this false belief. I hope this post will help. **Kaplansky’s 6th conjecture** ([here][1], 1975) states that if $H$ is a finite dimensional semisimple Hopf algebra and $V$ an irreducible representation of $H$, then $\dim (V)$ divides $\dim (H)$. This conjecture is open over the complex field $\mathbb{C}$, but false in positive characteristic. So we assume to be over $\mathbb{C}$. For the group case, this property was proved by Frobenius, that is why a finite dimensional semisimple Hopf algebra (over $\mathbb{C}$) with this property is called *of Frobenius type*. A finite dimensional Hopf algebra (over $\mathbb{C}$) is called a *finite quantum group* (or Kac algebra) if it has a $*$-structure. And then it is also semisimple. It is an open problem whether such a $*$-structure always exists. **False belief**: George Kac proved Kaplansky’s 6th conjecture for the finite quantum groups. This false belief was pointed out to me by Pavel Etingof after [this talk][2] I gave for Harvard University, and where I mentioned it. Fortunately, that does not affect the content of the talk. What I had in mind is Theorem 2 in the [following paper][3]: G. I. Kac, Certain arithmetic properties of ring groups., Funct. Anal. Appl., 6 (1972), pp. 158–160. In modern language, Theorem 2 proves the following: let $H$ be a finite quantum group, and let $\mathcal{C} = Corep(H)$ be the fusion category of complex corepresentations of $H$. For every simple object $X$ of the Drinfeld center $Z(\mathcal{C})$ which contains the trivial object of $\mathcal{C}$ under the forgetful functor, $FPdim(X)$ divides $FPdim(\mathcal{C}) = \dim(H)$ (the quotients are called the *formal codegrees*). Note that these $X$ correspond to the irreducible representations of the Grothendieck ring $K(\mathcal{C})$ of $\mathcal{C}$ (see Theorem 2.13 [here][4]). In particular, for $G$ a finite group, $\mathcal{C} = Corep(G) = Vec(G)$, and $Irr(K(\mathcal{C})) = Irr(G)$. That is why Theorem 2 implies Kaplansky’s 6th conjecture in the group case (i.e. covers Frobenius theorem). But it is not clear for a finite quantum group in general. It could be relevant to search in this direction, in particular to check whether for every object $Y$ of $Irr(H)$ there exists an $X$ as above such that $\dim(Y)$ divides $FPdim(X)$, because this would prove that $H$ is a Frobenius type. Note that Theorem 2 (as stated above) holds more generally for every (complex) fusion category $\mathcal{C}$. The case $\mathcal{C} = Rep(G)$, with $G$ a finite group, recovers the fact that the size of each conjugacy class of $G$ divides $|G|$. Finally, according to Pavel, the theorem holds more generally without the assumption ‘which contains the trivial object’ (I don’t have the exact reference for that, so if you know it, please put it in comment). [1]: https://mathscinet.ams.org/mathscinet-getitem?mr=0435126 [2]: https://youtu.be/WbV6yAfgP2I [3]: https://doi.org/10.1007/BF01077523 [4]: https://arxiv.org/pdf/1309.4822.pdf