CQG algebras: A direct algebraic approach to compact quantum groups

Abstract

The purely algebraic notion of CQG algebra (algebra of functions on a compact quantum group) is defined. In a straightforward algebraic manner, the Peter-Weyl theorem for CQG algebras and the existence of a unique positive definite Haar functional on any CQG algebra are established. It is shown that a CQG algebra can be naturally completed to a C*-algebra. The relations between our approach and several other approaches to compact quantum groups are discussed. © 1994 Kluwer Academic Publishers.