Dye's Theorem and Gleason's Theorem for AW*-algebras
arXiv:1408.4597
Abstract
We prove that any map between projection lattices of -algebras and , where has no Type direct summand, that preserves orthocomplementation and suprema of arbitrary elements, is a restriction of a normal Jordan -homomorphism between and . This allows us to generalize Dye's Theorem from von Neumann algebras to -algebras. We show that Mackey-Gleason-Bunce-Wright Theorem can be extended to homogeneous -algebras of Type I. The interplay between Dye's Theorem and Gleason's Theorem is shown. As an application we prove that Jordan -homomorphims are commutatively determined. Another corollary says that Jordan parts of -algebras can be reconstructed from posets of their abelian subalgebras.
17 pages