A description of Kac-systems of multiplicative unitary operators

Let V be a multiplicative unitary operator on a separable Hilbert spaceH, then there are two subalgebras ofB( H) denoted byA( V) and ?( V), respectively, which correspond to V. If V satisfiesV ² =I, then we will obtain the necessary and sufficient condition of Baaj and Skandalis’ main theorem, i.e.V has a Kac-system if and only if the linear closed space of the product of the above two algebras is the compact operator space; with this condition the above algebras are also quantum groups.