An orthomodular analogue of the Birkhoff-Menger theorem (Q798344)

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.