On lattices embeddable into lattices of order-convex sets. II: Star-like posets (Q651423)

From MaRDI portal
Revision as of 17:20, 4 July 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
On lattices embeddable into lattices of order-convex sets. II: Star-like posets
scientific article

    Statements

    On lattices embeddable into lattices of order-convex sets. II: Star-like posets (English)
    0 references
    0 references
    0 references
    0 references
    13 December 2011
    0 references
    The authors continue the study of lattices that embed in lattices of order-convex subsets of posets. This paper is a continuation of Part I [Int. J. Algebra Comput. 17, No. 8, 1667--1712 (2007; Zbl 1152.06002)]. A poset is \textit{tree-like} if (i) whenever \(a, b \in P\) and \(a\) is majorized by \(b\) there is an ascending path from \(a\) to \(b\) in the Hasse diagram, and (ii) the Hasse diagram contains no circuits. The poset \(P\) is \textit{star-like} if it is tree-like and contains no subposet isomorphic to the four-element poset \(N\). Given a class \({\mathcal K}\) of posets, \({\mathbf{SUB}}({\mathcal K})\) denotes the class of sublattices of convexity lattices of posets in \({\mathcal K}\). With the class of star-like posets denoted by \({\mathcal S}\), the main result is that the finite lattices in \({\mathbf{SUB}}({\mathcal S})\) are characterized among all finite lattices by a finite collection of lattice identities. Such identities are given, and these include three identities that were previously shown to characterize the lattices embeddable in the lattice of order-convex sets of some poset, together with four other identities verified in the current paper. A similar characterization is determined for lattices embeddable in lattices of order-convex subsets of star-like lattices of length bounded by a postive integer \(m\).
    0 references
    embedding
    0 references
    join-semidistributive
    0 references
    tree-like
    0 references
    \(N\)-free
    0 references
    order-convex
    0 references
    star-like
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references