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.
Similar content being viewed by others
References
Avallone, A. and Vitolo, P.: Congruences and ideals of effect algebras, Order 20 (2003), 67–77.
Bennett, M. K. and Foulis, D. J.: Phi-symmetric effect algebras, Found. Phys. 25 (1995), 1699–1722.
Beran, L.: Orthomodular Lattices. Algebraic Approach, Academia Prague–D. Reidel, Dordrecht, 1984.
Bruns, G.: Block-finite orthomodular lattices, Canad. J. Math. 31 (1979), 961–985.
Bruns, G. and Greechie, R.: Some finiteness conditions for orthomodular lattices, Canad. J. Math. 34 (1982), 535–549.
Bruns, G. and Greechie, R.: Orthomodular lattices which can be covered by finitely many blocks, Canad. J. Math. 34 (1982), 696–699.
Bruns, G. and Greechie, R.: Blocks and commutators in orthomodular lattices, Algebra Universalis 27 (1990), 1–9.
Chang, C. C.: Algebraic analysis of many-valued logic, Trans. Amer. Math. Soc. 88 (1958), 467–490.
Chevalier, G. and Pulmannová, S.: Some ideal lattices in partial Abelian monoids and effect algebras, Order 17 (2000), 75–92.
Chovanec, F. and Kôpka, F.: D-lattices, Internat. J. Theor. Phys. 34 (1995), 1297–1302.
Cignoli, R., D’Ottaviano, I. M. L. and Mundici, D.: Algebraic Foundations of Many-valued Reasoning, Kluwer Academic Publ., Dordrecht, 2000.
Dvurečenskij, A. and Pulmannová, S.: New Trends in Quantum Structures, Kluwer Academic Publ./Ister Science Press, Dordrecht/Bratislava, 2000.
Foulis, D. and Bennett, M. K.: Effect algebras and unsharp quantum logics, Found. Phys. 24 (1994), 1331–1352.
Giuntini, R. and Greuling, H.: Toward a formal language for unsharp properties, Found. Phys. 19 (1994), 769–780.
Greechie, R. and Herman, L.: Commutator-finite orthomodular lattices, Order 1 (1985), 277–284.
Grätzer, G.: Universal Algebra, 2nd edn, Springer-Verlag, 1979, pp. 80–81.
Greechie, R., Foulis, D. and Pulmannová, S.: The center of an effect algebra, Order 12 (1995), 91–106.
Gudder, S. and Pulmannová, S.: Quotients of partial Abelian monoids, Algebra Universalis 38 (1997), 395–421.
Jenča, G. and Pulmannová, S.: Ideals and quotients in lattice ordered effect algebras, Soft Computing 5 (2001), 376–380.
Jenča, G. and Pulmannová, S.: Orthocomplete effect algebras, Proc. Amer. Math. Soc. 131 (2003), 2663–2671.
Jenča, G. and Riečanová, Z.: On sharp elements in lattice ordered effect algebras, Busefal 80 (1999), 24–29.
Kalmbach, G.: Orthomodular Lattices, Academic Press, London, 1983.
Kôpka, F. and Chovanec, F.: D-posets, Math. Slovaca 44 (1994), 21–34.
Maeda, F. and Maeda, S.: Theory of Symmetric Lattices, Springer-Verlag, Berlin, 1970.
Marsden, E.: The commutator and solvability in generalized orthomodular lattices, Pacific J. Math. 33 (1970), 357–361.
Pulmannová, S.: Congruences in partial Abelian semigroups, Algebra Universalis 37 (1997), 119–140.
Riečanova, Z.: Generalization of blocks for D-lattices and lattice ordered effect algebras, Internat. J. Theor. Phys. 39 (2000), 231–237.
Riečanová, Z.: Block-finite effect algebras and the existence of states, Demonstratio Math. 36 (2003), 507–517.
Author information
Authors and Affiliations
Corresponding author
Additional information
Mathematics Subject Classifications (2000)
Primary 06F05; Secondary 03G25, 81P10.
This research is supported by grant VEGA 2/3163/23.
Rights 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
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11083-004-5257-0