Co-amenability of compact quantum groups (Q5955633)

The authors introduce and study the concept of co-amenability for compact quantum groups defined in the sense of \textit{S. L. Woronowicz} [Proceedings of the Les Houches summer school, Session LXIV, Les Houches, France, 1995, 845-884 (1998; Zbl 0997.46045)]. Several conditions characterizing co-amenability are presented and it is shown that co-amenability implies faithfulness of the Haar integral. This leads to a new proof of Nagy's theorem on faithfulness of the Haar measure of quantum \(SU(2)\). It is also shown that co-amenability implies automatic norm-boundedness of positive linear functionals on the quantum group's Hopf*-algebra.