On blocks in the products and ultraproducts of orthomodular lattices (Q6069603)

From MaRDI portal
Revision as of 13:35, 3 August 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article; zbMATH DE number 7765011
Language Label Description Also known as
English
On blocks in the products and ultraproducts of orthomodular lattices
scientific article; zbMATH DE number 7765011

    Statements

    On blocks in the products and ultraproducts of orthomodular lattices (English)
    0 references
    0 references
    0 references
    14 November 2023
    0 references
    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\).
    0 references
    Boolean algebra
    0 references
    orthomodular lattice
    0 references
    state
    0 references
    variety
    0 references
    ultraproduct
    0 references

    Identifiers