On subgroups of minimal topological groups
Abstract
A topological group is minimal if it does not admit a strictly coarser Hausdorff group topology. The Roelcke uniformity (or lower uniformity) on a topological group is the greatest lower bound of the left and right uniformities. A group is Roelcke-precompact if it is precompact with respect to the Roelcke uniformity. Many naturally arising non-Abelian topological groups are Roelcke-precompact and hence have a natural compactification. We use such compactifications to prove that some groups of isometries are minimal. In particular, if U_1 is the Urysohn universal metric space of diameter 1, the group Iso(U_1) of all self-isometries of U_1 is Roelcke-precompact, topologically simple and minimal. We also show that every topological group is a subgroup of a minimal topologically simple Roelcke-precompact group of the form Iso(M), where M is an appropriate non-separable version of the Urysohn space.
- Publication:
-
arXiv Mathematics e-prints
- Pub Date:
- April 2000
- DOI:
- 10.48550/arXiv.math/0004119
- arXiv:
- arXiv:math/0004119
- Bibcode:
- 2000math......4119U
- Keywords:
-
- Mathematics - General Topology;
- Mathematics - Dynamical Systems;
- Mathematics - Group Theory;
- 22A05;
- 06F05;
- 22A15;
- 54D35;
- 54E15;
- 54E50;
- 54H11;
- 54H12;
- 54H15;
- 57S05
- E-Print:
- To appear in Topology and its Applications. 39 pages