1
$\begingroup$

Let $(\Gamma,\leq)$ be a complete lattice and put $\bigwedge_{x\in \Gamma}x =0$. Assume $A$ and $B$ are two subsets of $\Gamma$ with $a\wedge b=0$ for every $a\in A$ and $b\in B$.

Q. True or false: $$\bigwedge\{ a\vee b : a\in A , b\in B\}\leq (\bigwedge_{a\in A}a)\vee(\bigwedge_{b\in B}b) $$

$\endgroup$
4
  • 2
    $\begingroup$ I doubt this stands a chance without assuming some form of distributivity. For a simple counterexample, let $\Gamma$ be the diamond lattice with “middle elements” $x,y,z$, and put $A=\{x,y\}$, $B=\{z\}$. Then the left-hand side is $1$, but the right-hand side is $z$. $\endgroup$ Commented Jul 3, 2017 at 12:14
  • $\begingroup$ It does, in fact, hold for distributive lattices. (I thought at first that one would need an infinitary distributive law, but plain distributivity actually suffices.) $\endgroup$ Commented Jul 3, 2017 at 12:40
  • 2
    $\begingroup$ Asked also on Math.SE: A formula in complete lattice. $\endgroup$ Commented Jul 3, 2017 at 13:37
  • $\begingroup$ I answered on math.SE . $\endgroup$ Commented Jul 3, 2017 at 14:00

0

You must log in to answer this question.

Browse other questions tagged .