TY - JOUR

T1 - The separable quotient problem for topological groups

AU - Leiderman, Arkady G.

AU - Morris, Sidney A.

AU - Tkachenko, Mikhail G.

N1 - Publisher Copyright:
© 2019, The Hebrew University of Jerusalem.

PY - 2019/10/1

Y1 - 2019/10/1

N2 - The famous Banach-Mazur problem, which asks if every infinite-dimensional Banach space has an infinite-dimensional separable quotient Banach space, has remained unsolved for 85 years, though it has been answered in the affirmative for reflexive Banach spaces and even Banach spaces which are duals. The analogous problem for locally convex spaces has been answered in the negative, but has been shown to be true for large classes of locally convex spaces including all non-normable Fréchet spaces. For a topological group G there are four natural analogous problems: Does G have a separable quotient group which is (i) non-trivial; (ii) infinite; (iii) metrizable; (iv) infinite metrizable. Positive answers to all four questions are proved for groups G which belong to the important classes of (a) all compact groups; (b) all locally compact abelian groups; (c) all σ-compact locally compact groups; (d) all abelian pro-Lie groups; (e) all σ-compact pro-Lie groups; (f) all pseudocompact groups. However, a surprising example of an uncountable precompact group G is produced which has no non-trivial separable quotient group other than the trivial group. Indeed Gτ has the same property, for every cardinal number τ ≥ 1.

AB - The famous Banach-Mazur problem, which asks if every infinite-dimensional Banach space has an infinite-dimensional separable quotient Banach space, has remained unsolved for 85 years, though it has been answered in the affirmative for reflexive Banach spaces and even Banach spaces which are duals. The analogous problem for locally convex spaces has been answered in the negative, but has been shown to be true for large classes of locally convex spaces including all non-normable Fréchet spaces. For a topological group G there are four natural analogous problems: Does G have a separable quotient group which is (i) non-trivial; (ii) infinite; (iii) metrizable; (iv) infinite metrizable. Positive answers to all four questions are proved for groups G which belong to the important classes of (a) all compact groups; (b) all locally compact abelian groups; (c) all σ-compact locally compact groups; (d) all abelian pro-Lie groups; (e) all σ-compact pro-Lie groups; (f) all pseudocompact groups. However, a surprising example of an uncountable precompact group G is produced which has no non-trivial separable quotient group other than the trivial group. Indeed Gτ has the same property, for every cardinal number τ ≥ 1.

UR - http://www.scopus.com/inward/record.url?scp=85062942553&partnerID=8YFLogxK

U2 - 10.1007/s11856-019-1931-1

DO - 10.1007/s11856-019-1931-1

M3 - Article

AN - SCOPUS:85062942553

SN - 0021-2172

VL - 234

SP - 331

EP - 369

JO - Israel Journal of Mathematics

JF - Israel Journal of Mathematics

IS - 1

ER -