Construction of infinite finitely presented nilsemigroup
I. A. Ivanov-Pogodaev, Kanel-Belov, Alexey · arXiv (Cornell University) · 2014
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 $λ>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 $λ\cdot D$. Research was supported by the grant RFBR N 14-01-00548