On blocks in the products and ultraproducts of orthomodular lattices (Q6069603): Difference between revisions

A block of an orthomodular lattice \(\mathbf L\) is a maximal Boolean subalgebra of \(\mathbf L\). For \(n\ge0\) let \(\mathcal{OML}_n\) denote the class of all orthomodular lattices \(\mathbf L\) having the property that the intersection of any two different blocks of \(\mathbf L\) has cardinality \(\le2^n\). Then \(\mathcal{OML}_0\) is the class of Boolean algebras, \(\mathcal{OML}_1\) the class of all horizontal sums of Boolean algebras, and all orthomodular lattices defined by Greechie diagrams belong to \(\mathcal{OML}_2\). It is proved that the blocks of a direct product of orthomodular lattices \(\mathbf L_i\) are exactly the direct products of the blocks of the \(\mathbf L_i\), and that the blocks of an ultraproduct of the orthomodular lattices \(\mathbf L_i\) belonging to \(\mathcal{OML}_n\) (for some fixed \(n\ge1\)) are exactly the corresponding ultraproducts of the blocks of the \(\mathbf L_i\).