Skip to main content
2 of 2
edited body
Joel Adler
  • 265
  • 3
  • 7

The follwing theorem proven by O. Frink in Pseudo-complements in semi-lattices, Duke Math. J. 1962, Vol. 29, may help:

If $\langle S;\wedge,-\rangle$ is a pseudo-complemented meet-semilattice, then the subset $B(S):=${$-x:x\in S$} with the order inherited from $S$ is a boolean algebra.( A proof of this result can also be found in Grätzer's General Lattice Theory.)

As $-$ is a pseudo-complement on $S$ we have by definition $a\wedge b=0$ iff $b\leq -a$. This implies $a\leq b\rightarrow -a\geq -b$ and $---a=-a$. Therefore $a\mapsto -a$ is an order-reversing involution on $B(S)$.

In your case we have $B(M)=M$ since $--a=a$ for all $a\in M$. Therefore, $M$ is a boolean algebra.

Joel Adler
  • 265
  • 3
  • 7