orthomodular lattice; commutator; quasivariety
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 .
 Bruns G., Greechie R.: Some finiteness conditions for orthomodular lattices
. Canadian J. Math. 3 (1982), 535-549. MR 0663303
| Zbl 0494.06008
 Chevalier G.: Commutators and Decomposition of Orthomodular Lattices
. Order 6 (1989), 181-194. MR 1031654
 Godowski R., Pták P.: Classes of orthomodular lattices defined by the state conditions. preprint.
 Grätzer G.: Universal Algebra
. 2nd edition, Springer-Verlag, New York, 1979. MR 0538623
 Mayet R.: Varieties of orthomodular lattices related to states
. Algebra Universalis, Vol. 20, No 3 (1987), 368-396. MR 0811695
 Pták P., Pulmannová S.: Orthomodular structures as quantum logics
. Kluwer Academic Publishers, Dordrecht/Boston/London, 1991. MR 1176314
 Pulmannová S.: Commutators in orthomodular lattices
. Demonstratio Math. 18 (1985), 187-208. MR 0816029