Algebra universalis

, Volume 67, Issue 1, pp 81–104 | Cite as

Quotients of dimension effect algebras



We show that the quotient of a dimension effect algebra by its dimension equivalence relation is a unital bounded lattice-ordered positive partial abelian monoid that satisfies a version of the Riesz decomposition property. For a dimension effect algebra of finite type, the quotient is a centrally orthocomplete Stone–Heyting MV-effect algebra; moreover, an orthocomplete effect algebra in which equality is a dimension equivalence relation is the same thing as a complete Stone–Heyting MV-effect algebra.

2010 Mathematics Subject Classification

Primary: 06F99 Secondary: 08A55 03G12 

Keywords and phrases

effect algebra MV-effect algebra Stone–Heyting algebra pseudocomplement orthocomplete centrally orthocomplete dimension effect algebra dimension equivalence relation finite type 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Avallone A., Vitolo P.: Lattice uniformities on effect algebras. Internat. J. Theoret. Phys. 44, 793–806 (2005)MathSciNetMATHCrossRefGoogle Scholar
  2. 2.
    Bennett M.K., Foulis D.J.: Phi-symmetric effect algebras. Found. Phys. 25, 1699–1722 (1995)MathSciNetCrossRefGoogle Scholar
  3. 3.
    Bennett M.K., Foulis D.J.: Interval and scale effect algebras. Adv. in Appl. Math. 19, 200–215 (1997)MathSciNetMATHCrossRefGoogle Scholar
  4. 4.
    Beran L.: Orthomodular Lattices, An Algebraic Approach. Mathematics and its Applications, vol. 18. Reidel, Dordrecht (1985)Google Scholar
  5. 5.
    Birkhoff G.: Lattice Theory, 3rd edn. American Mathematical Society Colloquium Publications, vol. 25. American Mathematical Society, Providence (1979)Google Scholar
  6. 6.
    Blyth T.S.: Lattices and Ordered Algebraic Structures. Springer, London (2005)MATHGoogle Scholar
  7. 7.
    Chang C.: Algebraic analysis of many-valued logic. Trans. Amer. Math. Soc. 88, 467–490 (1958)MathSciNetMATHCrossRefGoogle Scholar
  8. 8.
    Chovanec F., Kôpka F.: Boolean D-posets. Tatra Mt. Math. Publ. 10, 183–197 (1997)MathSciNetMATHGoogle Scholar
  9. 9.
    Cohn P.M.: Universal Algebra, 2nd edn. Mathematics and its Applications, vol. 6. Reidel, Dordrecht (1981)Google Scholar
  10. 10.
    Dvurečenskij A., Pulmannová S.: New Trends in Quantum Structures. Kluwer, Dordrecht (2000)MATHGoogle Scholar
  11. 11.
    Foulis D.J.: MV and Heyting effect algebras. Found. Phys. 30, 1687–1706 (2000)MathSciNetCrossRefGoogle Scholar
  12. 12.
    Foulis D.J., Bennett M.K.: Effect algebras and unsharp quantum logic. Found. Phys. 24, 1331–1352 (1994)MathSciNetMATHCrossRefGoogle Scholar
  13. 13.
    Foulis D.J., Pulmannová S.: Centrally orthocomplete effect algebras. Algebra Universalis 64, 283–307 (2010)MathSciNetMATHCrossRefGoogle Scholar
  14. 14.
    Foulis D.J., Pulmannová S.: Hull mappings and dimension effect algebras. Math. Slovaca 61, 485–522 (2011)MathSciNetMATHCrossRefGoogle Scholar
  15. 15.
    Foulis D.J., Greechie R.J., Bennett M.K.: The transition to unigroups. Proceedings of the International Quantum Structures Association (Berlin, 1996). Internat. J. Theoret. Phys. 37, 45–63 (1998)MathSciNetMATHCrossRefGoogle Scholar
  16. 16.
    Foulis D.J., Greechie R.J., Rüttimann G.T., Greechie R.J.: Filters and supports in orthoalgebras. Internat. J. Theoret. Phys. 31, 789–807 (1992)MathSciNetMATHCrossRefGoogle Scholar
  17. 17.
    Goodearl, K.R., Wehrung, F.: The complete dimension theory of partially ordered systems with equivalence and orthogonality. Mem. Amer. Math. Soc. 831 (2005)Google Scholar
  18. 18.
    Greechie R.J., Foulis D.J., Pulmannová S.: The center of an effect algebra. Order 12, 91–106 (1995)MathSciNetMATHCrossRefGoogle Scholar
  19. 19.
    Jenča G.: The block structure of complete lattice ordered effect algebras. J. Aust. Math. Soc. 83, 181–216 (2007)MathSciNetMATHCrossRefGoogle Scholar
  20. 20.
    Jenča G., Pulmannová S.: Quotients of partial abelian monoids and the Riesz decomposition property. Algebra Universalis 47, 443–477 (2002)MathSciNetMATHCrossRefGoogle Scholar
  21. 21.
    Jenča G., Pulmannová S.: Orthocomplete effect algebras. Proc. Amer. Math. Soc. 131, 2663–2671 (2003)MathSciNetMATHCrossRefGoogle Scholar
  22. 22.
    Kalinin, V.V.: Orthomodular partially ordered sets with dimension. Algebra i logika 15, 535–557 (1987) (Russian)MathSciNetGoogle Scholar
  23. 23.
    Kalmbach G.: Orthomodular Lattices. Academic Press, London (1983)MATHGoogle Scholar
  24. 24.
    Kalmbach G.: Measures and Hilbert Lattices. World Scientific, Singapore (1986)MATHGoogle Scholar
  25. 25.
    Loomis, L.H.: The lattice theoretic background of the dimension theory of opertor algebras. Mem. Amer. Math. Soc. 18 (1955)Google Scholar
  26. 26.
    Maeda S.: Dimension function on certain general lattices. J. Sci. Hiroshima Univ. A 19, 211–237 (1955)MATHGoogle Scholar
  27. 27.
    Ramsay A.: Dimension theory in complete weakly modular orthocomplemented lattices. Trans. Amer. Math. Soc. 116, 9–31 (1965)MathSciNetMATHCrossRefGoogle Scholar
  28. 28.
    Riecanová, Z.: Compatibility and central elements in effect algebras. Fuzzy sets, Part I (Liptovský Ján, 1998) Tatra Mt. Math. Publ. 16, 151–158 (1999)Google Scholar
  29. 29.
    Riecanová Z.: Orthogonal sets in effect algebras. Demonstratio Math. 34, 525–532 (2001)MathSciNetMATHGoogle Scholar
  30. 30.
    Riecanová Z.: Pseudocomplemented lattice effect algebras and existence of states. Inform. Sci. 179, 529–534 (2009)MathSciNetMATHCrossRefGoogle Scholar
  31. 31.
    Sherstnev A.N.: On boolean logics. Ucebnyje zapisky Kazanskogo universiteta 2, 48–62 (1968) (Russian)Google Scholar
  32. 32.
    Sikorski R.: Boolean Algebras, 2nd edn. Academic Press, New York; Springer (1964)MATHGoogle Scholar
  33. 33.
    Tkadlec J.: Atomistic and orthoatomistic effect algebras. J. Math. Phys. 49, 053505 (2008)MathSciNetCrossRefGoogle Scholar

Copyright information

© Springer Basel AG 2012

Authors and Affiliations

  1. 1.Department of Mathematics and StatisticsUniversity of MassachusettsAmherstUSA
  2. 2.Mathematical InstituteSlovak Academy of SciencesBratislavaSlovakia

Personalised recommendations