Characterizations of quotient spaces for Lindel\"of strongly topological gyrogroups

Let $\mathscr{L}$ be the class of Lindelöf spaces such that $\mathscr{L}$ is closed under finite products.

In this paper, we prove that if $G \in \mathscr{L}$ is a strongly topological gyrogroup, then $G$ is range-metrizable.

Furthermore, we prove that if $H$ is a strong subgyrogroup of a strongly topological gyrogroup $G \in \mathscr{L}$, then every compact $G_\delta$-set in the quotient space $G/H$ is Dugundji.

Finally, for any strongly topological gyrogroup $G$ and any closed strong subgyrogroup $N$ of $G$, if $G \in \mathscr{L}$ and the quotient space $G/N$ is locally compact, then the inequality $w(G/N) \leq c$ is equivalent to the separability of $G/N$.

Our results extend the classical results from topological groups to the class of strongly topological gyrogroups in the literature.