Every effect algebra can be made into a total algebra (Q1042413)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Every effect algebra can be made into a total algebra |
scientific article |
Statements
Every effect algebra can be made into a total algebra (English)
0 references
14 December 2009
0 references
We recall that an effect algebra is a partial structure \((E,+,0,1)\) such that \(\oplus\) is commutative, associative, and (i) for any \(a \in E\) there is a unique \(a'\in E\) such that \(a+ a=1,\) (ii) if \(a+ 1\) is defined in \(E,\) then \(a=0.\) The authors generalize orthomodular posets and orthoalgebras. The paper under review shows that every such partial algebra can be made into a total algebra \((E;\oplus, ^*,0).\) The proof of this result uses the so-called basic algebras, developed by the same authors.
0 references
effect algebra
0 references
commutative directoid
0 references
weak basic algebra
0 references