Article
Keywords:
orthomodular lattice; commutator; quasivariety
Summary:
An orthomodular lattice $L$ is said to have fully nontrivial commutator if the commutator of any pair $x,y \in L$ is different from zero. In this note we consider the class of all orthomodular lattices with fully nontrivial commutators. We show that this class forms a quasivariety, we describe it in terms of quasiidentities and situate important types of orthomodular lattices (free lattices, Hilbertian lattices, etc.) within this class. We also show that the quasivariety in question is not a variety answering thus the question implicitly posed in [4].
References:
[2] Bruns G., Greechie R.:
Some finiteness conditions for orthomodular lattices. Canadian J. Math. 3 (1982), 535-549.
MR 0663303 |
Zbl 0494.06008
[3] Chevalier G.:
Commutators and Decomposition of Orthomodular Lattices. Order 6 (1989), 181-194.
MR 1031654
[4] Godowski R., Pták P.: Classes of orthomodular lattices defined by the state conditions. preprint.
[6] Grätzer G.:
Universal Algebra. 2nd edition, Springer-Verlag, New York, 1979.
MR 0538623
[8] Mayet R.:
Varieties of orthomodular lattices related to states. Algebra Universalis, Vol. 20, No 3 (1987), 368-396.
MR 0811695
[9] Pták P., Pulmannová S.:
Orthomodular structures as quantum logics. Kluwer Academic Publishers, Dordrecht/Boston/London, 1991.
MR 1176314
[10] Pulmannová S.:
Commutators in orthomodular lattices. Demonstratio Math. 18 (1985), 187-208.
MR 0816029