Suitable sets for subgroups of direct sums of discrete groups (Q1612129)

A discrete subset \(S\) of a topological group \(G\) is called suitable provided it has at most one accumulation point in \(G,\) its identity, and topologically generates \(G\). A topological group \(G\) is called topologically orderable if \(G\) is linearly orderable as a topological space. The authors discuss in the paper under review the problem of the existence of suitable subsets in different topological groups. Let \(\tau\) be an infinite cardinal number and \(\{G_{\alpha}:\alpha < \tau\}\) be a family of discrete groups. On the group \(G=\oplus_{\alpha<\tau}G_{\alpha}\) the group topology \(\tau_{G}\) is introduced whose base at the identity consists of the subgroups \(U_{\alpha}=\bigoplus_{\alpha\leq\beta<\tau}G_{\beta}.\) It is proved: (i) \((G,\tau_{G})\) is either metrizable or Weil-complete; (ii) \((G,\tau_{G})\) is topologically orderable and hereditarily paracompact; (iii) every non-closed subgroup \(H\) of \((G,\tau_{G})\) has a closed suitable subset which generates \(H;\) (iv) every subgroup \(H\) of \((G,\tau_{G})\) has a suitable subset which generates \(H.\) The authors also prove the following general result: If a topologically orderable group \(G\) has a (closed) suitable set, then every subgroup \(H\) of \(G\) has a (closed) suitable set. The question about the existence of suitable sets in topologically orderable groups is unsolved (Problem 4.1).