### Current browse context:

math.GN

### Change to browse by:

### References & Citations

# Mathematics > General Topology

# Title: Each topological group embeds into a duoseparable topological group

(Submitted on 14 Feb 2020 (v1), last revised 3 Mar 2020 (this version, v2))

Abstract: A topological group $X$ is called $duoseparable$ if there exists a countable set $S\subseteq X$ such that $SUS=X$ for any neighborhood $U\subseteq X$ of the unit. We construct a functor $F$ assigning to each (abelian) topological group $X$ a duoseparable (abelain-by-cyclic) topological group $FX$, containing an isomorphic copy of $X$. In fact, the functor $F$ 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.

## Submission history

From: Taras Banakh [view email]**[v1]**Fri, 14 Feb 2020 19:44:24 GMT (19kb)

**[v2]**Tue, 3 Mar 2020 20:15:07 GMT (19kb)

Link back to: arXiv, form interface, contact.