Abstract: Sachs 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, 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.
It is proved that an orthomodular lattice is determined (up to isomorphism) by its subalgebra lattice as well as by the poset of its Boolean subalgebras. Categorical implications of the results are derived.
Recommendations
Cites work
- A factor not anti-isomorphic to itself
- A topos perspective on the Kochen-Specker theorem. II: Conceptual aspects and classical analogues
- Category theory. An introduction
- Function algebras and the lattice of compactifications
- scientific article; zbMATH DE number 3807678 (Why is no real title available?)
- scientific article; zbMATH DE number 3245483 (Why is no real title available?)
- scientific article; zbMATH DE number 3348150 (Why is no real title available?)
- On the Lattice of Subalgebras of a Boolean Algebra
- Orthomodular structures as quantum logics. Transl. from the Slovak
- Regularity in quantum logic
- The Lattice of Subalgebras of a Boolean Algebra
- Topos perspective on the Kochen-Specker theorem. I: Quantum states as generalized valuations
Cited in
(19)- Representations of empirical set theories
- Subdirect decompositions of lattice effect algebras
- Orthomodular lattices as \(L\)-algebras
- Categories of orthogonality spaces
- Jordan invariants of von Neumann algebras given by abelian subalgebras and Choquet order on state spaces
- Boolean subalgebras of orthoalgebras
- Orthomodular lattices containing MO2 as a subalgebra
- Reconstructing an atomic orthomodular lattice from the poset of its Boolean sublattices
- scientific article; zbMATH DE number 3889596 (Why is no real title available?)
- From quantum-mechanical lattice of projections to smooth structure of \(\mathbb{R}^4\)
- scientific article; zbMATH DE number 4168747 (Why is no real title available?)
- scientific article; zbMATH DE number 1453802 (Why is no real title available?)
- Representations of strongly algebraically closed algebras
- The role of Halaš identity in orthomodular lattices.
- Orthogonal measures on state spaces and context structure of quantum theory
- Contextuality and the fundamental theorems of quantum mechanics
- Orthogeometries and AW*-algebras
- A BRIDGE BETWEEN Q-WORLDS
- Random world and quantum mechanics
This page was built for publication: Subalgebras of orthomodular lattices
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q651424)
