Skip to main content
Log in

Subalgebras of Orthomodular Lattices

  • Published:
Order Aims and scope Submit manuscript

Abstract

Sachs (Can J Math 14:451–460, 1962) showed that a Boolean algebra is determined by its lattice of subalgebras. We establish the corresponding result for orthomodular lattices. We show that an orthomodular lattice L is determined by its lattice of subalgebras Sub(L), as well as by its poset of Boolean subalgebras BSub(L). The domain BSub(L) has recently found use in an approach to the foundations of quantum mechanics initiated by Butterfield and Isham (Int J Theor Phys 37(11):2669–2733, 1998, Int J Theor Phys 38(3):827–859, 1999), at least in the case where L is the orthomodular lattice of projections of a Hilbert space, or von Neumann algebra. The results here may add some additional perspective to this line of work.

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.

Institutional subscriptions

Similar content being viewed by others

References

  1. Beran, L.: Orthomodular Lattices. Algebraic Approach. Academia, Praha & D. Reidel, Dordrecht (1984)

  2. Birkhoff, G.: Lattice Theory, 3rd edn. American Mathematical Society Colloquium Publications, vol. XXV. American Mathematical Society, Providence (1967)

  3. Butterfield, J., Isham, C.J.: A topos perspective on the Kochen–Specker theorem. II. Conceptual aspects and classical analogues. Int. J. Theor. Phys. 38(3), 827–859 (1999)

    Article  MathSciNet  MATH  Google Scholar 

  4. Connes, A.: A factor not anti-isomorphic to itself. Ann. Math. 101(3), 536–554 (1962)

    Article  MathSciNet  Google Scholar 

  5. Doering, A., Harding, J.: Abelian subalgebras and the Jordan structure of a von Neumann algebra (submitted)

  6. Grätzer, G., Koh, K.M., Makkai, M.: On the lattice of subalgebras of a Boolean algebra. Proc. Am. Math. Soc. 36, 87–92 (1972)

    Article  MATH  Google Scholar 

  7. Harding, J.: Regularity in quantum logic. Int. J. Theor. Phys. 37(4), 1173–1212 (1998)

    Article  MathSciNet  MATH  Google Scholar 

  8. Herrlich, H., Strecker, G.: Category Theory. An Introduction. Sigma Series in Pure Mathematics, vol. 1, 3rd edn. Heldermann, Lemgo (2007)

    Google Scholar 

  9. Isham, C.J., Butterfield, J.: Topos perspective on the Kochen–Specker theorem. I. Quantum states as generalized valuations. Int. J. Theor. Phys. 37(11), 2669–2733 (1998)

    Article  MathSciNet  MATH  Google Scholar 

  10. Kalmbach, G.: Orthomodular Lattices. London Mathematical Society Monographs, vol. 18. Academic, London (1983)

    Google Scholar 

  11. Maeda, F., Maeda, S.: Theory of Symmetric Lattices. Die Grundlehren der Mathematischen Wissenschaften, Band 173. Springer, New York (1970)

    Google Scholar 

  12. Mendivil, F.: Function algebras and the lattice of compactifications. Proc. Am. Math. Soc. 127(6), 1863–1871 (1999)

    Article  MathSciNet  MATH  Google Scholar 

  13. Monk, D., Bonnet, R. (eds.): Handbook of Boolean Algebras, vol. 2. North-Holland, Amsterdam (1989)

    Google Scholar 

  14. Pták, P., Pulmannová, S.: Orthomodular structures as quantum logics. In: Fundamental Theories of Physics, vol. 44Kluwer, Dordrecht (1991)

    Google Scholar 

  15. Sachs, D.: The lattice of subalgebras of a Boolean algebra. Can. J. Math. 14, 451–460 (1962)

    Article  MathSciNet  MATH  Google Scholar 

  16. van den Berg, B., Heunen, C.: Noncommutativity as a Colimit. arXiv:1003.3618v1. Last accessed 19 March 2010

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to John Harding.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Harding, J., Navara, M. Subalgebras of Orthomodular Lattices. Order 28, 549–563 (2011). https://doi.org/10.1007/s11083-010-9191-z

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11083-010-9191-z

Keywords

Navigation