Let be the Drinfeld double of a finite group and be the crossed product of and , where is a subgroup of . Then the sets and can be made -algebras naturally. Considering the -basic construction from the conditional expectation of onto , one can construct a crossed product -algebra , such that the -basic construction is -algebra isomorphic to .
展开▼