MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I am attempting to prove the equivalence of the following two definitions of distributive lattices:

$(a \lor b) \land c = (a \land c) \lor (b \land c)$

$(a \land b) \lor c = (a \lor c) \land (b \lor c)$

I haven't figured it out yet, but along the way I came up with this probably bogus proof:

$(a \lor b) \land c = (a \land c) \lor (b \land c)$

Renaming variables (rename b to c and c to b):

$(a \lor c) \land b = (a \land b) \lor (c \land b)$

Rename with $b = b \lor c$ (by noticing the left side of the equation looks like the right side of the second condition):

$(a \land c) \lor (b \land c) = (a \land (b \lor c)) \lor (c \land (b \lor c))$

Using the identities $b \land c = b \land c \land c$ and $c \lor (b \land c) = c$, simplify:

$(a \land c) \lor ((b \land c) \land c) = (a \land (b \lor c)) \lor c$

Now, here's the dodgy step. Once again, rename $b \lor c$ to $b$, which concludes the proof:

$(a \land b) \lor c = (a \lor c) \land (b \lor c)$

Where does this proof go wrong (or is it fine?), and what is the proof strategy for properly showing this equivalence?

share|cite|improve this question
I didn't read your thing in detail, but look at pages 1-2 of The absorption laws for lattices are invoked twice; see… By the way, this material is very standard and not appropriate for MO. You might get a more detailed response at math.SE. – Todd Trimble Mar 20 '11 at 16:11
Thanks, that looks like what I'm looking for! – ezyang Mar 20 '11 at 16:50
Where you wrote "Rename $b$ with $b\vee c$," your next equation changed the last two occurrences of $b$ to $b\vee c$ as promised but changed the first occurrence to $b\wedge c$. – Andreas Blass Mar 20 '11 at 21:50

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.