Compressible effect algebras

Citations of this article
Mendeley users who have this article in their library.
Get full text


We define a special type of additive map J on an effect algebra E called a compression. We call J(1) the focus of J and if p is the focus of a compression then p is called a projection. The set of projections in E is denoted by P(E). A compression J is direct if J(a) ≤ a for all a ∈ E. We show that direct compressions are equivalent to projections onto components of cartesian products. An effect algebra E is said to be compressible if every compression on E is uniquely determined by its focus and every compression on E has a supplement. We define and characterize the commutant C(p) of a projection p and show that a compression with focus p is direct if and only if C(p) = E. We show that P(E) is an orthomodular poset. It is proved that the cartesian product of effect algebras is compressible if and only if each component is compressible. We then consider compressible sequential effect algebras, Lüders maps and conditional probabilities.




Gudder, S. (2004). Compressible effect algebras. Reports on Mathematical Physics, 54(1), 93–114.

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free