# latticoid

A latticoid is a set $L$ with two binary operations  , the meet $\wedge$ and the join $\vee$ on $L$ satisfying the following conditions:

1. 1.

(idempotence) $x\wedge x=x\vee x=x$ for any $x\in L$,

2. 2.

(commutativity) $x\wedge y=y\wedge x$ and $x\vee y=y\vee x$ for any $x,y\in L$, and

3. 3.

(absorption) $x\vee(y\wedge x)=x\wedge(y\vee x)=x$ for any $x,y\in L$.

If one of the binary operations is associative, say $\wedge$ is associative, we may define a latticoid as a poset as follows:

 $x\leq y\mbox{ iff }x\wedge y=x.$

Clearly, $\leq$ is reflexive   , as $x\wedge x=x$. If $x\leq y$ and $y\leq x$, then $x=x\wedge y=y\wedge x=y$, so $\leq$ is anti-symmetric. Finally, suppose $x\leq y$ and $y\leq z$, then $x\wedge z=(x\wedge y)\wedge z=x\wedge(y\wedge z)=x\wedge y=x$, or $x\leq z$, $\leq$ is transitive     .

Once a latticoid is a poset, we may easily visualize it by a diagram (Hasse diagram), much like that of a lattice. Position $y$ above $x$ if $x\leq y$ and connect a line segment between $x$ and $y$. The following is the diagram of a latticoid that is meet associative but not join associative:

 $\xymatrix{&{a\vee b}\ar@{-}[d]&\\ &c\ar@{-}[ld]\ar@{-}[rd]&\\ a\ar@{-}[rd]&&b\ar@{-}[ld]\\ &{a\wedge b}&}$

It is not join associative because $(a\vee b)\vee c=a\vee b$, whereas $a\vee(b\vee c)=a\vee c=c\neq a\vee b$.

Given a latticoid $L$, we can define a dual $L^{*}$ of $L$ by using the same underlying set, and define the meet of $a$ and $b$ in $L^{*}$ as the join of $a$ and $b$ in $L$, and the join of $a$ and $b$ (in $L^{*}$) as the meet of $a$ and $b$ in $L$. $L$ is a meet-associative latticoid iff $L^{*}$ is join-associative.

Title latticoid Latticoid 2013-03-22 16:31:02 2013-03-22 16:31:02 CWoo (3771) CWoo (3771) 8 CWoo (3771) Definition msc 06F99