On lattices embeddable into lattices of order-convex sets. II: Star-like posets (Q651423): Difference between revisions
From MaRDI portal
Removed claim: author (P16): Item:Q820487 |
Changed an Item |
||
Property / author | |||
Property / author: M. V. Schwidefsky / rank | |||
Normal rank |
Revision as of 03:21, 21 February 2024
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
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