Definition 0.1. A finite quantum group QGf is a pair (ℍ, Φ) of a finite-dimensional
C∗-algebra ℍ with a comultiplication Φ such that (ℍ, Φ) is a Hopf ∗-algebra.
References
[1] ABE, E., Hopf Algebras, Cambridge University Press, 1977.
[2] SWEEDLER, M.E., Hopf Algebras, W.A. Benjamin, inc., New York, 1969.
[3] KUSTERMANS, J., VAN DAELE, A., C*-algebraic Quantum Groups arising from
Algebraic Quantum Groups, Int. J. of Math. 8 (1997), 1067-1139.
[4] LANCE, E.C., An explicit description of the fundamental unitary for SU(2)q,
Commun. Math. Phys. 164 (1994), 1-15.