Two countably compact topological groups: One of size and the other of weight without non-trivial convergent sequences

Author:
Artur Hideyuki Tomita

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

MSC (2000):
Primary 54H11, 54A25, 54A35; Secondary 22A05

Published electronically:
March 11, 2003

MathSciNet review:
1974663

Full-text PDF Free Access

Abstract | References | Similar Articles | Additional Information

Abstract: E. K. van Douwen asked in 1980 whether the cardinality of a countably compact group must have uncountable cofinality in . 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 . We show that it is consistent that there exists a countably compact group without non-trivial convergent sequences whose weight is .

**1.**W. W. Comfort and Dieter Remus,*Imposing pseudocompact group topologies on abelian groups*, Fund. Math.**142**(1993), no. 3, 221–240. MR**1220550****2.**Eric K. van Douwen,*The product of two countably compact topological groups*, Trans. Amer. Math. Soc.**262**(1980), no. 2, 417–427. MR**586725**, 10.1090/S0002-9947-1980-0586725-8**3.**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**, 10.1090/S0002-9939-1980-0587954-5**4.**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**0431086****5.**Klaas Pieter Hart and Jan van Mill,*A countably compact topological group 𝐻 such that 𝐻×𝐻 is not countably compact*, Trans. Amer. Math. Soc.**323**(1991), no. 2, 811–821. MR**982236**, 10.1090/S0002-9947-1991-0982236-3**6.**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.**7.**V. I. Malykhin and L. B. Shapiro,*Pseudocompact groups without convergent sequences*, Mat. Zametki**37**(1985), no. 1, 103–109, 139 (Russian). MR**792239****8.**S. M. Sirota,*A product of topological groups, and extremal disconnectedness*, Mat. Sb. (N.S.)**79 (121)**(1969), 179–192 (Russian). MR**0242988****9.**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****10.**Artur Hideyuki Tomita,*On finite powers of countably compact groups*, Comment. Math. Univ. Carolin.**37**(1996), no. 3, 617–626. MR**1426926****11.**Artur Hideyuki Tomita,*A group under 𝑀𝐴_{𝑐𝑜𝑢𝑛𝑡𝑎𝑏𝑙𝑒} whose square is countably compact but whose cube is not*, Topology Appl.**91**(1999), no. 2, 91–104. MR**1664516**, 10.1016/S0166-8641(97)00206-X**12.**A. H. Tomita and S. Watson,*Ultraproducts, -limits and antichain on the Comfort group order*, in preparation.

Retrieve articles in *Proceedings of the American Mathematical Society*
with MSC (2000):
54H11,
54A25,
54A35,
22A05

Retrieve articles in all journals with MSC (2000): 54H11, 54A25, 54A35, 22A05

Additional Information

**Artur Hideyuki Tomita**

Affiliation:
Department of Mathematics, Universidade de São Paulo, Caixa Postal 66281 CEP 05311-970, São Paulo, Brazil

Email:
tomita@ime.usp.br

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

Keywords:
Forcing,
countably compact group,
cofinality,
weight

Received by editor(s):
October 15, 2001

Received by editor(s) in revised form:
January 15, 2002

Published electronically:
March 11, 2003

Additional Notes:
This research was partially conducted while the author was visiting the Department of Mathematics of Universidade de Coimbra. This visit was supported by CCINT-USP and the local organizing committee of the Fourth Ibero American Congress of Topology and its Applications

Communicated by:
Alan Dow

Article copyright:
© Copyright 2003
American Mathematical Society