Two countably compact topological groups: One of size ℵ_{𝜔} and the other of weight ℵ_{𝜔} without non-trivial convergent sequences

Tomita, Artur

doi:10.1090/S0002-9939-03-06933-8

Two countably compact topological groups: One of size $\aleph _\omega$ and the other of weight $\aleph _\omega$ without non-trivial convergent sequences
HTML articles powered by AMS MathViewer

by Artur Hideyuki Tomita

Proc. Amer. Math. Soc. 131 (2003), 2617-2622

DOI: https://doi.org/10.1090/S0002-9939-03-06933-8

Published electronically: March 11, 2003

PDF | Request permission

Abstract:

E. K. van Douwen asked in 1980 whether the cardinality of a countably compact group must have uncountable cofinality in $\mathrm {ZFC}$. He had shown that this was true under GCH. We answer his question in the negative. V. I. Malykhin and L. B. Shapiro showed in 1985 that under GCH the weight of a pseudocompact group without non-trivial convergent sequences cannot have countable cofinality and showed that there is a forcing model in which there exists a pseudocompact group without non-trivial convergent sequences whose weight is $\omega _1<{\mathfrak c}$. We show that it is consistent that there exists a countably compact group without non-trivial convergent sequences whose weight is $\aleph _\omega$.

References

W. W. Comfort and Dieter Remus, Imposing pseudocompact group topologies on abelian groups, Fund. Math. 142 (1993), no. 3, 221–240. MR 1220550
Eric K. van Douwen, The product of two countably compact topological groups, Trans. Amer. Math. Soc. 262 (1980), no. 2, 417–427. MR 586725, DOI 10.1090/S0002-9947-1980-0586725-8
Eric K. van Douwen, The weight of a pseudocompact (homogeneous) space whose cardinality has countable cofinality, Proc. Amer. Math. Soc. 80 (1980), no. 4, 678–682. MR 587954, DOI 10.1090/S0002-9939-1980-0587954-5
A. Hajnal and I. Juhász, A separable normal topological group need not be Lindelöf, General Topology and Appl. 6 (1976), no. 2, 199–205. MR 431086
Klaas Pieter Hart and Jan van Mill, A countably compact topological group $H$ such that $H\times H$ is not countably compact, Trans. Amer. Math. Soc. 323 (1991), no. 2, 811–821. MR 982236, DOI 10.1090/S0002-9947-1991-0982236-3
P. Koszmider, A. Tomita and S. Watson, Forcing countably compact group topologies on a larger free Abelian group, Topology Proceedings 25 Summer (2000), 563–574.
V. I. Malykhin and L. B. Shapiro, Pseudocompact groups without convergent sequences, Mat. Zametki 37 (1985), no. 1, 103–109, 139 (Russian). MR 792239
S. M. Sirota, A product of topological groups, and extremal disconnectedness, Mat. Sb. (N.S.) 79 (121) (1969), 179–192 (Russian). MR 0242988
M. G. Tkachenko, Countably compact and pseudocompact topologies on free abelian groups, Izv. Vyssh. Uchebn. Zaved. Mat. 5 (1990), 68–75 (Russian); English transl., Soviet Math. (Iz. VUZ) 34 (1990), no. 5, 79–86. MR 1083312
Artur Hideyuki Tomita, On finite powers of countably compact groups, Comment. Math. Univ. Carolin. 37 (1996), no. 3, 617–626. MR 1426926
Artur Hideyuki Tomita, A group under $\rm MA_{countable}$ whose square is countably compact but whose cube is not, Topology Appl. 91 (1999), no. 2, 91–104. MR 1664516, DOI 10.1016/S0166-8641(97)00206-X
A. H. Tomita and S. Watson, Ultraproducts, $p$-limits and antichain on the Comfort group order, in preparation.