Sharp and meager elements in orthocomplete homogeneous effect algebras (Q2270172): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1007/s11083-009-9137-5 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2008814245 / rank | |||
Normal rank |
Revision as of 03:14, 20 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Sharp and meager elements in orthocomplete homogeneous effect algebras |
scientific article |
Statements
Sharp and meager elements in orthocomplete homogeneous effect algebras (English)
0 references
15 March 2010
0 references
According to [\textit{G. Jenča}, Bull. Aust. Math. Soc. 64, No.~1, 81--98 (2001; Zbl 0985.03063)], a homogeneous effect algebra is one in which \(u \leq v_1 \oplus v_2 \leq u'\) implies that \(u = u_1 \oplus u_2\) for some \(u_1 \leq v_1\) and \(u_2 \leq v_2\). An element \(x\) of an effect algebra \(E\) is said to be sharp if \(x \wedge x'= 0\), and meager if \(0\) is the single sharp element below \(x\). If \(E\) is lattice-ordered and complete, then the set \(S(E)\) of all its sharp elements is known to be a complete sublattice. The author shows that if \(E\) is orthocomplete and homogeneous, then the subset \(M(E)\) of its meager elements forms a commutative BCK-algebra with the relative cancellation property. The main result of the paper states that a complete lattice effect algebra \(E\) is, up to isomorphism, characterised by the triple \((S(E), M(E), h)\), where \(h\) is the mapping that associates the lower end \(\{x \in M(E): x \leq a\}\) of \(M(E)\) to every \(a \in S(E)\). The proof depends on the fact that \(E\) is actually orthocomplete and homogeneous. An explicit construction of a copy of \(E\), resemblig the triple construction of Stone algebras, is presented. The inverse problem -- which triples consisting of a lattice effect algebra \(S\), BCK-algebra \(M\) and an appropriate function \(h\) arise from a complete lattice effect algebra -- is not addressed in the paper.
0 references
BCK-algebra
0 references
effect algebra
0 references
meager element
0 references
orthomodular lattice
0 references
sharp element, triple construction
0 references