On (para)topological groups with a countably \((s\)-)complete sieve (Q2105010)

In this paper, based on the notion of countably sieve-complete spaces introduced by \textit{E. A. Michael} [General Topology Appl. 2, 91--138 (1972; Zbl 0238.54009)], the authors introduce the concept of countably sieve-\(s\)-complete spaces. Let \(\{U_{\alpha}:\alpha \in A_{n}\}_{n\in \omega}\) be a sieve on a space \(X\). If for every \(\pi\)-chain \((\alpha_{n})\), any sequence \(\{x_{n}\}_{n\in \mathbb{N}}\) with \(x_{n}\in U_{\alpha_{n}}\) for every \(n\in \mathbb{N}\) has a convergent subsequence, then the sieve \(\{U_{\alpha}:\alpha\in A_{n}\}_{n\in \omega}\) on \(X\) is called a \textit{countably \(s\)-complete sieve}. The authors mainly investigate the properties of spaces with a countably \(s\)-complete sieve or a countably complete sieve. It is proved that a topological group \(G\) is countably sieve-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 canonical quotient mapping \(\pi:G\rightarrow G/H\) is closed, which shows that a topological group \(G\) is strongly countably complete if and only if \(G\) is countably sieve-complete. Moreover, a topological group \(G\) is countably sieve-\(s\)-complete if and only if \(G\) contains a sequentially compact closed subgroup \(H\) with a countable base of open neighborhoods such that the quotient space \(G/H\) is a completely metrizable space and the canonical quotient mapping \(\pi:G\rightarrow G/H\) is closed. Finally, the authors investigate some properties of countably sieve-\(s\)-complete (strongly countably complete) spaces and show that a countable product of countably sieve-\(s\)-complete spaces is also countably sieve-\(s\)-complete.