Remote Access Proceedings of the American Mathematical Society
Green Open Access

Proceedings of the American Mathematical Society

ISSN 1088-6826(online) ISSN 0002-9939(print)

 

 

Dense subsets of maximally almost periodic groups


Authors: W. W. Comfort and Salvador García-Ferreira
Journal: Proc. Amer. Math. Soc. 129 (2001), 593-599
MSC (1991): Primary 22A05, 54A05, 54H11
Published electronically: July 27, 2000
MathSciNet review: 1707513
Full-text PDF Free Access

Abstract | References | Similar Articles | Additional Information

Abstract:

A (discrete) group $G$ is said to be maximally almost periodic if the points of $G$ are distinguished by homomorphisms into compact Hausdorff groups. A Hausdorff topology $\mathcal{T}$ on a group $G$ is totally bounded if whenever $\emptyset\neq U\in\mathcal{T}$ there is $F\in[G]^{<\omega}$ such that $G=UF$. For purposes of this abstract, a family $\mathcal{D}\subseteq\mathcal{P}(G)$with $(G,\mathcal{T})$ a totally bounded topological group is a strongly extraresolvable family if (a)  $\vert\mathcal{D}\vert>\vert G\vert$, (b) each $D\in\mathcal{D}$ is dense in $G$, and (c) distinct $D,E\in\mathcal{D}$ satisfy $\vert D\cap E\vert<d(G)$; a totally bounded topological group with such a family is a strongly extraresolvable topological group.

We give two theorems, the second generalizing the first.



Theorem 1. Every infinite totally bounded group contains a dense strongly extraresolvable subgroup.



Corollary. In its largest totally bounded group topology, every infinite Abelian group is strongly extraresolvable.



Theorem 2. Let $G$ be maximally almost periodic. Then there are a subgroup $H$ of $G$ and a family $\mathcal{D}\subseteq\mathcal{P}(H)$ such that

(i) $H$ is dense in every totally bounded group topology on $G$;

(ii) the family $\mathcal{D}$ is a strongly extraresolvable family for every totally bounded group topology $\mathcal{T}$ on $H$ such that $d(H,\mathcal{T})=\vert H\vert$; and

(iii) $H$ admits a totally bounded group topology $\mathcal{T}$ as in (ii).

Remark. In certain cases, for example when $G$ is Abelian, one must in Theorem 2 choose $H=G$. In certain other cases, for example when the largest totally bounded group topology on $G$ is compact, the choice $H=G$ is impossible.


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

  • 1. H. Auerbach, Sur les groupes linéaires bornés, Studia Math. 5 (1934), 43-49.
  • 2. J. G. Ceder, On maximally resolvable spaces, Fund. Math. 55 (1964), 87–93. MR 0163279
  • 3. W. W. Comfort and Salvador García-Ferreira, Strongly extraresolvable groups and spaces, Proc. Mexico City Summer (1998) Topology Conference. Topology Proceedings 23. To appear.
  • 4. W. W. Comfort and Jan van Mill, Groups with only resolvable group topologies, Proc. Amer. Math. Soc. 120 (1994), no. 3, 687–696. MR 1209097, 10.1090/S0002-9939-1994-1209097-X
  • 5. E. K. van Douwen, The maximal totally bounded group topology on ${G}$ and the biggest minimal ${G}$-space for Abelian groups ${G}$, Topology Appl. 34 (1990), 69-91.
  • 6. S. García-Ferreira, V. I. Malykhin and A. Tomita, Extraresolvable spaces. Topology and Its Applications. 1999. To Appear.
  • 7. Leonard Gillman and Meyer Jerison, Rings of continuous functions, The University Series in Higher Mathematics, D. Van Nostrand Co., Inc., Princeton, N.J.-Toronto-London-New York, 1960. MR 0116199
  • 8. Edwin Hewitt, A problem of set-theoretic topology, Duke Math. J. 10 (1943), 309–333. MR 0008692
  • 9. Karl H. Hofmann and Sidney A. Morris, The structure of compact groups, de Gruyter Studies in Mathematics, vol. 25, Walter de Gruyter & Co., Berlin, 1998. A primer for the student—a handbook for the expert. MR 1646190
  • 10. V. I. Malykhin, Irresolvability is not descriptively good. Manuscript submitted for publication. 1996.
  • 11. V. I. Malykhin, Something new about totally bounded groups, Mat. Zametki 65 (1999), 474-476. [In Russian].
  • 12. V. I. Malykhin, To the combinatorial analysis of infinite groups, Manuscript in Preparation. 1998.
  • 13. V. I. Malykhin and I. V. Protasov, Maximal resolvability of bounded groups, Topology Appl. 73 (1996), no. 3, 227–232. MR 1419796, 10.1016/S0166-8641(96)00020-X
  • 14. J. von Neumann, Almost periodic functions in a group I, Trans. Amer. Math. Soc. 36 (1934), 445-492.
  • 15. J. v. Neumann and E. P. Wigner, Minimally almost periodic groups, Ann. of Math. (2) 41 (1940), 746–750. MR 0002891
  • 16. Dieter Remus, Minimal and precompact group topologies on free groups, Proceedings of the Conference on Locales and Topological Groups (Curaçao, 1989), 1991, pp. 147–157. MR 1100513, 10.1016/0022-4049(91)90014-S
  • 17. B. L. van der Waerden, Stetigkeitssätze für halbeinfache Liesche Gruppen, Math. Zeitschrift 36 (1933), 780-786.

Similar Articles

Retrieve articles in Proceedings of the American Mathematical Society with MSC (1991): 22A05, 54A05, 54H11

Retrieve articles in all journals with MSC (1991): 22A05, 54A05, 54H11


Additional Information

W. W. Comfort
Affiliation: Department of Mathematics, Wesleyan University, Middletown, Connecticut 06459
Email: wcomfort@wesleyan.edu

Salvador García-Ferreira
Affiliation: Instituto de Matemáticas, Ciudad Universitaria (UNAM), 04510 México D.F., México
Email: garcia@servidor.unam.mx, sgarcia@zeus.ccu.umich.mx

DOI: http://dx.doi.org/10.1090/S0002-9939-00-05557-X
Received by editor(s): May 10, 1998
Received by editor(s) in revised form: April 23, 1999
Published electronically: July 27, 2000
Additional Notes: This work was written during the visit of the second-listed author to the Department of Mathematics of Wesleyan University, during the period September, 1997–March, 1998.
The second author acknowledges with thanks the generous hospitality and support received from the Department of Mathematics of Wesleyan University.
Communicated by: Alan Dow
Article copyright: © Copyright 2000 American Mathematical Society