On a permutability problem for groups. (Q815975)

In the paper under review the author considers some generalizations of permutability of groups. Let \(n>1\) be an integer. A group \(G\) is called \(n\)-permutable whenever for every \(n\)-tuple \((x_1,\dots,x_n)\) of elements of \(G\), there exists a non-identity permutation \(\sigma\) on \(\{1,\dots,n\}\) such that \(x_1\cdots x_n=x_{\sigma(1)}\cdots x_{\sigma(n)}\). Let \(m\) be a positive integer. The author denotes by \(R(m,n)\) (respectively \(P(m,n)\)) the class of all groups \(G\) such that, for every \(n\) subsets \(X_1,\dots,X_n\) of size \(m\) of \(G\) there exists a non-identity permutation \(\sigma\) on \(\{1,\dots,n\}\) such that \(X_1X_2\cdots X_n \cap X_{\sigma(1)}X_{\sigma(2)}\cdots X_{\sigma(n)}\not=\emptyset\) (respectively \(X_1X_2\cdots X_n =X_{\sigma(1)}X_{\sigma(2)}\cdots X_{\sigma(n)}\)). Clearly \(P(m,n)\subseteq R(m,n)\). By the main result of \textit{A. Abdollahi} and \textit{A. Mohammadi Hassanabadi} [Bull. Iran. Math. Soc. 24, No. 2, 41-48 (1998; Zbl 0936.20037)] every infinite \(R(m,2)\)-group is Abelian. More generally the main result of \textit{A. Abdollahi, A. Mohammadi Hassanabadi}, and \textit{B. Taeri} [J. Algebra 221, No. 2, 570-578 (1999; Zbl 0944.20025)] implies that every infinite \(R(m,n)\)-group is Abelian. In the paper under review the author proves: Theorem 1. Let \(G\) be a non-Abelian group. Then \(G\in P(2,3)\) if and only if \(G\cong S_3\), the symmetric group of degree 3. Theorem 2. Let \(G\) be a non-Abelian group. Then \(G\in R(2,2)\) if and only if \(G\) is isomorphic to \(S_3\), \(D_8\) (the dihedral group of order 8) or \(Q_8\) (the quaternion group of order 8). Theorem 3. Let \(G\) be a finite non-Abelian group. Then \(G\in R(3,2)\) if and only if it is isomorphic to one of the following groups: \(S_3\), \(D_8\), \(Q_8\), \(D_{10}\), \(D_{12}\), \(A_4\), \(\mathbb{Z}_2\times D_6\), \(D_{14}\), SmallGroup\((16,i)\), where \(i\in\{3,4,6,11,12,13\}\), SmallGroup\((32,49)\), Smallgroup\((32,50)\). -- Here \(D_{2n}\) denotes the dihedral group of order \(2n\) and \(A_4\) denotes the alternating group of degree 4, and SmallGroup\((r,s)\) is the \(s\)-th group of order \(r\) in the GAP SmallGroup library.