Boolean subalgebras of orthoalgebras

DOI10.1007/S11083-019-09483-6MaRDI QIDQ2279686zbMATH OpenOpenAlexWikidataFDO

Authors John Harding, Chris Heunen, Bert Lindenhovius, Mirko Navara

Publication date 13 December 2019

Published in Order (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1711.03748, http://hdl.handle.net/10467/96483

zbMATH Keywords

Boolean subalgebracategorical equivalencehypergraphorthoalgebraorthomodular posetprojective geometry

Mathematics Subject Classification ID

Quantum logic (03G12) Complemented lattices, orthocomplemented lattices and posets (06C15) Generalizations of Boolean algebras (06E75)

Abstract: We develop a direct method to recover an orthoalgebra from its poset of Boolean subalgebras. For this a new notion of direction is introduced. Directions are also used to characterize in purely order-theoretic terms those posets that are isomorphic to the poset of Boolean subalgebras of an orthoalgebra. These posets are characterized by simple conditions defining orthodomains and the additional requirement of having enough directions. Excepting pathologies involving maximal Boolean subalgebras of four elements, it is shown that there is an equivalence between the category of orthoalgebras and the category of orthodomains with enough directions with morphisms suitably defined. Furthermore, we develop a representation of orthodomains with enough directions, and hence of orthoalgebras, as certain hypergraphs. This hypergraph approach extends the technique of Greechie diagrams and resembles projective geometry. Using such hypergraphs, every orthomodular poset can be represented by a set of points and lines where each line contains exactly three points.

Recommendations

• Greechie diagrams of orthomodular partial algebras
• Small orthomodular partial algebras.
• scientific article; zbMATH DE number 1293536
• scientific article; zbMATH DE number 4177131
• A note on Boolean subsets of orthomodular posets.

Cites work

• Abelian subalgebras and the Jordan structure of a von Neumann algebra
• Active lattices determine \(\mathrm{AW}^\ast\)-algebras
• Constructions of quantum structures
• Dye's theorem and Gleason's theorem for AW^-algebras
• Filters and supports in orthoalgebras
• scientific article; zbMATH DE number 3751028 (Why is no real title available?)
• scientific article; zbMATH DE number 1517950 (Why is no real title available?)
• scientific article; zbMATH DE number 3807678 (Why is no real title available?)
• scientific article; zbMATH DE number 3273135 (Why is no real title available?)
• Isomorphisms of ordered structures of Abelian \(C^*\)-subalgebras of \(C^*\)-algebras
• Lattices and Compactifications, I
• On the Lattice of Subalgebras of a Boolean Algebra
• On the structure of orthomodular lattices satisfying the chain condition
• Orthoalgebras as pastings of Boolean algebras
• Partial Boolean algebras in a broader sense
• Piecewise Boolean algebras and their domains
• Subalgebras of orthomodular lattices
• The Lattice of Subalgebras of a Boolean Algebra
• Topos perspective on the Kochen-Specker theorem. I: Quantum states as generalized valuations

Cited in

(17)

• Boolean algebras as unions of chains of subalgebras
• Properties of Boolean orthoposets
• Categories of orthogonality spaces
• Topos quantum theory with short posets
• Low n Boolean Subalgebras
• scientific article; zbMATH DE number 4177131 (Why is no real title available?)
• A note on Boolean subsets of orthomodular posets.
• On subalgebras of Boolean interval algebras
• Piecewise Boolean algebras and their domains
• Domains of commutative C*-subalgebras
• On boolean subalgebras of (ω₁)/ctble
• Orthogeometries and AW*-algebras
• A characterisation of orthomodular spaces by Sasaki maps
• A BRIDGE BETWEEN Q-WORLDS
• Subalgebras of orthomodular lattices
• Orthoalgebras as pastings of Boolean algebras
• Quotients of Boolean algebras and regular subalgebras

This page was built for publication: Boolean subalgebras of orthoalgebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2279686)