English

Each topological group embeds into a duoseparable topological group

General Topology 2021-11-01 v2 Group Theory

Abstract

A topological group XX is called duoseparableduoseparable if there exists a countable set SXS\subseteq X such that SUS=XSUS=X for any neighborhood UXU\subseteq X of the unit. We construct a functor FF assigning to each (abelian) topological group XX a duoseparable (abelain-by-cyclic) topological group FXFX, containing an isomorphic copy of XX. In fact, the functor FF is defined on the category of unital topologized magmas. Also we prove that each σ\sigma-compact locally compact abelian topological group embeds into a duoseparable locally compact abelian-by-countable topological group.

Keywords

Cite

@article{arxiv.2002.06232,
  title  = {Each topological group embeds into a duoseparable topological group},
  author = {Taras Banakh and Igor Guran and Alex Ravsky},
  journal= {arXiv preprint arXiv:2002.06232},
  year   = {2021}
}

Comments

9 pages

R2 v1 2026-06-23T13:42:23.385Z