Compressible effect algebras

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.