3
$\begingroup$

Given a separative poset $P$, we can form it's Boolean completion $B(P)$. This is a Boolean algebra whose elements are regular cuts on $P$, as defined here. Also, $P$ embeds densely into $B(P)$ by mapping $p$ to the principal ideal $U_p$.

Let's now take a poset $Q$ and a $P\subseteq Q$, both of which are separative. The inclusion $P\to Q$ is monotone. What I want to know is, can we somehow induce a complete embedding $f\colon B(P)\to B(Q)$ from this that makes the obvious diagram commute?

It seems to me there is only one thing that should work. Since $P$ is densely embedded in $B(P)$ and we know $f$ on $P$, the only reasonable choice seems to be $$f(U)=\bigvee_{p\in U}U_p$$

But this doesn't even seem to be a Boolean algebra homomorphism. Let's look at the meets: $$f(U\cap V)=\bigvee_{p\in U\cap V} U_p \stackrel{?}{=} \bigvee_{p\in U} U_p\cap \bigvee_{q\in V} U_q= f(U)\cap f(V)$$

Obviously, the left hand set is contained in the right hand set, but do we have equality? I just don't see it.

Have I missed something obvious? Is this even the right way of defining the map $f$?

Added: Apostolos dealt with the meets in the comments, just using distributivity. But I'm having trouble with joins now. We have $$f(U\vee V)=\bigvee_{p\in U\vee V} U_p^Q \stackrel{?}{=} \bigvee_{p\in U\cup V} U_p^Q= f(U)\vee f(V)$$ (I'll be using $U_p^P$ and $U_p^Q$ to distinguish principal ideals in $P$ and $Q$ respectively)

To focus on the nontrivial inclusion, take $x\in f(U\vee V)$ and $y\leq x$. We wish to find a $p_0\in U\cup V$ such that $U_y^Q\cap U_{p_0}^Q\neq\emptyset$. According to the definition of the join, there exists a $p\in U\vee V$ such that $U_y^Q\cap U_p^Q\neq\emptyset$. Taking an element $q$ of this set, we get $q\leq y$ and $q\leq p$. Now, if we could find an element of $P$ below this $q$, we would be done (since $p\in U\vee V$), but I don't see any reason for such an element to exist. In particular, in the application I have in mind, $P$ is very far from being dense in $Q$. How do I proceed here?

  • 0
    For every complete Boolean algebra you have $(\bigvee_{i\in I}a_i)\land(\bigvee_{j\in J}b_j)=\bigvee_{(i,j)\in I\times J}(a_i\land b_j)$. Thus your right hand side is $\bigvee_{(p,q)\in U\times V}U_p\cap U_q$. So if $a$ is in your right hand side it is in some $U_p\cap U_q$ for $p\in U$ and $q\in V$. Then $a\in U$ and $a\in V$ because they are downwards closed (and they contain $p$ and $q$ and $a$ is below them). Hence $a\in f(U\cap V)$.2012-06-06
  • 0
    @Apostolos You need to be a bit careful, since the join in $B(P)$ isn't just the union but the "regular closure" of the union. But you're basically right. I was missing distributivity. If you see an elegant way to show this is a complete embedding, please write something up. Otherwise, I'll think about this more in the morning.2012-06-06
  • 0
    If you want the diagram induced by the inclusion map to commute there is really only one way to define your map. Whether or not it is complete, I'm not sure. Note that $P\subseteq Q$ means that $B(P)$ is realized inside $B(Q)$ as the regular cuts defined by the elements of $P$. I suppose it might be possible to create a nice counterexample of two separative posets $P\subseteq Q$ such that $B(P)$ is not a complete subalgebra of $B(Q)$ by using an example of $B'\subseteq B$ which are both complete BA, but $B'$ is not a complete sub-alg. of $B$, then taking $B^+$ and $B'^+$ as your posets.2012-06-13
  • 0
    @AsafKaragila : what is it that you denote by $B^{+}$ ?2012-06-14
  • 0
    @EwanDelanoy I expect $B^+$ is the poset of positive elements of $B$.2012-06-14
  • 0
    @Ewan: As Miha says, $B^+$ is the non-zero elements of $B$.2012-06-14
  • 0
    Miha, I finally got around to write an answer. Please let me know if you are satisfied with this counterexample. I know that you probably intended something else (e.g. that the Boolean completions agree on the $1$ element), but it should be, methinks, possible to construct a counterexample still (perhaps using Borel, or Lebesgue, measurable inside the power set of $\mathbb R$).2012-07-12

1 Answers 1