Interval and scale effect algebras (Q1366270): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Removed claims |
||
Property / author | |||
Property / author: Mary Katherine Bennett / rank | |||
Property / author | |||
Property / author: David J. Foulis / rank | |||
Property / reviewed by | |||
Property / reviewed by: Nicolas Hadjisavvas / rank | |||
Revision as of 15:33, 12 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Interval and scale effect algebras |
scientific article |
Statements
Interval and scale effect algebras (English)
0 references
10 September 1997
0 references
A quadruple \((E, \oplus, 0,u)\) consisting of a set \(E\), a partially defined binary operation \(\oplus\), and two elements \(0,u\in E\) is called an effect algebra if \(\oplus\) is commutative and associative, satisfies the zero-one law (i.e. if \(p\oplus u\) is defined, then \(p= 0)\) and the orthosupplement law \((\forall p\in E\), \(\exists!q \in E\) such that \(u= p\oplus q)\). Given a partially ordered abelian group \(G\) and \(u\in G\), the interval \(G^+ [0,u]: =\{p\in G: 0\leq p \leq u\}\) is an effect algebra with \(p\oplus q= p+q\), defined whenever \(p+q\leq u\). Such effect algebras are called interval algebras. In this paper it is shown that for every interval algebra \((E, \oplus, 0,u)\) there exists a partially ordered abelian group \(G\) containing \(E\) such that: \(E=G^+ [0,u]\), every element of \(G\) is a difference of finite sums of elements of \(E\), and every group-valued measure \(\varphi: E\to H\) can be extended to a group homomorphism \(\varphi^*: G\to H\). Such a group \(G\) is called universal ambient group for \(E\). It is also shown that if an effect algebra admits an order-determining set of probability measures, then it is an interval algebra. Finally, scale algebras (i.e. totally ordered effect algebras) are considered. It is shown that a scale algebra \(E\) admits a unique probability measure \(\omega\); the latter is positive (i.e. \(\omega (p)=0\) implies \(p=0)\) iff \(E\) is archimedean. Examples of nonarchimedean scale algebras are also given.
0 references
effect algebra
0 references
interval algebras
0 references
partially ordered abelian group
0 references
group-valued measure
0 references
group homomorphism
0 references
universal ambient group
0 references
scale algebras
0 references