Characterizations of quotient spaces for Lindelöf strongly topological gyrogroups

Let $\mathcal{L}$ be the class of Lindelöf spaces such that $\mathcal{L}$ is closed under finite products. In this paper, we prove that if $G\in \mathcal{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 \mathcal{L}$, then every compact $G_{\delta }$-set in the quotient space $G\mathrm{/}H$ is Dugundji. Finally, for any strongly topological gyrogroup $G$ and any closed strong subgyrogroup $N$ of $G$, if $G\in \mathcal{L}$ and the quotient space $G\mathrm{/}N$ is locally compact, then the inequality $w(G\mathrm{/}N)\le c$ is equivalent to the separability of $G\mathrm{/}N$. Our results extend the classical results from topological groups to the class of strongly topological gyrogroups in the literature.