Bounded sets in topological groups and embeddings (Q876519)

From the authors' introduction: ``In the article, we study the problems of when a topological group contains an uncountable supersequence (that is, a copy of the one-point compactification of an uncountable discrete space) and what the impact of the presence of such supersequences on bounded subsets of the group is. (A subset \(B\) of a space \(X\) is said to be bounded in \(X\) if for every continuous real function \(f\) defined on \(X\), the set \(f(B)\) is bounded.) In Section 2, we show (Proposition 2.8) that if a topological group \(G\) contains a duplicate of an uncountable compact space, or the two arrows space, or a copy of the ordinal space \(\omega_1\) with the order topology, then \(G\) contains an uncountable supersequence. These facts follow from a more general result proved in Theorem 2.2., which is based on the concept of fully closed mappings defined and studied by \textit{V. V. Fedorchuk} [General Topology Appl. 10, 247--274 (1979; Zbl 0453.54007) and Usp. Mat. Nauk 35, No. 3(213), 112--121 (1980; Zbl 0529.54008)].'' In Section 3, the authors show, among other results, that if a topological group \(H\) contains an uncountable supersequence, \(K\) is a closed bounded subset of \(H\) which does not contain uncountable supersequences, and \(A\) is an arbitrary subset of \(K\), then \(A\) is bounded in \(H\setminus(K\setminus A)\) (Theorem 3.3). We keep quoting the Introduction: ``In Section 4 we [\dots] show that every precompact Abelian group \(H\) can be embedded as a closed subgroup into a precompact Abelian group \(G\) such that \(H\) is bounded in \(G\) and all bounded subsets of the quotient group \(G/H\) are finite.'' This result is closely related to the work of \textit{M. I. Ursul} on embeddings of precompact groups as closed subgroups of pseudocompact ones [Izv. Akad. Nauk Mold. SSR, Ser. Fiz.-Tekh. Mat. Nauk 1989, No. 3, 54--56 (1989; Zbl 0699.22007)].