The center of a generalized effect algebra. (Q2450217): Difference between revisions

A \textit{generalized effect algebra} is obtained from an effect algebra if we do not require the existence of the greatest element. Its \textit{exocenter} is a Boolean algebra of mappings which, in effect algebras, correspond to projections on central ideals (equivalently, on direct summands), see \textit{D. J. Foulis} and \textit{S. Pulmannová} [Rep. Math. Phys. 68, No. 3, 347-371 (2011; Zbl 1257.81003)]. In contrast to it, the \textit{center} is a Boolean algebra of elements of a generalized effect algebra, which are linked to the projections from the exocenter. The authors clarify relations of these two notions. Then they prove that each centrally orthocomplete generalized effect algebra \(E\) can be uniquely decomposed into a direct sum of an effect algebra, \(E_1\), which contains the center of \(E\), and a generalized effect algebra, \(E_2\), whose center is trivial (\(\{0\}\)). No nonzero direct summand of \(E_2\) is an effect algebra.