3
$\begingroup$

I am having trouble with the following lemma from J. Rotman's Galois Theory book:

Lemma $83$. If $L$ and $L'$ are lattices and $\gamma: L \rightarrow L'$ is an order reversing bijection $[a \leq b$ implies $\gamma(b) \leq \gamma(a)]$, then $\gamma(a \wedge b) = \gamma(a) \vee \gamma(b)$ and $\gamma(a \wedge b) = \gamma(a) \vee \gamma(b)$.

The proof is fairly obvious if you know that when $\gamma$ is order reversing, then $\gamma^{-1}$ is order reversing also. Rotman says that this is "easily seen", but I just don't see it. I think it would be easy if his definition was that $\gamma$ is order reversing when $a \leq b$ if and only if $\gamma(b) \leq \gamma(a)$ instead. In a set theory book I have, isomorphisms between two posets $A$ and $B$ are defined as $f: A \rightarrow B$ such that $a \leq b$ if and only if $f(a) \leq f(b)$.

Am I missing something really easy or should the definition be different? Is there a counterexample? That is, is there a bijective map $f: A \rightarrow B$ between two lattices/posets $A$ and $B$ such that $a \leq b$ implies $f(b) \leq f(a)$, but $f^{-1}$ does not have this property?

  • 0
    Try to break it down: first prove this is true for $L^{op}$ which is $L$ with the reversed order (prove that join and meet are reversed too), then prove the lemma by showing that an order-reversing bijection is an isomorphism of $L$ with $(L')^{op}$.2012-07-01

2 Answers 2

5

This is not true. If you have the lattices $L=\{\bot,a,b,\top\}$ (with $\bot) and $L'=\{0,1,2,3\}$ with the usual order, the order-preserving map $f(\top)=3\\ f(a)=1\qquad f(b)=2\\ f(\bot)=0$ is of course a bijection, but $1<2$ yet $f^{-1}(1)=a$ and $f^{-1}(2)=b$ are incomparable.

In other words, $f$ needs to satisfy [$a\le b$ iff $f(a)\le f(b)$] to be an isomorphism for the order structure (indeed, $L$ and $L'$ are not isomorphic).

And this is also a necessary condition for the conclusion of your lemma, since when the order-preserving analogue of the lemma holds, $f(a)\le f(b)$ implies $f(a)=f(a)\wedge f(b)=f(a\wedge b)$ so that because $f$ is injective $a\le b$.


Edit: As said in the comments, when $L$ and $L'$ are isomorphic and finite, it is however true that any bijective $f$ satisfying [$a\le b$ implies $f(a)\le f(b)$] is an isomorphism between $L$ and $L'$. This is because the image of the relation $<_L$ is a subset of $<_{L'}$; but they both are finite sets of equal cardinal so they must be equal.

In fact we have this beautiful generalization of the well-known statement about finite sets:

An injection between two finite sets of equal cardinal is a bijection.

to finite posets:

An order-preserving injection between two finite posets of equal order types is an isomorphism.

  • 0
    I do :-) It just made me notice that there is a special case where the claim in the question happens to be true; really my remark belongs more in the answer itself, so I added it.2012-07-02
1

You need to assume the if and only if statement. As a counter example, just consider $L$ as the poset with an order that "can't compare distinct elements at all" (i.e, there are no elements $a \neq b$ for which $a \le b$ or $b \le a$) and clearly any bijection to another poset will satisfy the conditions on your $\gamma : L \to L'$ above, but you can't possibly expect it to be order reversing, or that $\gamma^{-1}$ has the same property. But then again, I don't think that in that case you can expect that $\gamma( a \vee b) = \gamma(a) \wedge \gamma(b)$, and so on, since the condition is satisfied trivially...

Hope that helps,

  • 0
    @spin : I must admit I didn't recall any property of lattices. I should've read the definition, perhaps. Thanks for giving me the tip. So my counter e$x$ample is bad, but the idea is good though. Look at Generic Human's proof =)2012-07-02