Realizations of free actions via their fixed point algebras

Let G be a compact group, let B be a unital C^*-algebra, and let (A, G, ) be a free C^*-dynamical system, in the sense of Ellwood, with fixed point algebra B. We prove that (A, G, ) can be realized as the invariants of an equivariant coaction of G on a corner of B K (H) for a certain Hilbert space H that arises from the freeness of the action. This extends a result by Wassermann for free C^*-dynamical systems with trivial fixed point algebras. As an application, we show that any faithful -representation of B on a Hilbert space H₁ gives rise to a faithful covariant representation of (A, G, ) on some truncation of H₁ H.