Abstract
We prove that the following three conditions on a modular ortholattice L with respect to a given variety of modular ortholattices, \({\mathcal{V}}\), are equivalent: L is in the variety of modular ortholattices generated by the finite-dimensional members of \({\mathcal{V}}\); L can be embedded in an atomisticmember of \({\mathcal{V}}\); L has an orthogeometric representation in an anisotropic orthogeometry \({{(Q,\bot), \,\,{\rm where}\,\, [0, u] \in \mathcal{V} \,\,{\rm for\,\, all}\,\, u \in L_{\rm fin}(Q)}}\).
Similar content being viewed by others
References
Baer R.: Polarities in finite projective planes, Bull. Amer. Math. Soc. 51, 77–93 (1946)
Birkhoff G, von Neumann J.: The logic of quantum mechanics, Ann. of Math. 37, 823–843 (1936)
Bruns G.: Varieties of modular ortholattices, Houston J. Math. 9, 1–7 (1983)
Faure C.A., Frölicher A.: Modern Projective Geometry. Kluwer, Dordrecht (2000)
Grätzer G.: General Lattice Theory, 2nd edn. Birkhäuser, Basel (1998)
Harding J.: Decidability of the equational theory of the continuous geometry CG(\({\mathbb{F}}\)), J. Philos. Logic 42, 461–465 (2013)
Herrmann C.: On representations of complemented modular lattices with involution, Algebra Universalis 61, 339–364 (2009)
Herrmann C.: On the equational theory of projection lattices of finite von Neumann factors, J. Symb. Logic 75, 1102–1110 (2010)
Herrmann C., Roddy M.S.: Proatomic modular ortholattices: Representation and equational theory, Note di matematica e fisica 10, 55–88 (1999)
Herrmann C., Roddy M.S.: A note on the equational theory of modular ortholattices, Algebra Universalis 44, 165–168 (2000)
Herrmann C., Roddy M.S.: Three ultrafilters in a modular logic, Internat. J. Theoret. Phys. 50, 3821–3827 (2011)
Herrmann C., Roddy M.S.: On geometric representations of modular ortholattices, Algebra Universalis 71, 285–297 (2014)
Holland Jr., S.S.: The current interest in orthomodular lattices. In: Abbott, J.C. (ed.) Trends in Lattice Theory, pp. 41–126. van Norstrand, New York (1970)
Kalmbach, G: MR0699045 (84j:06010)
von Neumann J.: Continuous geometries and examples of continuous geometries. Proc. Nat. Acad. Acad. Sci. U.S.A 22, 707–713 (1936)
Roddy M. S.: Varieties of modular ortholattices, Order 3, 405–426 (1987)
Author information
Authors and Affiliations
Corresponding author
Additional information
Presented by F. Wehrung.
Rights and permissions
About this article
Cite this article
Herrmann, C., Roddy, M.S. On varieties of modular ortholattices that are generated by their finite-dimensional members. Algebra Univers. 72, 349–357 (2014). https://doi.org/10.1007/s00012-014-0305-0
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00012-014-0305-0