Compressible effect algebras

  • Gudder S
  • 2


    Mendeley users who have this article in their library.
  • 5


    Citations of this article.


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.

Author-supplied keywords

  • Compressions
  • Effect algebras
  • Sequential products

Get free article suggestions today

Mendeley saves you time finding and organizing research

Sign up here
Already have an account ?Sign in

Find this document


  • Stan Gudder

Cite this document

Choose a citation style from the tabs below

Save time finding and organizing research with Mendeley

Sign up for free