The basic construction from the conditional expectation on the quantum double of a finite group
Let be a finite group and a subgroup. Denote by (or ) the crossed product of and (or ) with respect to the adjoint action of the latter on the former. Consider the algebra generated by and , where we regard as an idempotent operator on for a certain conditional expectation of onto . Let us call the basic construction from the conditional expectation . The paper constructs a crossed product algebra , and proves that there is an algebra isomorphism between and .