Heisenberg duoble, pentagon equation, structure and classification of finite dimensional Hopf algebras

The study of the pentagon (fusion) equation leds to the Structure and the Classification theorem for finite dimenasional Hopf algebras: there exists a one to one correspondence between the set of types of n-dimensional Hopf algebtras and the set of the orbits of the resticted Jordan action $GL_n(k) \times M_n(k)\otimes M_n(k) \to M_n(k) \otimes M_nk$ $(u, R) \to (u\otimes u)R (u\otimes u)^{-1}$, the representatives of wich are invertible solutions of length n of the pentagon equation.Comment: 22 pg, late

Integrals, quantum Galois extensions and the affineness criterion for quantum Yetter-Drinfel'd modules

We introduce and study a general concept of integral of a threetuple (H, A, C), where H is a Hopf algebra acting on a coalgebra C and coacting on an algebra A. In particular, quantum integrals associated to Yetter-Drinfel'd modules are defined. Let A be an H-bicomodule algebra, $^H {\cal YD}_A$ be the category of (generalized) Yetter-Drinfel'd modules and $B$ the subalgebra of coinvariants of the Verma structure of $A$. We introduce the concept of quantum Galois extensions and we prove the affineness criterion in a quantum version.Comment: latex 32 pg. J. Algebra, to appea