The Haar measure on finite quantum groups

By a finite quantum group, we will mean in this paper a finite-dimensional Hopf algebra. A left Haar measure on such a quantum group is a linear functional satisfying a certain invariance property. In the theory of Hopf algebras, this is usually called an integral. It is well-known that, for a finite quantum group, there always exists a unique left Haar measure. This result can be found in standard works on Hopf algebras. In this paper we give a direct proof of the existence and uniqueness of the left Haar measure on a finite quantum group. We introduce the notion of a faithful functional and we show that the Haar measure is faithful. We consider the special case where the underlying algebra is a -algebra with a faithful positive linear functional. Then the left and right Haar measures coincide. Finally, we treat an example of a root of unity algebra. It is an example of a finite quantum group where the left and right Haar measures are different. This note does not contain many new results but the treatment of the finite-dimensional case is very concise and instructive.