The Gateway to Computer Science Excellence
First time here? Checkout the FAQ!
+12 votes

The following is the Hasse diagram of the poset $\left[\{a,b,c,d,e\},≺\right]$

The poset is :

  1. not a lattice
  2. a lattice but not a distributive lattice
  3. a distributive lattice but not a Boolean algebra
  4. a Boolean algebra
asked in Set Theory & Algebra by Boss (18.3k points) | 1.5k views

if any subset contains above structures, then it is not a distributive lattice. 

we know given hasse diagram is lattice and it containing above structue so it is not distributive. B

2 Answers

+19 votes
Best answer
Option b ,a lattice has lub and glb but to be distributive it should have unique complement.
answered by Active (3.3k points)
selected by
Yes it is a lattice should have unambiguous unique suprenum and infinum for all horizontal elements in the hasse diagram.
How to calculate complement can any1 plz explain.

Thank you in advance
shubhamdarokar try checking whether LHS and RHS are same in  $b \wedge (c \vee d)=(b\wedge c)\vee(b\wedge d)$. If yes, it is a distributive lattice, else not.

$\bullet$ It's a lattice as it's every pair of elements has LUB and GLB.

$\bullet$ It is not a distributive lattice as-
$\Rightarrow \ b ∧ (c ∨ d) = b ∧ a = b$
$(b ∧ c) ∨ (b ∧ d) = e ∨ e = e$
$b \neq e $

$\Rightarrow$ All 3 elements- a,b and c has 2 complements.

$\Rightarrow$ It's a famous diamond structure $(M_3)$ lattice which is non-distributive. Moreover any lattice is distributive if and only if it does not contain $M_3 \ or \ N_5$ as sublattice.

$\bullet$ A lattice is boolean algebra if and only if it is distributive and complemented.
It is not distributive hence not boolean algebra. 


Regarding lattice I've two doubts,

  1. taking (b,c) it has upperbound 'a' & lowerbound 'e' then what is the LUB & GLB, Is 'a' & 'e' itself LUB & GLB?????
  2. Suppose if we take (e,d) then what will be the LUB & GLB????

please correct me where I'm lacking???

+7 votes

Option B is appropriate for it.

It is lattice bcz both LUB and GLB exist for each pair of the vertex in above Hasse diagram.

But It not Distributed bcz there exist more than complement of element.So it ever be Boolean algebra.  

answered by Loyal (9.2k points)

@Paras Nath given Hasse diagram is totally different from poset  i think given reation is not '<' (less than ) it is other relation defined according to hasse diagram 

yes, it may be any relation. because nothing is mentioned about it. But, this can be answered by looking at hasse diagram only.

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

44,200 questions
49,671 answers
65,819 users