Article contents
TYPE DECOMPOSITION OF A PSEUDOEFFECT ALGEBRA
Published online by Cambridge University Press: 28 February 2011
Abstract
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.
Keywords
MSC classification
- Type
- Research Article
- Information
- Journal of the Australian Mathematical Society , Volume 89 , Issue 3 , December 2010 , pp. 335 - 358
- Copyright
- Copyright © Australian Mathematical Publishing Association Inc. 2011
Footnotes
The second and third authors were supported by the Research and Development Support Agency under contract no. LPP-0199-07; grant VEGA 2/0032/09, Center of Excellence SAS–Quantum Technologies; and ERDF OP R & D Project CE QUTE ITMS 26240120009 and meta-QUTE ITMS 26240120022.
References
- 8
- Cited by