On certain properties of the relative entropy of states of operator algebras.
We review the notion of simple compact quantum groups and examples, and discuss the problem of construction and classification of simple compact quantum groups.
Two different models for a Hopf-von Neumann algebra of bounded functions on the quantum semigroup of all (quantum) permutations of infinitely many elements are proposed, one based on projective limits of enveloping von Neumann algebras related to finite quantum permutation groups, and the second on a universal property with respect to infinite magic unitaries.