Positive projections and Jordan structure in operator algebras.
We prove that a pure state on a -algebras or a JB algebra is a unique extension of some pure state on a singly generated subalgebra if and only if its left kernel has a countable approximative unit. In particular, any pure state on a separable JB algebra is uniquely determined by some singly generated subalgebra. By contrast, only normal pure states on JBW algebras are determined by singly generated subalgebras, which provides a new characterization of normal pure states. As an application we contribute...