Completely hereditarily atomic OMLS

DOI10.1515/MS-2024-0080MaRDI QIDQ6634061zbMATH OpenFDO

Authors John Harding, Andre Kornell

Publication date 6 November 2024

Published in Mathematica Slovaca (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1515/MS-2024-0080

zbMATH Keywords

2-covering propertyalgebraiccompletely hereditarily atomiccovering propertydirectly irreducibleheightKalmbach's constructionKeller's constructionortholatticeorthomodular lattice

Mathematics Subject Classification ID

Complemented lattices, orthocomplemented lattices and posets (06C15) Inner product spaces and their generalizations, Hilbert spaces (46C99) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10)

Review text

An orthomodular lattice (OML) is an ortholattice \(\mathbf L=(L,\vee,\wedge,{}',0,1)\) satisfying the orthomodular law \(x\vee y\approx x\vee\big((x\vee y)\wedge x'\big)\). The height of \(\mathbf L\) is one less than the maximum cardinality of its chains. \(\mathbf L\) is said to have the covering property if \([b,b\vee a]\) has height at most \(1\) for every \(b\in L\) and every atom \(a\) of \(\mathbf L\). \(\mathbf L\) is said to have the \(2\)-covering property if \([b,b\vee a]\) has height at most \(2\) for every \(b\in L\) and every atom \(a\) of \(\mathbf L\). \(\mathbf L\) is said to be completely hereditarily atomic if it is complete and each of its complete subalgebras is atomic. Among others, results on algebraic OMLs, directly irreducible algebraic OMLs of finite height and algebraic OMLs having the covering property are proved. Further, it is shown that these results are sharp in that the covering property cannot be weakened to the \(2\)-covering property and algebraicity cannot be weakened to being completely hereditarily atomic. Constructions of Kalmbach and of Keller are used to produce OMLs having special properties.

Recommendations

• Coverings of \([MO _{n }]\) and minimal orthomodular lattices
• scientific article; zbMATH DE number 18133
• Coverings of [Mo\(n\)] and minimal orthomodular lattices
• Remarks on concrete orthomodular lattices
• An orthomodular analogue of the Birkhoff-Menger theorem

Cites work

• Boolean Algebras with Operators. Part I
• Characterization of hilbert spaces by orthomodular spaces
• Discrete quantum structures. I: Quantum predicate logic
• Effect algebras are the Eilenberg-Moore category for the Kalmbach monad.
• Ein nicht-klassischer Hilbertscher Raum
• Free complete extensions of Boolean algebras
• scientific article; zbMATH DE number 3706504 (Why is no real title available?)
• scientific article; zbMATH DE number 3777562 (Why is no real title available?)
• scientific article; zbMATH DE number 3501559 (Why is no real title available?)
• 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?)
• scientific article; zbMATH DE number 3027414 (Why is no real title available?)
• scientific article; zbMATH DE number 3078149 (Why is no real title available?)
• On a class of orthomodular quadratic spaces
• Orthomodular lattices and quadratic spaces: A survey
• Orthomodular lattices whose MacNeille completions are not orthomodular
• Quantum sets
• Remarks on concrete orthomodular lattices
• Spectral decompositions of operators on non-Archimedean orthomodular spaces
• Transseries and real differential algebra

This page was built for publication: Completely hereditarily atomic OMLS

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