Department of Mechanics and Mathematics, Kazan State University, 18 Lenin St., 420008, Kazan, Russia
Abstract:
Let be a real -algebra of -real bounded operators containing no central summand of type in a complex Hilbert space with conjugation . Denote by the quantum logic of all -orthogonal projections in the von Neumann algebra . Let be a probability measure. It is shown that contains a finite central summand and there exists a normal finite trace on such that , .