A Finiteness Criterion for Orthomodular Lattices
Günter Bruns · Canadian Journal of Mathematics · 1978
The main result of this paper is the following: THEOREM. Every finitely generated orthomodular lattice L with finitely many maximal Boolean subalgebras (blocks) is finite. If L has one block only, our theorem reduces to the well-known fact that every finitely generated Boolean algebra is finite. On the other hand, it is known that a finitely generated orthomodular lattice without any further restrictions can be infinite. In fact, in [2] we constructed an orthomodular lattice which is generated by a three-element set with two comparable elements, has infinitely many blocks and contains an infinite chain.