Type-Decomposition of an Effect Algebra
Abstract
Effect algebras (EAs), play a significant role in quantum logic, are featured in the theory of partially ordered Abelian groups, and generalize orthoalgebras, MV-algebras, orthomodular posets, orthomodular lattices, modular ortholattices, and boolean algebras. We study centrally orthocomplete effect algebras (COEAs), i.e., EAs satisfying the condition that every family of elements that is dominated by an orthogonal family of central elements has a supremum. For COEAs, we introduce a general notion of decomposition into types; prove that a COEA factors uniquely as a direct sum of types I, II, and III; and obtain a generalization for COEAs of Ramsay’s fourfold decomposition of a complete orthomodular lattice.
- Publication:
-
Foundations of Physics
- Pub Date:
- October 2010
- DOI:
- 10.1007/s10701-009-9344-3
- arXiv:
- arXiv:1006.2795
- Bibcode:
- 2010FoPh...40.1543F
- Keywords:
-
- Effect algebra;
- Orthoalgebra;
- MV-algebra;
- Orthomodular poset;
- Orthomodular lattice;
- Modular ortholattice;
- Boolean algebra;
- von Neumann algebra;
- JW-algebra;
- Loomis dimension lattice;
- Types I;
- II;
- and III;
- Mathematics - Rings and Algebras;
- 06C15 (Primary);
- 17C65 (Secondary);
- 46L45
- E-Print:
- 18 pages