\(C^\ast\)-basic construction from the conditional expectation on the Drinfeld double (Q2323453)

Summary: Let \(D(G)\) be the Drinfeld double of a finite group \(G\) and \(D(G; H)\) be the crossed product of \(C(G)\) and \(\mathbb{C}H\), where \(H\) is a subgroup of \(G\). Then the sets \(D(G)\) and \(D(G; H)\) can be made \(C^\ast\)-algebras naturally. Considering the \(C^\ast\)-basic construction \(C^\ast \langle D(G), e \rangle\) from the conditional expectation \(E\) of \(D(G)\) onto \(D(G; H)\), one can construct a crossed product \(C^\ast\)-algebra \(C(G / H \times G) \rtimes \mathbb{C} G\) such that the \(C^\ast\)-basic construction \(C^\ast \langle D(G), e \rangle\) is a \(C^\ast\)-algebra isomorphic to \(C(G / H \times G) \rtimes \mathbb{C} G\).