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.