Solution of the factorial Stone-Weierstrass conjecture. An application of the theory of standard split W*-inclusions.
We show that any sequence of mutually orthogonal pure states on a JB algebra A such that forms an almost discrete sequence in the relative topology induced by the primitive ideal space of A admits a sequence consisting of positive, norm one, elements of A with pairwise orthogonal supports which is supporting for in the sense of for all n. Moreover, if A is separable then can be taken such that is uniquely determined by the biorthogonality condition . Consequences of this result improving...