A characterization of strongly countably complete topological groups (Q429353)

The article is devoted to the study of strongly countably complete topological groups. Following \textit{Z. Frolík} [Czech. Math. J. 11(86), 237--248 (1961; Zbl 0149.40302)], a topological space \(X\) is called strongly countably complete if there exists a sequence \(\{ \gamma_n: n\in\omega\}\) of open coverings of \(X\) such that every decreasing sequence \(\{ F_n: n\in\omega\}\) of nonempty closed sets in \(X\) has nonempty intersection provided each \(F_n\) is contained in some element of \(\gamma_n\). Every (locally) countably compact space as well as each Čech-complete space is strongly countably complete. Nevertheless, the author gives an example of two countably compact topological groups such that their product is not strongly countably complete. In the article a complete characterization of strongly countably complete topological groups is given: a topological group \(G\) is strongly countably complete if and only if \(G\) contains a closed countably compact subgroup \(H\) such that the quotient space \(G/H\) is completely metrizable and the quotient mapping \(\pi : G\to G/H\) is closed. It is shown that every strongly countably complete group \(G\) has the following properties: (a) \(G\) is sequentially complete; (b) \(G\) is \(G_\delta\)-dense in the Raĭkov completion \(\rho G\) of \(G\); (c) the Dieudonné completion of \(G\) coincides with \(\rho G\); (d) the \(G_\delta\)-tightness of \(G\) is countable; and (e) \(G\) is a Moscow group. It is proved that a strongly countably complete topological group is (locally) pseudocompact iff it is (locally) countably compact. The author presents an example of a pseudocompact topological Abelian group \(H\) with the Fréchet-Urysohn property such that \(H\) fails to be sequentially complete answering in the positive a question posed by \textit{D. Dikranjan}, \textit{E. Martín Peinador} and \textit{V. Tarieladze} in [Appl. Categ. Struct. 15, No. 5--6, 511--539 (2007; Zbl 1135.22003)].