what conditions can one place on a finitely generated periodic semigroup that will ensure the semigroup is finite? - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-25T15:57:05Z http://mathoverflow.net/feeds/question/36988 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/36988/what-conditions-can-one-place-on-a-finitely-generated-periodic-semigroup-that-wil what conditions can one place on a finitely generated periodic semigroup that will ensure the semigroup is finite? dan 2010-08-28T19:32:53Z 2010-10-04T06:30:21Z <p>I am not familiar with much semigroup theory, but this question came up in my research and I've been unable to find much on it. </p> http://mathoverflow.net/questions/36988/what-conditions-can-one-place-on-a-finitely-generated-periodic-semigroup-that-wil/37028#37028 Answer by Gjergji Zaimi for what conditions can one place on a finitely generated periodic semigroup that will ensure the semigroup is finite? Gjergji Zaimi 2010-08-29T06:15:41Z 2010-10-04T06:30:21Z <p>This is known as the Burnside problem for semigroups. I believe there are many different properties that can ensure a finitely generated periodic semigroup to be finite, for example see <a href="http://www.springerlink.com/content/a6m2h658j2371302/" rel="nofollow">here</a> when all the finitely generated subgroups have finite order and every element is equal to a power of itself (this is stronger than periodicity, see the comment below), or <a href="http://www.springerlink.com/content/j5688q47r5332nt6/" rel="nofollow">here</a> for when the semigroup has the permutation property.</p> http://mathoverflow.net/questions/36988/what-conditions-can-one-place-on-a-finitely-generated-periodic-semigroup-that-wil/40990#40990 Answer by Mark Sapir for what conditions can one place on a finitely generated periodic semigroup that will ensure the semigroup is finite? Mark Sapir 2010-10-04T06:04:39Z 2010-10-04T06:04:39Z <p>This question has been studied extensively more than 20 years ago. Most results are about semigroups satisfying identities. the first such result is by Morse and Hadlund: there exists an infinite 3-generated (infinite 2-generated) semigroup satisfying $x^2=0$ (resp. $x^3=0$). The latest results are in Sapir, M. V. Problems of Burnside type and the finite basis property in varieties of semigroups. (Russian) Izv. Akad. Nauk SSSR Ser. Mat. 51 (1987), no. 2, 319--340, 447; translation in Math. USSR-Izv. 30 (1988), no. 2, 295--314. Here is a statement from that paper: All finitely generated periodic semigroups with identity $u=v$ in $n$ variables are finite if and only if all periodic finitely geneated groups with that identity are finite and the Zimin word $Z_{n+1}$ is not an isoterm for $u=v$ or $v=u$. Here Zimin words are defined by $Z_1=x_1, ..., Z_{n+1}=Z_nx_{n+1}Z_n$. A word $Z$ is an isoterm for $u=v$ if for every substitiution $\phi$, if $\phi(u)$ is a subword of $Z$, then $\phi(u)=\phi(v)$ (by a substitution I mean a map assigning words to variables). If a periodic semigroup has some algebraic structure properties, then its finiteness can be deduced sometimes from Shevrin's results (see, for example, Shevrin, L. N. Certain finiteness conditions in the theory of semigroups. (Russian) Izv. Akad. Nauk SSSR Ser. Mat. 29 1965 553--566 or Shevrin, L. N. A general theorem on semigroups with certain finiteness conditions. (Russian) Mat. Zametki 15 (1974), 925--935. ). For example, if the semigroup is a union of groups (i.e. every element $x$ satisfies $x=x^p$ for some $p=p(x)$), then the semigroup is finite if and only if all subgroups are locally finite. There are many other results but I do not have time to list them here. </p>