Two questions on coset spaces of semitopological groups (Q6049948)

Let \(G\) be a semitopological group. The family of all open neighborhoods of the identity \(e\) is denoted by \(\mathcal{N}_{G}(e)\). A subgroup \(H\) of \(G\) is called \textit{neutral} if for every \(U\in\mathcal{N}_{G}(e)\), there exists a \(V\in\mathcal{N}_{G}(e)\) such that \(HV\subseteq UH\) and \(VH\subseteq HU\). \par It is well-known that every Hausdorff first-countable topological group is metrizable. Recently, \textit{M. Fernández} et al. [Acta Math. Hung. 159, No. 2, 486--502 (2019; Zbl 1449.22001)] established the following theorem: Let \(H\) be a closed neutral subgroup of a topological group \(G\). Then the coset space \(G/H\) is metrizable if and only if \(G/H\) is first-countable. Furthermore, \textit{X. Ling} et al. [Topology Appl. 291, Article ID 107625, 16 p. (2021; Zbl 1502.54016)] proved that for a closed neutral subgroup \(H\) of an \(\omega\)-balanced semitopological group \(G\), if the space \(G/H\) is Hausdorff and first-countable, then it is subsemi-metrizable, and in the same paper, they asked whether the condition ``\(\omega\)-balanced'' can be removed. \par In another aspect, Arhangel'skii posed the well-known problem: Find an upper bound for cardinalities of regular Lindelöf spaces of countable pseudocharacter. For topological groups, \textit{M. Tkachenko} [in: Recent progress in general topology III. Based on the presentations at the Prague symposium, Prague, Czech Republic, 2001. Amsterdam: Atlantis Press. 825--882 (2014; Zbl 1305.54005)] showed that a Lindelöf topological group \(G\) with a countable pseudocharacter has the cardinality \(|G|\leq 2^{\omega}\). Recently, \textit{W.-F. Xuan} et al. [Topology Appl. 272, Article ID 107059, 10 p. (2020; Zbl 1450.54004)] proved that if \(G\) is a quasitopological group, then \(|G|\leq 2^{e(G)\psi(G)}\). Furthermore, \textit{J. Chen} and \textit{X. Ling} [Topology Appl. 322, Article ID 108269, 11 p. (2022; Zbl 1507.22002)] proved that if \(H\) is a closed neutral subgroup of a quasitopological group \(G\), then \(|G/H|\leq 2^{e(G/H)\psi(G/H)}\), and asked whether the condition ``neutral '' can be removed. \par In this paper, the authors answer the above two questions positively (see Theorem 3.1 and Theorem 4.3).