Let G be a finite group and H a subgroup. Denote by D(G;H) (or D(G)) the crossed product of C(G) and \mathbb{C}H (or \mathbb{C}G) with respect to the adjoint action of the latter on the former. Consider the algebra \left \langle D(G), e\right \rangle generated by D(G) and e, where we regard E as an idempotent operator e on D(G) for a certain conditional expectation E of D(G) onto D(G; H). Let us call \left \langle D(G), e\right \rangle the basic construction from the conditional expectation E: D(G) → D(G; H). The paper constructs a crossed product algebra C(G/H ×G) \rtimes \mathbb{C}G, and proves that there is an algebra isomorphism between \left \langle D(G), e\right \rangle and C(G/H×G) \rtimes \mathbb{C} G., Qiaoling Xin, Lining Jiang, Zhenhua Ma., and Obsahuje seznam literatury