Quasi-Product Actions of a Compact Group on a C*-Algebra

Let α be an action of a compact group on a separable prime C*-algebra A. Several conditions on α are shown to be equivalent, among which are the following two:there exists a faithful irreducible representation of A which is also irreducible on Aα there exists an α-invariant pure state ω of A such that πω | aα is faithful (it follows also that πω is faithful).These two conditions mean, roughly speaking, that there exist, respectively, free orbits and fixed points in the space of equivalence classes of irreducible representations of A, acted upon by G.