For finite groups $X$, $G$ and the right $G$-action on $X$ by group automorphisms, the non-balanced quantum double $D(X;G)$ is defined as the crossed product ${\left(ℂX^{\mathrm{op}}\right)}^{*}⋊ℂG$. We firstly prove that $D(X;G)$ is a finite-dimensional Hopf $C^{*}$-algebra. For any subgroup $H$ of $G$, $D(X;H)$ can be defined as a Hopf $C^{*}$-subalgebra of $D(X;G)$ in the natural way. Then there is a conditonal expectation from $D(X;G)$ onto $D(X;H)$ and the index is $[G;H]$. Moreover, we prove that an associated natural inclusion of non-balanced quantum doubles is the crossed product by the group algebra....

Starting from an arbitrary ring R we provide a systematic construction of ℤ/nℤ-graded rings A which are Frobenius extensions of R, and show that under mild assumptions, A is an Auslander-Gorenstein local ring if and only if so is R.