2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/152466In this paper, we will prove that if $A$ is a $C^*$-algebra with an effective coaction $ε$ by a compact quantum group, then the fixed point algebra and the reduced crossed product are Morita equivalent. As an application, we prove an imprimitivity type theorem for crossed products of coactions by discrete Kac $C^*$-algebras.14 pages, Latex; to appear in the Mathematical Proceedings of the Cambridge Philosophical SocietyFunctional AnalysisOperator AlgebrasQuantum Algebratext