The extensions of some convergence phenomena in topological groups (Q484288)

\textit{A. V. Arhangel'skii} [Houston J. Math. 31, No. 1, 215--226 (2005; Zbl 1077.54022)] considered the following general question: Let \(H\) be a closed subgroup of a topological group \(G\) and \(G/H\) the quotient space, and let \(\mathcal P\) be some nice (topological, algebraic or mixed nature) property. Suppose that both \(H\) and \(G/H\) have \(\mathcal P\). When can we conclude that \(G\) has \(\mathcal P\)? The group \(G\) is called an \textit{extension of the group \(H\) by the quotient space \(G/H\)}. In 1949, \textit{J.-P. Serre} [C. R. Acad. Sci., Paris 229, 1295--1297 (1949; Zbl 0034.25401)] proved that if \(H\) and \(G/H\) are locally compact, then \(G\) is locally compact. Recently, Arhangel'skiĭ, Bruguera, Tkachenko and Uspenskij obtained a series of results on the extensions of topological groups with respect to closed invariant subgroups, locally compact subgroups or locally compact metrizable subgroups. On the other hand, some problems [\textit{A. Arhangel'skii} and \textit{M. Tkachenko}, Topological groups and related structures. Atlantis Studies in Mathematics 1. Hackensack, NJ: World Scientific; Paris: Atlantis Press (2008; Zbl 1323.22001), Open problems 1.5.1, 9.10.1, 9.10.3, etc.] are still open. In this paper, the authors consider the extensions of some convergent properties in topological groups and mainly obtain the following. 1. Suppose that \(H\) is a closed subgroup of a topological group \(G\) such that all compact subsets (resp., countably compact, sequentially compact) of the group \(H\) are first-countable. If the quotient space \(G/H\) has one of the following properties, then so does the group \(G\): (a) all compact (resp., countably compact, sequentially compact) subsets are strongly Fréchet; (b) all compact (resp., countably compact, sequentially compact) subsets are strictly Fréchet. In addition, if \(H\) is an invariant subgroup of the group \(G\) and the quotient group \(G/H\) has one of the following properties, then so does the group \(G\): (c) all compact (resp., countably compact, sequentially compact) subsets are Fréchet. 2. Let \(H\) be a closed second-countable subgroup of a topological group \(G\). If the quotient space \(G/H\) is a local \(\aleph_0\)-space (resp., locally cosmic space), then \(G\) is a topological sum of \(\aleph_0\)-subspaces (resp., cosmic subspaces). 3. Suppose that \(H\) is a locally compact metrizable subgroup of a topological group \(G\). If the quotient space \(G/H\) is sequential, then \(G\) is also sequential.