TY - JOUR
T1 - Some notes concerning the homogeneity of Boolean algebras and Boolean spaces
AU - Geschke, Stefan
AU - Shelah, Saharon
PY - 2003/10/1
Y1 - 2003/10/1
N2 - In this article we consider homogeneity properties of Boolean algebras that have nonprincipal ultrafilters which are countably generated.It is shown that a Boolean algebra B is homogeneous if it is the union of countably generated nonprincipal ultrafilters and has a dense subset D such that for every a∈D the relative algebra B a:={b∈B: b≤a} is isomorphic to B. In particular, the free product of countably many copies of an atomic Boolean algebra is homogeneous.Moreover, a Boolean algebra B is homogeneous if it satisfies the following conditions: (i)B has a countably generated ultrafilter, (ii)B is not c.c.c., and (iii)for every a∈B \ {0} there are finitely many automorphisms h1,...,hn of B such that 1=h1(a)∪⋯∪hn(a). These results generalize theorems due to Motorov [Russian Math. Surveys 44 (16) (1989) 190-191] on the homogeneity of first countable Boolean spaces.Finally, we provide three constructions of first countable homogeneous Boolean spaces that are linearly ordered. The first construction gives separable spaces of any prescribed weight in the interval [א0,2א 0]. The second construction gives spaces of any prescribed weight in the interval [א1, 2א0] that are not c.c.c. The third construction gives a space of weight א1 which is not c.c.c. and which is not a continuous image of any of the previously described examples.
AB - In this article we consider homogeneity properties of Boolean algebras that have nonprincipal ultrafilters which are countably generated.It is shown that a Boolean algebra B is homogeneous if it is the union of countably generated nonprincipal ultrafilters and has a dense subset D such that for every a∈D the relative algebra B a:={b∈B: b≤a} is isomorphic to B. In particular, the free product of countably many copies of an atomic Boolean algebra is homogeneous.Moreover, a Boolean algebra B is homogeneous if it satisfies the following conditions: (i)B has a countably generated ultrafilter, (ii)B is not c.c.c., and (iii)for every a∈B \ {0} there are finitely many automorphisms h1,...,hn of B such that 1=h1(a)∪⋯∪hn(a). These results generalize theorems due to Motorov [Russian Math. Surveys 44 (16) (1989) 190-191] on the homogeneity of first countable Boolean spaces.Finally, we provide three constructions of first countable homogeneous Boolean spaces that are linearly ordered. The first construction gives separable spaces of any prescribed weight in the interval [א0,2א 0]. The second construction gives spaces of any prescribed weight in the interval [א1, 2א0] that are not c.c.c. The third construction gives a space of weight א1 which is not c.c.c. and which is not a continuous image of any of the previously described examples.
KW - Aronszajn tree
KW - First countable
KW - Homogeneous Boolean algebra
KW - Homogeneous space
KW - Interval algebra
KW - Linear order
UR - http://www.scopus.com/inward/record.url?scp=0042429198&partnerID=8YFLogxK
U2 - 10.1016/S0166-8641(03)00103-2
DO - 10.1016/S0166-8641(03)00103-2
M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???
AN - SCOPUS:0042429198
SN - 0166-8641
VL - 133
SP - 241
EP - 253
JO - Topology and its Applications
JF - Topology and its Applications
IS - 3
ER -