Morita equivalences between fixed point algebras and crossed products

In this paper, we will prove that if A is a C*-algebra with an effective co action epsilon by a compact quantum group, then the fixed point algebra and the reduced crossed product are Morita equivalent. As an application, we p rove an imprimitivity type theorem for crossed products of coactions by dis crete Kac C*-algebras.