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

projective geometrycategorical equivalencehypergraphorthoalgebraorthomodular posetBoolean subalgebra

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

• 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?)
• 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^\ast\)-algebras
• Filters and supports in orthoalgebras
• 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)

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

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)