Musings about the triple representation theorem for effect algebras (Q2376919): Difference between revisions

The main contribution of the paper is an extension of the class of effect algebras satisfying the so-called Triple Representation Theorem, originally stated for complete lattice effect algebras in [\textit{G. Jenča}, ibid. 27, No. 1, 41--61 (2010; Zbl 1193.03084)]. An element \(x\) of an effect algebra is called \textit{sharp} if \(x\land x'=0\) and \(x\) is called \textit{meager} if there is no sharp element \(v\) such that \(0<v\leq x\). The Triple Representation Theorem says that (some) effect algebras are uniquely determined by the following three items:{\parindent=0.6cm\begin{itemize}\item[(i)] the sub-effect algebra of all sharp elements,\item[(ii)] the generalized effect algebra of all meager elements,\item[(iii)] the ordering between meager and sharp elements, i.e., the information which meager elements are dominated by which sharp elements. \end{itemize}}