A short note such as this one can hardly do justice to the richness of the subject of quantum groups, so we will simply refer the reader to the papers mentioned below, as well as to the vast literature cited by those papers, for a comprehensive view of the history and intricacies of the subject. Let us just mention that the quantum groups in this paper are of function algebra type, rather than of the quantized universal enveloping algebra kind introduced in [1]}, [2]}. The former are non-commutative analogues of algebras of continuous functions on a (here compact) group, and were formalized in essentially their present form in [3]}. To be more specific, we only work with the algebraic counterparts of the objects described by Woronowicz. These are the so-called CQG algebras of [4]}, and mimic the algebras of representative functions on a compact group, minus the commutativity. They are complex Hopf \(*\) -algebras satisfying an additional condition whih ensures, among other things, the semisimplicity of their categories of comodules.
