Boolean subalgebras of orthoalgebras

DOI10.1007/S11083-019-09483-6zbMATH Open1442.06003arXiv1711.03748OpenAlexW2767830354WikidataQ128228682 ScholiaQ128228682MaRDI QIDQ2279686FDOQ2279686

Bert Lindenhovius, John Harding, Mirko Navara, Chris Heunen

Publication date: 13 December 2019

Published in: Order (Search for Journal in Brave)

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.

Full work available at URL: https://arxiv.org/abs/1711.03748

Recommendations

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

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Filters and supports in orthoalgebras
• Dye's theorem and Gleason's theorem for \(AW^\ast\)-algebras
• Title not available (Why is that?)
• Topos perspective on the Kochen-Specker theorem. I: Quantum states as generalized valuations
• Isomorphisms of ordered structures of Abelian \(C^*\)-subalgebras of \(C^*\)-algebras
• Abelian subalgebras and the Jordan structure of a von Neumann algebra
• Lattices and Compactifications, I
• Active lattices determine \(\mathrm{AW}^\ast\)-algebras
• Title not available (Why is that?)
• On the structure of orthomodular lattices satisfying the chain condition
• Subalgebras of orthomodular lattices
• Partial Boolean algebras in a broader sense
• The Lattice of Subalgebras of a Boolean Algebra
• On the Lattice of Subalgebras of a Boolean Algebra
• Orthoalgebras as pastings of Boolean algebras
• Piecewise Boolean Algebras and Their Domains

Cited In (13)

• Properties of Boolean orthoposets
• Quotients of Boolean algebras and regular subalgebras
• Domains of commutative C*-subalgebras
• A BRIDGE BETWEEN Q-WORLDS
• Low n Boolean Subalgebras
• On subalgebras of Boolean interval algebras
• Title not available (Why is that?)
• Title not available (Why is that?)
• Topos quantum theory with short posets
• On boolean subalgebras of (ω₁)/ctble
• Boolean algebras as unions of chains of subalgebras
• A characterisation of orthomodular spaces by Sasaki maps
• Categories of orthogonality spaces

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)