Remote Access Transactions of the American Mathematical Society
Green Open Access

Transactions of the American Mathematical Society

ISSN 1088-6850(online) ISSN 0002-9947(print)

 
 

 

Boolean algebras with no rigid or homogeneous factors


Author: Petr Štěpánek
Journal: Trans. Amer. Math. Soc. 270 (1982), 131-147
MSC: Primary 06E05; Secondary 03E40
DOI: https://doi.org/10.1090/S0002-9947-1982-0642333-3
MathSciNet review: 642333
Full-text PDF

Abstract | References | Similar Articles | Additional Information

Abstract: A simple construction of Boolean algebras with no rigid or homogeneous factors is described. It is shown that for every uncountable cardinal $ \kappa $ there are $ {2^\kappa }$ isomorphism types of Boolean algebras of power $ \kappa $ with no rigid or homogeneous factors. A similar result is obtained for complete Boolean algebras for certain regular cardinals. It is shown that every Boolean algebra can be completely embedded in a complete Boolean algebra with no rigid or homogeneous factors in such a way that the automorphism group of the smaller algebra is a subgroup of the automorphism group of the larger algebra. It turns out that the cardinalities of antichains in both algebras are the same. It is also shown that every $ \kappa $-distributive complete Boolean algebra can be completely embedded in a $ \kappa $-distributive complete Boolean algebra with no rigid or homogeneous factors.


References [Enhancements On Off] (What's this?)

  • [1] W. B. Easton, Powers of regular cardinals, Ann. Math. Logic 1 (1970), 139-178. MR 0269497 (42:4392)
  • [2] R. Engelking and M. Karlowicz, Some theorems of set theory and their topological consequences, Fund. Math. 57 (1965), 275-285. MR 0196693 (33:4880)
  • [3] P. Erdös and R. Rado, Intersection theorems for systems of sets, J. London Math. Soc. 35 (1960), 85-90. MR 0111692 (22:2554)
  • [4] R. Jensen and H. Johnsbraten, A new construction of a nonconstructible $ {\Delta ^1}_3$ subset of $ \omega $, Fund. Math. 61 (1974), 279-290. MR 0419229 (54:7253)
  • [5] S. Koppelberg, A lattice structure on the isomorphism types of complete Boolean algebras, Freie Universität Berlin, 1979, 41 pp., preprint.
  • [6] S. Kripke, An extension of a theorem of Gaifman-Hales-Solovay, Fund. Math. 61 (1967), 29-32. MR 0220641 (36:3693)
  • [7] K. McAloon, Consistency results about ordinal definability, Ann. Math. Logic 2 (1971), 449-467. MR 0292670 (45:1753)
  • [8] R. McKenzie and J. D. Monk, On automorphism groups of Boolean algebras, Infinite and Finite Sets, Colloq. Math. Soc. János Bolysi, vol. 10, Keszthely (Hungary), 1973, pp. 951-988. MR 0376476 (51:12651)
  • [9] J. D. Monk and W. Rassbach, The number of rigid Boolean algebras, Algebra Universalis 9 (1979), 207-210. MR 523934 (80c:06020)
  • [10] S. Roguski, Extensions of models of $ ZFC$ to models of $ ZFC + V = HOD$ with applications, Proc. Bierutowice Conf. (1975), Lecture Notes in Math., vol. 537, Springer-Verlag, Berlin and Heidelberg, 1976, pp. 241-248. MR 0429554 (55:2567)
  • [11] M. Rubin, On the reconstruction of Boolean algebras from their automorphism groups, University of Colorado, Boulder 1978, 38 pp., preprint. MR 991603
  • [12] S. Shelah, Why there are many nonisomorphic models for unsuperstable theories, Proc. Internat. Congr. Math. (Vancouver 1974), Canadian Mathematical Congress, 1975, pp. 553-557. MR 0422015 (54:10008)
  • [13] P. Štěpánek, Cardinal collapsing and ordinal definability, J. Symbolic Logic 43 (1978), 635-642. MR 518669 (80b:03080a)
  • [14] P. Štěpánek and B. Balcar, Embedding theorems for Boolean algebras and consistency results on ordinal definable sets, J. Symbolic Logic 42 (1977), 64-76. MR 0498122 (58:16287)

Similar Articles

Retrieve articles in Transactions of the American Mathematical Society with MSC: 06E05, 03E40

Retrieve articles in all journals with MSC: 06E05, 03E40


Additional Information

DOI: https://doi.org/10.1090/S0002-9947-1982-0642333-3
Keywords: Boolean algebras with no rigid or homogeneous factors, automorphisms, embeddings and isomorphism types of BA's, chain conditions, distributivity
Article copyright: © Copyright 1982 American Mathematical Society

American Mathematical Society