No label defined (Q4026490)

The author considers two closely related categories. The first one is the category of ring groups introduced by G. I. Kac who constructed by means of these objects a satisfactory theory of duality for unimodular compact groups. Nonunimodular ring groups are now called Kac algebras. The subject of the second category is quantum groups. The author studies the connection between compact quantum groups in the sense of Woronowicz and compact Kac algebras in the \(C^*\)-algebra version. \textit{S. L. Woronowicz} proved [Commun. Math. Phys. 111, 613-665 (1987; Zbl 0627.58034)]\ that any compact quantum group is a \(C^*\)-Hopf algebra with a unit. However, the antipode map axiom \(d(\circ \otimes id) \Phi= \eta e\) in a Hopf algebra is not a direct consequence of the definition of a Kac algebra and we cannot directly state that a compact Kac algebra is a \(C^*\)-Hopf algebra with a unit. The main aim of the paper is to prove this fact by means of representation theory. It is proved that any finite dimensional \(C^*\)-Hopf algebra algebra with a unit is a finite quantum group and any finite quantum group is simultaneously a finite Kac algebra. For the entire collection see [Zbl 0745.00063].