Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Natural numbers distributive lattice

  1. Dec 9, 2014 #1
    I need a proof that the set of natural numbers with the the relationship of divisibility form a distributive lattice with gcd as AND and lcm as OR.

    I know it can be shown that a AND (b OR c) >= (a AND b) OR (a AND c) for a general lattice, and that if we can show the opposite, that a AND (b OR c) <= (a AND b) OR (a AND c) that implies the two are equal. How do I prove this second part? I am not experienced with number theory, and I have struggled to get a meaningful expression of gcd's and lcm's.

    Alternatively, is there a different way you can show me how to prove this?

    Thank you!
  2. jcsd
  3. Dec 10, 2014 #2


    User Avatar
    Gold Member

Share this great discussion with others via Reddit, Google+, Twitter, or Facebook