加载中…
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.

生成讲解博客的中文版本

生成AI智能校验的中文版本