Let S be a bounded semilattice without maximal elements. Can we always construct an atomless boolean algebra B, containing S as a subsemilattice, such that S is cofinal in B-{1}? That is, for every x≠1 from B there is y∈S such that x≤y.


More detailed explanation since apparently my terminology was rather ambiguous:


S is a partially ordered set with the least element 0, and every pair of elements from S has an infimum (greatest lower bound). S has no maximal elements, that is for every x∈S there is y∈S greater than x.


If B is an atomless boolean algebra, B-{1} would definitely satisfy the above conditions.


The question is, if it is possible for any semilattice S satisfying the above conditions to cofinally embed it into an atomless boolean algebra B. That is, for any x∈B there is y∈S such that y is greater than x in B.



Semilattices in atomless boolean algebras
The answer to the original question is that no, in fact we can never do this. 


**Theorem.** No nontrivial Boolean algebra has a cofinal
subset of B-{1} that is a join-semilattice. Indeed, B cannot have a cofinal subset of B-{1} that is even upward directed.


Proof. Suppose that B is a nontrivial Boolean algebra and S is cofinal subset of B-{1}. Let b be any element of B that is neither 0 nor 1. Thus, -b is also not 1, so both b and -b must have upper bounds in S. If S is a join-semilattice, or even only upward directed, than there will be a single element of S above both b and -b. But the only such upper bound in B is 1, which is not in S. QED


This is true whether or not B is atomic. In the atomic case, it is particularly easy to see, since the co-atoms have no upper bound in B-{1}. 


There is no need in the question to insist that the embedding of S into B is a semilattice embedding, since even just an order-preserving map would give an upward directed image, which the theorem rules out.


The dual version of the question, turning the lattice upside down, is the corresponding fact that no nontrivial Boolean algebra has a filter that is also dense.


(Note: I didn't know what sense of "bounded" you meant in
the first part of the question, so I ignored that...Does this matter?)




---


The situation with the revised version of the question is somewhat better, since as the questioner points out, there are now some examples of the phenomenon. But nevertheless, there are also counterexamples, as I explain, so the answer is still no.


The reason there are counterexamples is that the new conditions on S do not rule out the possibility that S is upward directed. Thus, the same obstacle from above still occurs. For example, any linearly ordered S is a meet-semilattice and a join-semilattice, so it can never be cofinal in a Boolean algebra. More generally, if you take any S you have in mind, and put a copy of the natural numbers on top of it (above all elements), then this will still satisfy your conditions, but since it is also upward directed, it cannot embed cofinally in a Boolean algebra.


