The Cone of Functionals on the Cuntz Semigroup

The functionals on an ordered semigroup $S$ in the category $\mathbf{Cu}$ - a category to which the Cuntz semigroup of a C*-algebra naturally belongs - are investigated. After appending a new axiom to the category $\mathbf{Cu}$, it is shown that the "realification" $S_{\mathsf{R}}$ of $S$ has the same functionals as $S$ and, moreover, is recovered functorially from the cone of functionals of $S$. Furthermore, if $S$ has a weak Riesz decomposition property, then $S_{\mathsf{R}}$ has refinement and interpolation properties which imply that the cone of functionals on $S$ is a complete distributive lattice. These results apply to the Cuntz semigroup of a C*-algebra. At the level of C*-algebras, the operation of realification is matched by tensoring with a certain stably projectionless C*-algebra.

Perfect effect algebras are categorically equivalent with Abelian interpolation po-groups

We introduce perfect effect algebras and we show that every perfect algebra is an interval in the lexicographical product of the group of all integers with an Abelian directed interpolation po-group. To show this we introduce prime ideals of effect algebras with the Riesz decomposition property (RDP). We show that the category of perfect effect algebras is categorically equivalent to the category of Abelian directed interpolation po-groups. Moreover, we prove that any perfect effect algebra is a subdirect product of antilattice effect algebras with the RDP.

Central elements and Cantor-Bernstein's theorem for pseudo-effect algebras

Pseudo-effect algebras are partial algebras (E; +, 0, 1) with a partially defined addition + which is not necessary commutative and with two complements, left and right ones. We define central elements of a pseudo-effect algebra and the centre, which in the case of MV-algebras coincides with the set of Boolean elements and in the case of effect algebras with the Riesz decomposition property central elements are only characteristic elements. If E satisfies general comparability, then E is a pseudo MV-algebra. Finally, we apply central elements to obtain a variation of the Cantor-Bernstein theorem for pseudo-effect algebras.