Weakly first-countability in strongly topological gyrogroups (Q6542001)

The authors prove that if \((G, \tau, \oplus)\) is a strongly topological gyrogroup and \(H\) is a closed neutral strong subgyrogroup of \(G\), then the following are true: (1) \(G/H\) is \(\kappa\)-Fréchet-Urysohn if and only if \(G/H\) is strongly \(\kappa\)-Fréchet-Urysohn; and (2) \(\Delta(G/H)\) = \(\psi(G/H)\). Furthermore, if \((G, \tau, \oplus)\) is a sequential strongly topological gyrogroup having a point-countable \(k\)-network, then \(G\) is metrizable or it is a topological sum of cosmic subspaces. These results improve the related results in topological groups.