Skip to main content
Log in

Commutator-Finite D-Lattices

  • Published:
Order Aims and scope Submit manuscript

Abstract

Commutator-finite D-lattices as a generalization of commutator-finite orthomodular lattices are defined and their properties studied. A necessary and sufficient condition is found under which a D-lattice can be uniquely decomposed into a direct product of an MV-algebra and finitely many irreducible D-lattices which are not MV-algebras. This condition is satisfied if the D-lattice is orthocomplete or if all commutators are sharp. A condition under which a block-finite D-lattice is commutator-finite is found. Some necessary and sufficient conditions for the existence of states and valuations are proved, and some examples are given.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Similar content being viewed by others

References

  1. Avallone, A. and Vitolo, P.: Congruences and ideals of effect algebras, Order 20 (2003), 67–77.

    Article  Google Scholar 

  2. Bennett, M. K. and Foulis, D. J.: Phi-symmetric effect algebras, Found. Phys. 25 (1995), 1699–1722.

    Article  Google Scholar 

  3. Beran, L.: Orthomodular Lattices. Algebraic Approach, Academia Prague–D. Reidel, Dordrecht, 1984.

    Google Scholar 

  4. Bruns, G.: Block-finite orthomodular lattices, Canad. J. Math. 31 (1979), 961–985.

    Google Scholar 

  5. Bruns, G. and Greechie, R.: Some finiteness conditions for orthomodular lattices, Canad. J. Math. 34 (1982), 535–549.

    Google Scholar 

  6. Bruns, G. and Greechie, R.: Orthomodular lattices which can be covered by finitely many blocks, Canad. J. Math. 34 (1982), 696–699.

    Google Scholar 

  7. Bruns, G. and Greechie, R.: Blocks and commutators in orthomodular lattices, Algebra Universalis 27 (1990), 1–9.

    Article  Google Scholar 

  8. Chang, C. C.: Algebraic analysis of many-valued logic, Trans. Amer. Math. Soc. 88 (1958), 467–490.

    Google Scholar 

  9. Chevalier, G. and Pulmannová, S.: Some ideal lattices in partial Abelian monoids and effect algebras, Order 17 (2000), 75–92.

    Article  Google Scholar 

  10. Chovanec, F. and Kôpka, F.: D-lattices, Internat. J. Theor. Phys. 34 (1995), 1297–1302.

    Article  Google Scholar 

  11. Cignoli, R., D’Ottaviano, I. M. L. and Mundici, D.: Algebraic Foundations of Many-valued Reasoning, Kluwer Academic Publ., Dordrecht, 2000.

    Google Scholar 

  12. Dvurečenskij, A. and Pulmannová, S.: New Trends in Quantum Structures, Kluwer Academic Publ./Ister Science Press, Dordrecht/Bratislava, 2000.

    Google Scholar 

  13. Foulis, D. and Bennett, M. K.: Effect algebras and unsharp quantum logics, Found. Phys. 24 (1994), 1331–1352.

    Google Scholar 

  14. Giuntini, R. and Greuling, H.: Toward a formal language for unsharp properties, Found. Phys. 19 (1994), 769–780.

    Google Scholar 

  15. Greechie, R. and Herman, L.: Commutator-finite orthomodular lattices, Order 1 (1985), 277–284.

    Article  Google Scholar 

  16. Grätzer, G.: Universal Algebra, 2nd edn, Springer-Verlag, 1979, pp. 80–81.

  17. Greechie, R., Foulis, D. and Pulmannová, S.: The center of an effect algebra, Order 12 (1995), 91–106.

    Article  Google Scholar 

  18. Gudder, S. and Pulmannová, S.: Quotients of partial Abelian monoids, Algebra Universalis 38 (1997), 395–421.

    Article  Google Scholar 

  19. Jenča, G. and Pulmannová, S.: Ideals and quotients in lattice ordered effect algebras, Soft Computing 5 (2001), 376–380.

    Article  Google Scholar 

  20. Jenča, G. and Pulmannová, S.: Orthocomplete effect algebras, Proc. Amer. Math. Soc. 131 (2003), 2663–2671.

    Article  Google Scholar 

  21. Jenča, G. and Riečanová, Z.: On sharp elements in lattice ordered effect algebras, Busefal 80 (1999), 24–29.

    Google Scholar 

  22. Kalmbach, G.: Orthomodular Lattices, Academic Press, London, 1983.

    Google Scholar 

  23. Kôpka, F. and Chovanec, F.: D-posets, Math. Slovaca 44 (1994), 21–34.

    Google Scholar 

  24. Maeda, F. and Maeda, S.: Theory of Symmetric Lattices, Springer-Verlag, Berlin, 1970.

    Google Scholar 

  25. Marsden, E.: The commutator and solvability in generalized orthomodular lattices, Pacific J. Math. 33 (1970), 357–361.

    Google Scholar 

  26. Pulmannová, S.: Congruences in partial Abelian semigroups, Algebra Universalis 37 (1997), 119–140.

    Article  Google Scholar 

  27. Riečanova, Z.: Generalization of blocks for D-lattices and lattice ordered effect algebras, Internat. J. Theor. Phys. 39 (2000), 231–237.

    Article  Google Scholar 

  28. Riečanová, Z.: Block-finite effect algebras and the existence of states, Demonstratio Math. 36 (2003), 507–517.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Sylvia Pulmannová.

Additional information

Mathematics Subject Classifications (2000)

Primary 06F05; Secondary 03G25, 81P10.

This research is supported by grant VEGA 2/3163/23.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Pulmannová, S. Commutator-Finite D-Lattices. Order 21, 91–105 (2004). https://doi.org/10.1007/s11083-004-5257-0

Download citation

  • Received:

  • Revised:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11083-004-5257-0

Keywords

Navigation