Let B be a unital C * -algebra and H a finite dimensional C * -Hopf algebra with its dual C * -Hopf algebra H 0 . We suppose that there is a saturated action of H on B and we denote by A its fixed point C * -subalgebra of B. Let E be the canonical conditional expectation from B onto A. In the present paper, we shall give a necessary and sufficient condition that there are a weak action of H 0 on A and a unitary cocycle σ of H 0 ⊗ H 0 to A satisfying that there is an isomorphism π of A σ H 0 onto B, which is the twisted crossed product of A by the weak action of H 0 on A and the unitary cocycle σ , such that F = E • π, where F is the canonical conditional expectation from A σ H 0 onto A.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.