Free semigroups in wreath powers of transformation semigroups

Abstract

It is established a criterion when the infinite wreath power of a finite transformation semigroup contains a free subsemigroup. It is shown that the infinite wreath power of a transformation semigroup either contains no free non-commutative subsemigroups or most of its finitely generated subsemigroups are free.