Triple representation theorem for orthocomplete homogeneous effect algebras (Q1935012): Difference between revisions

Let \(E\) be an effect algebra, i.e., a partial algebra \((E;\oplus,0,1)\) such that \(\oplus\) is commutative and associative, and (i) for every \(x \in E\), there is a unique element \(x'\in E\) such that \(x\oplus x'=1\), and (ii) if \(1\oplus x\) is defined in \(E,\) then \(x =0\). An effect algebra is \textit{homogeneous} if for \(u,v_1,v_2\) such that \(u \leq v_1 \oplus v_2\leq u'\) there are \(u_1,u_2\) such that \(u_1\leq v_1,\) \(u_2 \leq v_2,\) and \(u=u_1\oplus u_2\). The paper under review studies the set of meager elements, the set of sharp elements, and the center of meager-orthocomplete homogeneous effect algebras. In addition, the triple representation theorem for sharply dominating meager-orthocomplete homogeneous effect algebras is given; this result characterizes effect algebras in the class of homogeneous meager-orthocomplete sharply dominating effect algebras.