Date: Sep 19, 2013 12:55 PM
Subject: Re: Homomorphism of posets and lattices
William Elliot wrote:
>William Elliot wrote:
>> quasi wrote:
>> > Questions:
>> > Let X,Y be posets and suppose f:X -> Y and g:Y -> X are
>> > order homomorphisms [order preserving maps].
>> > (1) If f,g are both injective, must X,Y be order isomorphic?
>> > (2) If f,g are both surjective, must X,Y be order isomorphic?
>> What happens if both are bijective?
>Clearly, for all x,y, (x <= y --> f(x) <= f(y)).
>If f(x) <= f(y): fgg^-1(x) <= fgg^-1(y)
>gf(x) <= gf(y)
Presumably you are trying to answer the question:
If X,Y are posets for which there are bijective order
preserving maps f:X -> Y and g:Y -> X, must X,Y be order
As far as I can see, what you posted above has no impact on