Injective envelopes and the intersection property

Abstract

We consider the ideal structure of a reduced crossed product of a unital C∗-algebra equipped with an action of a discrete group. More specifically we find sufficient and necessary conditions for the group action to have the intersection property, meaning that non-zero ideals in the reduced crossed product restrict to non-zero ideals in the underlying C∗-algebra. We show that the intersection property of a group action on a C∗-algebra is equivalent to the intersection property of the action on the equivariant injective envelope. We also show that the centre of the equivariant injective envelope always contains a C∗-algebraic copy of the equivariant injective envelope of the centre of the injective envelope. Finally, we give applications of these results in the case when the group is C∗-simple.