Central elements of effect algebras
An element \(a\) of an effect algebra \((E,0,1,\oplus)\) is called principal, if \(b\leq a, c\leq a\) implies \(b\oplus c\leq a\). An element \(a\) of \(E\) is called central, if (1) \(a\) and its orthosupplement \(a'\) are principal, and (2) \(b=(b\wedge a)\oplus(b\wedge a')\) for any \(b\in L\). The author shows that condition (2) on \(a\) may be weakened to (2'): \(b\wedge a = b\wedge a'=0\) implies \(b=0\), and the sets \([0,a]\cap[0,b], [0,a']\cap[0,b]\) have maximal elements for any \(b\in E\). This generalizes the authors result from [Tatra Mt. Math. Publ. 10, 55--62 (1997; Zbl 0915.06003)].
- Effect algebras with the maximality property
- Subalgebras, intervals, and central elements of generalized effect algebras
- Weakly Jauch-Piron states in effect algebras
- Atomic sequential effect algebras
- Sharp and principal elements in effect algebras
- Central elements in pseudoeffect algebras
- Note on generalizations of orthocomplete and lattice effect algebras
- scientific article; zbMATH DE number 1508963 (Why is no real title available?)
- Regular elements and normal elements in effect algebras
- An atomic MV-effect algebra with non-atomic center
- Sharp elements in effect algebras
- Common generalizations of orthocomplete and lattice effect algebras
- Properties of effect algebras based on sets of upper bounds
- Central elements of atomic effect algebras
This page was built for publication: Central elements of effect algebras
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1768696)
