Each topological group embeds into a duoseparable topological group
General Topology
2021-11-01 v2 Group Theory
Abstract
A topological group is called if there exists a countable set such that for any neighborhood of the unit. We construct a functor assigning to each (abelian) topological group a duoseparable (abelain-by-cyclic) topological group , containing an isomorphic copy of . In fact, the functor is defined on the category of unital topologized magmas. Also we prove that each -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