The pure extension property for discrete crossed products
arXiv:1708.03987
Abstract
Let be a discrete group acting on a unital -algebra by -automorphisms. In this note, we show that the inclusion has the pure extension property (so that every pure state on extends uniquely to a pure state on ) if and only if acts freely on , the spectrum of . The same characterization holds for the inclusion . This generalizes what was already known for abelian.
A gap in the proof of the implication (iii => i) in Theorem 2.4 has been eliminated