On lattices and their ideal lattices, and posets and their ideal posetsGeorge M. Bergman
For P a poset or lattice, let Id(P) denote the poset,
respectively, lattice, of upward directed
downsets in P, including
the empty set, and let id(P)=Id(P)-{Ø}.
This note obtains various
results to the effect that Id(P) is always,
and id(P) often, "essentially larger" than P.
In
the first
vein, we find that a poset P admits no <-respecting map (and so in particular, no one-to-one
isotone map)
from Id(P) into P, and, going the other way, that
an upper semilattice P admits no semilattice
homomorphism
from
any subsemilattice of itself onto Id(P).
The slightly smaller object id(P) is known to be isomorphic to P if and only if P has ascending chain condition. This result is strengthened to say that the only posets P0 such that for every natural number n there exists a poset Pn with idn(Pn)≈P0 are those having ascending chain condition. On the other hand, a wide class of cases is noted where id(P) is embeddable in P. Counterexamples are given to many variants of the statements proved. Tbilisi Mathematical Journal, Vol. 1(2008), pp. 89-103 |