## Behrendt, G., The lattice of antichain cutsets of a partially ordered set, Discrete Mathematics 89 (1991) 201-202. Every finite lattice is isomorphic to the lattice of antichain cutsets of a finite partially ordered set whose chains have at most three elements. A subset A of a partially order
Extensions of ordered sets having the finite cutset property
β Scribed by John Ginsburg
- Publisher
- Elsevier Science
- Year
- 1986
- Tongue
- English
- Weight
- 892 KB
- Volume
- 58
- Category
- Article
- ISSN
- 0012-365X
No coin nor oath required. For personal study only.
β¦ Synopsis
Let P be an ordered set. P is said to have the finite cutset property if for every x in P there is a finite set F of elements which are noncomparable to x such that every maximal chain in P meets {x} t.J F. It is well known that this property is equivalent to the space of maximal chains of P being compact. We consider the following question: Which ordered sets P can be embedded in an ordered set Q which has the finite cutset property?
For x e P, we let x Γ· = {t9 ~ P: x ~<p}. Our main results are the following:
Theorem. Suppose P can be embedded in an ordered set having the finite cutset property and that A is an uncountable antichain in P. Then there exist distinct elements a, b, c in A such that a + fq b + =a + f3 c +.
Corollary. There exists an ordered set P which cannot be embedded in an ordered set having the finite cutset property whereas every countable subset of P can be embedded in such an ordered set.
π SIMILAR VOLUMES
## Dedicated to E. Corominas Kleitman, Shearer et Sturtevant ont 6tudi6 le probl~me de trouver l'entier maximum m pour lequel il existe une famille de m ensembles A1,..., Am, tous ~ k 616ments, satisfaisant la propri6t6 d'intersection d'Erd6s: A v f3 Aq Β’ AT d~s que p, q, r sont distincts. Nous do
The homological finiteness property F P 3 and the combinatorial property of having finite derivation type are both necessary conditions for finitely presented monoids to admit finite convergent presentations. For monoids in general, the property of having finite derivation type implies the property