An orthomodular analogue of the Birkhoff-Menger theorem

DOI10.1007/BF01191492MaRDI QIDQ798344zbMATH OpenFDO

Authors Micheale Susan Roddy

Publication date 1984

Published in Algebra Universalis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BF01191492

zbMATH Keywords

block-finite OMLsblocksbounded latticechain conditionortholatticeorthomodular latticeproduct of simple latticessectionally complemented weakly modular lattice of finite height

Mathematics Subject Classification ID

Structure theory of lattices (06B05) Complemented lattices, orthocomplemented lattices and posets (06C15)

Review text

An ortholattice is an algebra \((L;\wedge,\vee,',0,1)\) where \((L,\wedge,\vee)\) is a lattice bounded by 0 and 1 and \(x\mapsto x'\) is an antitone complementation of period 2 \([(x\wedge y)'=x'\vee y',\quad (x\vee y)'=x'\wedge y',\quad (x')'=x]\). An orthomodular lattice (abbreviated OML) is an ortholattice satisfying the orthomodular law: \(a\leq b\Rightarrow a\vee (a'\wedge b)=b.\) Every maximal Boolean subalgebra of an orthomodular lattice is called a block. An OML is block- finite if its set of blocks is finite. A bounded lattice is said to satisfy the chain condition if it contains no infinite chain. For the other terms see \textit{G. Grätzer} [General lattice theory (1978; Zbl 0385.06014)] from which (p. 154) we recall: (A) Every sectionally complemented weakly modular lattice of finite height is isomorphic with a product of simple lattices. In [Can. J. Math. 30, 315-320 (1978; Zbl 0384.06013) and 31, 961-985 (1979; Zbl 0429.06002)] \textit{G. Bruns} developed the theory of block- finite OMLs and proved (B) Every block-finite OML L is isomorphic to a product \(B\times L_ 1\times L_ 2\times...\times L_ n\) (\(n\geq 0)\) where B is a Boolean algebra and the \(L_ i\) are irreducible OMLs with at least 2 blocks each. The author generalises these two results. He proves that in (A) the condition of finite height can be replaced by the chain condition and that in (B) the irreducible OMLs are simple. One gets now an orthomodular analogue of the Birkhoff-Menger (1935-36) theorem.

Recommendations

• THE NUMBER OF POINTS ON ELLIPTIC CURVES E : y²= x³+ cx OVER F_pMOD 8
• Blocks and commutators in orthomodular lattices
• Block-finite atomic orthomodular lattices
• scientific article; zbMATH DE number 3912439
• Commutator-finite orthomodular lattices

Cites work

• A Finiteness Criterion for Orthomodular Lattices
• Block-Finite Orthomodular Lattices
• scientific article; zbMATH DE number 3173711 (Why is no real title available?)
• scientific article; zbMATH DE number 3807678 (Why is no real title available?)
• On the structure of orthomodular lattices satisfying the chain condition
• Orthomodular lattices admitting no states

Cited in

(15)

• Bibliography on quantum logics and related structures
• Modular almost orthogonal quantum logics
• An orthomodular lattice
• Cardinalities of \(\sigma\)-complete OML's
• scientific article; zbMATH DE number 6478499 (Why is no real title available?)
• scientific article; zbMATH DE number 3896992 (Why is no real title available?)
• A remark on $\lambda$-regular orthomodular lattices
• scientific article; zbMATH DE number 1077017 (Why is no real title available?)
• scientific article; zbMATH DE number 937003 (Why is no real title available?)
• THE NUMBER OF POINTS ON ELLIPTIC CURVES E : y²= x³+ cx OVER F_pMOD 8
• On blocks in the products and ultraproducts of orthomodular lattices
• Completely hereditarily atomic OMLS
• Direct decompositions of orthomodular lattices
• Commutator-finite orthomodular lattices
• Blocks and commutators in orthomodular lattices

This page was built for publication: An orthomodular analogue of the Birkhoff-Menger theorem

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