Productivity of sequences in non-abelian topological groups (Q2352131)

Let \({\mathcal W}_{\infty}\) be the set of all functions \(f:{\mathbb N} \to(\omega+1)\setminus\{0\}\) and \({\mathcal W}=\{f\in{\mathcal W}_{\infty} : f(n)\neq\omega \text{ for all }n\in{\mathbb N}\}\). (Note: We assume that \(0\in{\mathbb N}\).) The functions \(f_{\omega}\) and \(f_1\) in \({\mathcal W}_{\infty}\) are defined by \(f_{\omega}(n)=\omega\) and \(f_1(n)=1\) for all \(n\in{\mathbb N}\), respectively. Let \(G\) be a topological group and \(B=(b_n)_{n\in{\mathbb N}}\) a sequence in \(G\). \(B\) is called \textit{productive} in \(G\) if the sequence \(\displaystyle(\prod\limits_{i=0}^nb_i)_{n\in{\mathbb N}}\) converges in \(G\) and \(B\) is \textit{unconditionally productive} if the sequence \((b_{\varphi(n)})_{n\in{\mathbb N}}\) is productive for every bijection \(\varphi:{\mathbb N}\to{\mathbb N}\). Furthermore, for each \(f\in{\mathcal W}_{\infty}\) a faithfully indexed sequence \(A=(a_n)_{n\in{\mathbb N}}\) in \(G\) is called (\textit{unconditionally}) \textit{\(f\)-productive} in \(G\) if the sequence \((a_n^{z(n)})_ {n\in{\mathbb N}}\) is (unconditionally) productive in \(G\) for every function \(z:{\mathbb N}\to{\mathbb Z}\) such that \(|z(n)|\leq f(n)\) for each \(n\in{\mathbb N}\) and \(A\) is called (\textit{unconditionally}) \textit{\(f^{\star}\)-productive} in \(G\) if \((a_n^{z(n)})_{n\in{\mathbb N}}\) is (unconditionally) productive in \(G\) for every function \(z:{\mathbb N}\to{\mathbb N}\) such that \(z(n)\leq f(n)\) for each \(n\in{\mathbb N}\). If \(G\) is abelian, then we replace ``productive'' by ``summable'' in the above notions. Dikranjan, Shakhmatov and Spěvák [\textit{D. Dikranjan} et al., Topology Appl. 158, No. 3, 298--324 (2011; Zbl 1332.22001)] proved the following: Let \(G\) be an abelian topological group. (1) If \((a_n)_{n\in{\mathbb N}}\) and \((b_n)_{n\in{\mathbb N}}\) are summable sequences in \(G\), then \((a_n+b_n)_{n\in{\mathbb N}}\) is also summable in \(G\); (2) Let \(f\in{\mathcal W}_{\infty}\). A sequence \((a_n)_{n\in{\mathbb N}}\) in \(G\) is \(f\)-summable if and only if it is \(f^{\star}\)-summable; (3) If \(f\in{\mathcal W}\) is a bounded function, then a sequence in \(G\) is \(f\)-summable if and only if it is \(f_1^{\star}\)-summable; and (4) For \(f\in{\mathcal W}_{\infty}\), a sequence in \(G\) is \(f\)-summable if and only if it is unconditionally \(f\)-summable. In this paper, the author shows that the situations of the above results (1)--(4) for non-abelian groups are different. Indeed, he obtains the following examples: (a) There exists a separable metric group \(H\) with a linear topology such that \(H\) contains productive sequences \((a_n)_{n\in{\mathbb N}}\) and \((b_n)_{n\in{\mathbb N}}\), but \((a_nb_n)_{n\in{\mathbb N}}\) is not productive in \(H\); (b) There exists a separable metric linear group containing even unconditionally \(f_1\)-productive sequence \(A\) such that \(A\) is not \(f\)-productive for any bounded \(f\in {\mathcal W}_{\infty}\setminus\{f\in{\mathcal W} _{\infty}: \text{ there is }i\in{\mathbb N}\) such that