This is an old revision of the document!
Let be a compact quantum group. Denote by the antipode on , by the Haar state of . Then the following are equivalent
If those conditions are satisfied, we say is of Kac type or that is unimodular.