Type-decomposition of an effect algebra (Q535623): Difference between revisions

The authors study centrally orthocomplete effect algebras, i.e. effect algebras with the property that every family of elements dominated by an orthogonal family of central elements has a supremum. They introduce a general notion of decomposition into types, prove that centrally orthocomplete effect algebra decomposes uniquely to a direct sum of types I--III, and obtain a generalization of \textit{A. Ramsay}'s fourfold decomposition of a complete orthomodular lattice [Trans. Am. Math. Soc. 116, 9--31 (1965; Zbl 0163.26206)].