Sharp and Meager Elements in Orthocomplete Homogeneous Effect Algebras

We prove that every orthocomplete homogeneous effect algebra is sharply dominating. Let us denote the greatest sharp element below x by x (a dagger"). For every element x of an orthocomplete homogeneous effect algebra and for every block B with x aaEuro parts per thousand B, the interval [x (a dagger"),x] is a subset of B. For every meager element (that means, an element x with x (a dagger") = 0), the interval [0,x] is a complete MV-effect algebra. As a consequence, the set of all meager elements of an orthocomplete homogeneous effect algebra forms a commutative BCK-algebra with the relative cancellation property. We prove that a complete lattice ordered effect algebra E is completely determined by the complete orthomodular lattice S(E) of sharp elements, the BCK-algebra M(E) of meager elements and a mapping h:S(E)-> 2 (M(E)) given by h(a) = [0,a] a (c) aEuro parts per thousand M(E).