Intracommutativity properties for groups and semigroups (Q1204452)

An \(n\)-tuple \((x_ 1,x_ 2,\dots,x_ n)\) of a semigroup \(S\) has a \(k\)- factorization \((u,y_ 1,y_ 2,\dots,y_ k,v)\) if there exist \(k+1\) integers \(0 \leq i_ 0 < i_ 1 < \dots < i_ k \leq n\) such that \(u = x_ 1 \dots x_{i_ 0}\), \(y_{j + 1} = x_{i_ j+1} \cdots x_{i_{j+1}}\) \((0 \leq j \leq k - 1)\), \(v = x_{i_ k+1} \dots x_ n\) where if \(i_ 0 = 0\) then \(u = 1\), if \(i_ k = n\) then \(v = 1\). An \(n\)-tuple \((x_ 1,\dots,x_ n)\) of a semigroup \(S\) is \(k\)- intracommutative if there exists a \(k\)-factorization \((u,y_ 1,\dots,y_ k,v)\) such that for every permutation \(\sigma\) on \([1,k]\) \(uy_ 1y_ 2\dots y_ kv = uy_{\sigma(1)}y_{\sigma(2)}\dots y_{\sigma(k)}v\). An \(n\)-tuple \((x_ 1,x_ 2,\dots,x_ n)\) is weakly intracommutative if there exists a permutation \(\tau\) on \([1,n]\) for which \((x_{\tau(1)},x_{\tau(2)},\dots,x_{\tau(n)})\) is \(k\)- intracommutative. A semigroup \(S\) has the property \(Q\) (resp. \(Q^*\)) or is intracommutative (resp. weakly intracommutative) if for any positive integer \(k\) there is \(n\) such that every \(n\)-tuple of elements of \(S\) is \(k\)-intracommutative (resp. weakly intracommutative). In the first part it is shown that semigroups having \(Q\) or \(Q^*\) constitute a pseudovariety; further properties analogous to permutation properties are discussed. In the second part it is proved that a group has \(Q\) iff it is abelian-by-finite, and it has \(Q^*\) if it is finite- by-abelian-by-finite. The last two parts contain several variants of the properties \(Q\) and \(Q^*\) for finite (part three) and infinite (part four) sequences. For all of them a characterization is given in the case of groups and in the case of finite semigroups.