On partially ordered sets embeddable in a free lattice
type: Item
instance of: scholarly article
title: On partially ordered sets embeddable in a free lattice
zbMATH Open document ID: 0599.06004
DOI: 10.1007/BF01203369
author: J. B. Nation
published in: Algebra Universalis
publication date: 1984-01-01T00:00:00Z
review text: For elements p, p' of a poset P, write \(p\sim p'\) provided \(x<p\) if and only if \(x<p'\) and dually. Theorem: P is embeddable in a free lattice if and only if P/\(\sim\) is so embeddable. A bipartite poset P\({\dot \cup}Q\) consists of two infinite antichains P, Q. A crown in P\({\dot \cup}Q\) consists of n-element subsets \(\{p_ 0,...,p_{n-1}\}\) and \(\{q_ 0,...,q_{n-1}\}\) of P and Q, respectively, such that \(p_ 0\leq q_ 0>p_ 1<q_ 1>...<q_{n-1}>p_ 0\) and \(p_ i\nleq q_ j\) for \(j\neq i,i-1(mod n)\). Theorem: If \(S=P{\dot \cup}Q\) is bipartite and no element is part of an infinite number of crowns, then FL(S), the lattice freely generated by S, is projective. Theorem: Suppose P\({\dot \cup}Q\) is embeddable in a free lattice. If P/\(\sim\) is finite, then \(| Q/\sim | \leq 2^{| P/\sim |}\); if P/\(\sim\) is infinite, then \(| Q/\sim | =| P/\sim |\). Theorem: Suppose that P\({\dot \cup}Q\) is embeddable in a free lattice, that \(\sim\) is equality, and that \(| P| =| Q| =\beta\), a regular uncountable cardinal. Then there exist \(P^*\subset P\), \(Q^*\subset Q\) such that \(| P^*| =| Q^*| =\beta\) and \(P^*\cup Q^*\) is an antichain.
Mathematics Subject Classification ID: 06B25
Mathematics Subject Classification ID: 06A06
zbMATH DE Number: 3966141
zbMATH Keywords: poset
zbMATH Keywords: bipartite poset
zbMATH Keywords: antichains
zbMATH Keywords: crowns
zbMATH Keywords: embeddable in a free lattice
MaRDI profile type: Publication
cites work: A combinatorial fact about free algebras
cites work: Free Lattices with Infinite Operations
cites work: Completely Free Lattices Generated by Partially Ordered Sets
cites work: Intersection Theorems for Systems of Sets
cites work: Projective lattices
cites work: Distributive Sublattices of a Free Lattice
cites work: Sublattices of a Free Lattice
description: scientific article; zbMATH DE number 3966141