Construction of infinite finitely presented nilsemigroup

Abstract

The paper deals with the solution of Shevrin ans Sapir problem. Infinite finitely presented nilsemigroup is constructed. The construction is based on aperiodic tilings, Goodman-Strauss type theorems on uniformly elliptic space. Space is called {\it uniformly elliptic} iff there is universal constant $\lambda>0$ such that any two points $A$ and $B$ on distant $D$ can be joined by family of geodesic lines generating a disc of wideness $\lambda\cdot D$. Research was supported by the grant RFBR N 14-01-00548