-basic construction between non-balanced quantum doubles
For finite groups , and the right -action on by group automorphisms, the non-balanced quantum double is defined as the crossed product . We firstly prove that is a finite-dimensional Hopf -algebra. For any subgroup of , can be defined as a Hopf -subalgebra of in the natural way. Then there is a conditonal expectation from onto and the index is . Moreover, we prove that an associated natural inclusion of non-balanced quantum doubles is the crossed product by the group algebra....