On the Burnside problem for semigroups (Q797705)

A finitely generated semigroup S is proved to be finite if and only if S is torsion and possesses the following permutation property: There exists an integer \(n\geq 2\) such that to each \((s_ 1,...,s_ n)\) in \(S^ n\) there corresponds a permutation \(\sigma\) of 1,...,n, \(\sigma \neq id\), so that \(s_ 1s_ 2...s_ n=s_{\sigma(1)}s_{\sigma(2)}...s_{\sigma(n)}.\)