States on sharply dominating effect algebras (Q943441)

Sharply dominating effect algebras were introduced by \textit{S. P. Gudder} in 1998 [see Tatra Mt. Math. Publ. 15, 23--30 (1998; Zbl 0939.03073), Int. J. Theor. Phys. 37, No. 3, 915--923 (1998; Zbl 0932.03072)]. These are effect algebras in which, for every element \(a\), there is the smallest sharp element \(\hat a\) with \(\hat a \geq a\). An effect algebra is said to be archimedean if, for every \(x \neq 0\), only a finite number of multiples \(nx\) (i.e., sums \(x \oplus x \oplus \cdots \oplus x\) with \(n\) terms) exist in it. The main theorem: an atomic lattice effect algebra is archimedean and sharply dominating if and only if every of its nonzero elements \(x\) admits a basic decomposition, i.e., a decomposition into a sum of a unique sharp element and a unique \(\oplus\)-orthogonal set of unsharp elements each of which is a multiple of atoms. As an application, the state smearing theorem for such effect algebras is proved.