# zero-dimensional completely regular space with $\sigma$-complete clopen algebra

Suppose $X$ is a zero-dimensional completely regular space (clopen sets form a base) such that the Boolean algebra of clopen sets is a $\sigma$-complete Boolean algebra. Must $X$ be basically disconnected? That is, must every cozero set in $X$ have open closure?

I thought this was known, but I can't find it. The point is to show that such $X$ is strongly zero-dimensional, i.e., $\beta(X)$ is zero-dimensional, so that every cozero set is a countable union of clopens.

It should be noted that the analogous statement for extremally disconnected spaces is true: A zero-dimensional space is extremally disconnected (open sets have open closures) if and only if the Boolean algebra of all its clopen sets is a complete Boolean algebra. The proof is an easy exercise.

• Have you looked on M.H. Stone, Boundedness properties in function-lattices, Canadian Math. Soc. 1 (1949), 176-186? cms.math.ca/cjm/v1/cjm1949v01.0176-0186.pdf – Tomasz Kania Mar 11 '13 at 11:03
• Yes. I did not see an answer to my question in that article. I could have missed somethig, however. – Fred Dashiell Mar 13 '13 at 6:20
• Problem 6K in the book Extensions and Absolutes of Hausdorff Spaces by Porter and Woods claims that a Tychonoff space $X$ is Basically disconnected if and only if $X$ is zero-dimensional and the Boolean algebra of clopen sets is $\sigma$-complete. Unfortunately, I have not yet solved this problem, and problems in books are only authoritative if you solve them (i.e. I do not believe this problem yet). – Joseph Van Name Sep 29 '13 at 20:20
• I also found that the paper Frolik's theorem for basically disconnected spaces by Johannes Vermeer it is also claimed that the basically disconnected spaces are precisely the zero-dimensional spaces $X$ where the Boolean algebra of all clopen sets is $\sigma$-complete as a Boolean algebra. I however have not seen a proof yet, so I do not believe this claim. – Joseph Van Name Jan 29 '15 at 2:32
• Vermeer's paper assumes compact spaces, in which the claim is true. See p. 136, line 3. – Fred Dashiell Jan 30 '15 at 18:10

A complete answer to the posted question will require a counterexample. This may not be so well-known. This will require a zero-dimensional space which is not strongly zero-dimensional, whose Boolean algebra of all clopen sets is $\sigma$-complete. Perhaps a modification of the Dowker construction would work (see Porter-Woods Problem 4V, or Gillman-Jerison Problem 16M, or Engelking Example 6.2.20).