Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

The question came up when I was trying to prove the compactness of the stone space S(B) of a complete boolean algebra B. Using only the basic facts regarding ultrafilters and boolean algebras, I cannot seem to find an answer.

Thank you very much, in advance.

share|cite|improve this question

The property in title seems require compactness. However, it seems not every complete boolean algebra is compact. there is a counterexample. Let $B=\wp(\omega)$, $X=\omega$. Note that $n=\{0,1,...,n-1\}$.

Then $\sup(X)=\bigcup(X)=\omega$, but for every finite $Y\subseteq X$, $\sup(Y)$ is definitely a finite number.

share|cite|improve this answer
Hi, thanks for the reply. Yep I guess my approach was wrong. Would it be correct if I said that, given a subset X of B s.t. X is pairwise compatible (every pair has a non-zero meet), then there exists a filter of B containing X? – John Toh Nov 6 '12 at 17:17
@JohnToh Sure, $B$ itself is. Moreover $\{z \in B|\bigwedge Y \le z \mbox{ for some finite collection } Y \mbox{ of } X\}$ is the smallest one and which is also proper. – Popopo Nov 7 '12 at 5:06

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.