2020/11/05 by Meng Bao, Xiaoyuan Zhang, Bao, Meng +3
Engineering · Mathematics · #26A03 #40A05 #40A30 #40A99 #FOS: Mathematics #General Topology (math.GN) #History and Theory of Mathematics #Mathematics and Applications #Primary 54A20 #graph theory and CDMA systems #secondary 11B05
paper · pdf · doi:10.48550/arxiv.2011.02633
openalex publication_date 2020/11/05 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
Separability is one of the most basic and important topological properties. In this paper, the separability in (strongly) topological gyrogroups is studied. It is proved that every first-countable left ω-narrow strongly topological gyrogroup is separable. Furthermore, it is shown that if a feathered strongly topological gyrogroup G is isomorphic to a subgyrogroup of a separable strongly topological gyrogroup, then G is separable. Therefore, if a metrizable strongly topological gyrogroup G is isomorphic to a subgyrogroup of a separable strongly topological gyrogroup, then G is separable, and if a locally compact strongly topological gyrogroup G is isomorphic to a subgyrogroup of a separable strongly topological gyrogroup, then G is separable.