in Set Theory & Algebra
1,898 views
9 votes
9 votes
Show that the elements of the lattice $(N, \leq)$, where $N$ is the set of positive intergers and $a \leq b$ if and only if $a$ divides $b$, satisfy the distributive property.
in Set Theory & Algebra
1.9k views

2 Answers

12 votes
12 votes
Best answer

Distributive property is as follows:

$a \wedge (b \vee c) = (a \wedge b) \vee (a \wedge c)$

For "divides by" lattice the meet $(\wedge)$ operation is $\gcd$ and the join $(\vee)$ operation is $lcm.$ So, we have to prove:$$ \gcd (a, lcm(b, c) )= lcm (\gcd(a,b), \gcd(a,c))$$ Forward Direction Proof:

Let $p$ be any prime factor of $ \gcd (a, lcm(b, c) )$ and $\alpha$ be the largest integer such that $p^\alpha$ divides $ \gcd (a, lcm(b, c) )$

$\implies p^\alpha$ divides $a$ and $p^\alpha$ divides $lcm(b, c).$

$\implies p^\alpha$ divides $a$ and $(p^\alpha$ divides $b$ OR $p^\alpha$ divides $c)$

$\implies (p^\alpha$ divides $a$ and $p^\alpha$ divides $b)$ OR  $(p^\alpha$ divides $a$ AND $p^\alpha$ divides $c)$

$\implies (p^\alpha$ divides $\gcd(a,b))$ OR  $(p^\alpha$ divides $\gcd(a,c))$

$\implies p^\alpha $ divides $ lcm (\gcd(a,b), \gcd(a,c))$

Reverse Direction Proof:

Let $p$ be any prime factor of $ lcm (\gcd(a,b), \gcd(a,c))$ and $\alpha$ be the largest integer such that $p^\alpha$ divides $\gcd(a,b)$ or $\gcd(a,c).$ So, $p^{\alpha}$ divides $a$ and either $b$ or $c$

$\implies p^\alpha$ divides both $a$ and $lcm(b,c).$

$\implies p^\alpha$ divides $\gcd(a, lcm(b,c))$

Hence, $ \gcd (a, lcm(b, c) )= lcm (\gcd(a,b), \gcd(a,c))$

by
3 votes
3 votes

 we can take any example to show it distributive  and solve it. and we will find it is distributive

-----------------------------------------------------------------------------------------------------------------------

if N is square free number then it will be boolean algebra

edited by

3 Comments

Gurdeep Saini 

i think to dissatisfy we need only one counter and to satisfy we need to satify all conditions. 

0
0
@eyeamgj

Ye you are right but you can take any example and you will see it satisfy the property
0
0
OK THANKS
0
0

Related questions

Quick search syntax
tags tag:apple
author user:martin
title title:apple
content content:apple
exclude -tag:apple
force match +apple
views views:100
score score:10
answers answers:2
is accepted isaccepted:true
is closed isclosed:true