1
$\begingroup$

Let $B$ be a Boolean algebra. Then we say $B$ is $\kappa$-saturated if there is no partition $W$ of $B$ such that $|W| = \kappa$. We say that $B$ satisfies the $\kappa$-chain condition if there is no descending $\kappa$-sequence $u_0 > u_1 > \ldots > u_{\alpha} > \ldots$ $(\alpha < \kappa)$ of elements of $B$.

Let $B$ be complete. I am trying to prove the statement "$B$ satisfies the $\kappa$-chain condition if and only if $B$ is $\kappa$-saturated" (in Jech's book, Chapter 7). I think one direction is easy. If we have a decreasing sequence, set W'= \{ \{u_{\alpha} \} \mid \alpha < \kappa \}, and define a partition W =\left( B \setminus W' \right) \cup W'. This is a partition of size $\kappa + 1 = \kappa$, so $B$ is not $\kappa$-saturated.

Does anyone have any ideas of how to prove the converse? I supposed that $B$ is not $\kappa$- saturated, and tried to construct a decreasing sequence from the resulting partition of size $\kappa$, but to no avail. Any help would be appreciated.

  • 0
    That is good to know. I did use that heuristic a couple of times to get a feel for what's going on, but it's good to know it is valid!2012-02-07

1 Answers 1

3

Let $\{ u_\alpha \mid \alpha < \kappa \}$ be a partition of $B$ (of non-$0$ elements). Then by completeness $v_{\alpha} = \lor \{ u_\beta \mid \beta \ge \alpha \}$ is well defined and forms a decreasing $\kappa$-sequence of elements of $B$.

  • 1
    No, not in a general Boolean algebra. If we apply the heuristic that it is like a collection of sets, then every element can be seen as a subset of some large set, and a partition is then analogous to a mutually disjoint family of subsets of that set. But the definition is (in general) a set of elements in a Boolean algebra.2012-02-08