TYPE DECOMPOSITION OF A PSEUDOEFFECT ALGEBRA

Effect algebras, which generalize the lattice of projections in a von Neumann algebra, serve as a basis for the study of unsharp observables in quantum mechanics. The direct decomposition of a von Neumann algebra into types I, II, and III is reflected by a corresponding decomposition of its lattice of projections, and vice versa. More generally, in a centrally orthocomplete effect algebra, the so-called type-determining sets induce direct decompositions into various types. In this paper, we extend the theory of type decomposition to a (possibly) noncommutative version of an effect algebra called a pseudoeffect algebra. It has been argued that pseudoeffect algebras constitute a natural structure for the study of noncommuting unsharp or fuzzy observables. We develop the basic theory of centrally orthocomplete pseudoeffect algebras, generalize the notion of a type-determining set to pseudoeffect algebras, and show how type-determining sets induce direct decompositions of centrally orthocomplete pseudoeffect algebras.

Central elements in pseudoeffect algebras

We introduce the definition of pseudoorthoalgebras and discuss some relationships between orthomodular lattices and pseudoorthoalgebras. Then we study the conditions that a pseudoeffect algebra is isomorphic to an “internal direct product” of ideals generated by orthogonal principal elements. At last, we give some characterizations of central elements in pseudoeffect algebras.