Remarks on the sequential effect algebras

From MaRDI portal



Abstract: In this paper, first, we answer affirmatively an open problem which was presented in 2005 by professor Gudder on the sub-sequential effect algebras. That is, we prove that if (E,0,1,oplus,circ) is a sequential effect algebra and A is a commutative subset of E, then the sub-sequential effect algebra generated by A is also commutative. Next, we also study the following uniqueness problem: If na=nb=c for some positive integer ngeq2, then under what conditions a=b hold? We prove that if c is a sharp element of E and a|b, then a=b. We give also two examples to show that neither of the above two conditions can be discarded.


\textit{S. Gudder} [Int. J. Theor. Phys. 44, No.~12, 2199--2206 (2005; Zbl 1110.81014)] put a question if the subalgebra of a sequential effect algebra generated by a commutative subset is itself commutative. Using standard algebraic constructions, the authors demonstrate in the paper under review that the answer to the question is positive. Another theorem says that, in a sequential effect algebra, the equality \(na=nb=c\) with \(n\geq 2\) implies that \(a=b\) whenever \(a\) and \(b\) commute and \(c\) is sharp. It is shown by examples that neither of the three assumptions in the latter theorem can be discarded.











This page was built for publication: Remarks on the sequential effect algebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2390694)