A note on (strongly) topological gyrogroups (Q2072143)

Recall that a gyrogroup \(G\) endowed with a topology is called a \textit{topological gyrogroup} if (i) the gyroaddition map \((x, y)\mapsto x\oplus y\) is jointly continuous and (ii) the inversion map \(x\mapsto \ominus x\) is continuous. Recall also that a \textit{strongly topological gyrogroup} \(G\) is a topological gyrogroup with a neighborhood base \(\mathcal{U}\) at the identity \(0\) of \(G\) such that \(\mathrm{gyr}[x, y](U) = U\) for all \(x, y \in G, U \in \mathcal{U}\). A subgyrogroup \(H\) of a gyrogroup \(G\) is \textit{strong} if \(\mathrm{gyr}[x, y](H) = H\) for all \(x, y\in G\). In this article, the authors study some properties of rectifiable spaces and strongly topological gyrogroups. In particular, they prove that all Fréchet-Urysohn rectifiable spaces with countable \(cs^\ast\)-character are metrizable. This gives an affirmative answer to the question: \textit{if a topological gyrogroup \(G\) with countable \(cs^\ast\)-character is Fréchet-Urysohn, is \(G\) metrizable?}, posed by M. Bao et al. Furthermore, they prove that if \(G\) is a strongly topological gyrogroup, \(H\) is a closed strong subgyrogroup of \(G\), and \(H\) is inner neutral, then \(G/H\) is first-countable if and only if \(G/H\) is Fréchet-Urysohn with an \(\omega^{\omega}\)-base.