Compact-like totally dense subgroups of compact groups

Authors:
Dikran N. Dikranjan and Dmitrii B. Shakhmatov

Journal:
Proc. Amer. Math. Soc. **114** (1992), 1119-1129

MSC:
Primary 22C05; Secondary 22A05

DOI:
https://doi.org/10.1090/S0002-9939-1992-1081694-2

MathSciNet review:
1081694

Full-text PDF

Abstract | References | Similar Articles | Additional Information

Abstract: A subgroup of a topological group is (weakly) totally dense in if for each closed (normal) subgroup of the set is dense in . We show that no compact (or more generally, -bounded) group contains a proper, totally dense, countably compact subgroup. This yields that a countably compact Abelian group is compact if and only if each continuous homomorphism of onto a topological group is open. Here "Abelian" cannot be dropped. A connected, compact group contains a proper, weakly totally dense, countably compact subgroup if and only if its center is not a -subgroup. If a topological group contains a proper, totally dense, pseudocompact subgroup, then none of its closed, normal -subgroups is torsion. Under Lusin's hypothesis the converse is true for a compact Abelian group . If is a compact Abelian group with nonmetrizable connected component of zero, then there are a dense, countably compact subgroup of and a proper, totally dense subgroup of with (in particular, is pseudocompact).

**[1]**W. W. Comfort,*Topological groups*, Handbook of set-theoretic topology, North-Holland, Amsterdam, 1984, pp. 1143–1263. MR**776643****[2]**W. W. Comfort and Douglass L. Grant,*Cardinal invariants, pseudocompactness and minimality: some recent advances in the topological theory of topological groups*, The Proceedings of the 1981 Topology Conference (Blacksburg, Va., 1981), 1981, pp. 227–265 (1982). MR**672457****[3]**W. W. Comfort and Lewis C. Robertson,*Cardinality constraints for pseudocompact and for totally dense subgroups of compact topological groups*, Pacific J. Math.**119**(1985), no. 2, 265–285. MR**803119****[4]**W. W. Comfort and Kenneth A. Ross,*Pseudocompactness and uniform continuity in topological groups*, Pacific J. Math.**16**(1966), 483–496. MR**0207886****[5]**W. W. Comfort and T. Soundararajan,*Pseudocompact group topologies and totally dense subgroups*, Pacific J. Math.**100**(1982), no. 1, 61–84. MR**661441****[6]**Dikran Dikranjan and Ivan Prodanov,*Totally minimal topological groups*, Annuaire Univ. Sofia Fac. Math. Méc.**69**(1974/75), 5–11 (1979) (English, with Bulgarian summary). MR**562518****[7]**Dikran N. Dikranjan, Ivan R. Prodanov, and Luchezar N. Stoyanov,*Topological groups*, Monographs and Textbooks in Pure and Applied Mathematics, vol. 130, Marcel Dekker, Inc., New York, 1990. Characters, dualities and minimal group topologies. MR**1015288****[8]**V. Eberhardt and U. Schwanengel,*(𝑄/𝑍)^{𝑁} est un groupe topologique minimal*, Rev. Roumaine Math. Pures Appl.**27**(1982), no. 9, 957–964 (French). MR**683074****[9]**Ryszard Engelking,*General topology*, PWN—Polish Scientific Publishers, Warsaw, 1977. Translated from the Polish by the author; Monografie Matematyczne, Tom 60. [Mathematical Monographs, Vol. 60]. MR**0500780****[10]**I. I. Guran,*Minimal topological groups*, Topology and set theory, Udmurt. Gos. Univ., Izhevsk, 1982, pp. 64–71 (Russian). MR**760275****[11]**Edwin Hewitt and Kenneth A. Ross,*Abstract harmonic analysis. Vol. I: Structure of topological groups. Integration theory, group representations*, Die Grundlehren der mathematischen Wissenschaften, Bd. 115, Academic Press, Inc., Publishers, New York; Springer-Verlag, Berlin-Göttingen-Heidelberg, 1963. MR**0156915****[12]**Kenneth Kunen,*Set theory*, Studies in Logic and the Foundations of Mathematics, vol. 102, North-Holland Publishing Co., Amsterdam-New York, 1980. An introduction to independence proofs. MR**597342****[13]**T. Soundararajan,*Totally dense subgroups of topological groups*, General Topology and Its Relations to Modern Analysis and Algebra III, Proc. Kanpur Topological Conf. 1968, Academia, Prague, 1971, pp. 299-300.**[14]**N. Th. Varopoulos,*A theorem on the continuity of homomorphisms of locally compact groups*, Proc. Cambridge Philos. Soc.**60**(1964), 449–463. MR**0162880**

Retrieve articles in *Proceedings of the American Mathematical Society*
with MSC:
22C05,
22A05

Retrieve articles in all journals with MSC: 22C05, 22A05

Additional Information

DOI:
https://doi.org/10.1090/S0002-9939-1992-1081694-2

Keywords:
Compact group,
countably compact group,
pseudocompact group,
totally minimal group,
totally dense subgroup,
-subgroup,
Lusin's hypothesis

Article copyright:
© Copyright 1992
American Mathematical Society