Sums and products of interval algebras (Q1345424)

An effect algebra is a partial algebra \((A,0,u,\oplus)\) with fixed zero element 0, fixed unit element \(u\) and with partial binary operation \(\oplus\) such that (1) if \(p\oplus q\) is defined then \(q\oplus p\) is defined and \(p\oplus q= q\oplus p\); (2) if \(q\oplus r\) and \(p\oplus(q\oplus r)\) are defined then \(p\oplus q\), \((p\oplus q)\oplus r\) are defined and \(p\oplus (q\oplus r)= (p\oplus q)\oplus r\); (3) for every \(p\in A\) there exists the unique \(q\in A\) such that \(p\oplus q\) is defined and \(p\oplus q= u\). The basic examples of these algebras are obtained in the following manner. Let \(G\) be an additive partially ordered Abelian group. Fix a non-negative element \(u\in G\). Then the interval \([0, u]\) is an effect algebra which is called an interval effect algebra. For any interval effect algebra \([0,u]\) there exists a universal additive partially ordered Abelian group for which \([0, u]\) is an interval effect algebra. If \(A\), \(B\) are two effect algebras with units \(u\in A\), \(v\in B\), then \(A\times B\) is an effect algebra with the unit \((u, v)\). Moreover, if \(A\), \(B\) have the same zero and unit elements \((0, u)\) then \(A\dotplus B= (A\triangle B)\cup \{0, u\}\) is again an effect algebra. It is shown that the class of interval effect algebras is closed under direct products, \(\dotplus\), and tensor products. The authors introduce a new class of interval algebras \(A\) which are named \(\chi\)-algebras. They are obtained from partially ordered Abelian groups \(\mathbb{Z}^ X\). The unit of \(A\) is equal to the constant map \(\chi(x)= 1\) for all \(x\in X\). It is shown that every \(\chi\)-algebra is an orthoalgebra.