Sequential criteria for the equality of uniform structures in \(q\)-groups (Q1325817)

Given a topological group \(G\), let [reviewer's notation] \(\mathcal N\) be the set of neighborhoods of the identity of \(G\). In the authors' terminology, \(G\) is a \(q\)-group if there is a sequence \((U_ n)_{n < \omega}\) in \(\mathcal N\) such that for every choice \(u_ n \in U_ n\) the sequence \((u_ n)_{n < \omega}\) has a cluster point in \(G\). Generalizing results found earlier by G. Itzkowitz, by P. Milnes, by V. G. Pestov, and by the authors themselves, it is here shown by elementary methods that for a \(q\)-group \(G\) the following conditions are equivalent: (a) \(G\) has equal left and right uniform structures; (b) every countable subgroup of \(G\) has equal left and right uniform structures; (c) every sequence \((x_ n)_{n < \omega}\) in \(G\) which is uniformly right-discrete (in the sense that there is \(V \in {\mathcal N}\) such that \(Vx_ n \cap Vx_ m = \emptyset\) whenever \(n < m < \omega\)) is also uniformly left-discrete; (d) every \(V \in {\mathcal N}\) and every sequence \((x_ n)_{n < \omega}\) in \(G\) satisfy \(\bigcap_{n < \omega} x_ n V x^{-1}_ n \in {\mathcal N}\).