Search

This is the third part of a cycle of papers devoted to the construction of a finitely presented infinite nil-semigroup satisfying the identity $x^9 = 0$. This construction answers the problem of L. N. Shevrin and M. V. Sapir, posed, for example, in the Sverdlovsk notebook. A semigroup is realized as a set of path encodings on a family of special uniformly elliptic complexes. In the first paper of the cycle Finitely defined nil semigroup: complexes with uniform ellipticity, a sequence of complexes was constructed with a set of geometric properties. In the second work of the series Deterministic Coloring of a Family of Complexes a finite letter encoding was introduced on the vertices and edges of the constructed complexes. The deterministic property of such a coloring was proved, which makes it possible to introduce a finite set of defining relations on the set of words-codings of paths on complexes. In this paper, we describe an algorithm for reducing an arbitrary semigroup word to canonical form. It is also proved that a word containing a subword with period 9 can be reduced to zero using defining relations. Word encodings corresponding to sufficiently long paths are not reduced to zero and do not change their length, that is, the introduced semigroup is infinite., Comment: in Russian. The work was carried out with the help of the Russian Science Foundation, Grant 22-11-00177. The first author is the winner of the Young Mathematics of Russia competition

This paper surveys results related to well-known works of B. Plotkin and V. Remeslennikov on the edge of algebra, logic and geometry. We start from a brief review of the paper and motivations. The first sections deal with model theory. In Section 2.1 we describe the geometric equivalence, the elementary equivalence, and the isotypicity of algebras. We look at these notions from the positions of universal algebraic geometry and make emphasis on the cases of the first order rigidity. In this setting Plotkin's problem on the structure of automorphisms of (auto)endomorphisms of free objects, and auto-equivalence of categories is pretty natural and important. Section 2.2 is dedicated to particular cases of Plotkin's problem. Section 2.3 is devoted to Plotkin's problem for automorphisms of the group of polynomial symplectomorphisms. This setting has applications to mathematical physics through the use of model theory (non-standard analysis) in the studying of homomorphisms between groups of symplectomorphisms and automorphisms of the Weyl algebra. The last two sections deal with algorithmic problems for noncommutative and commutative algebraic geometry. Section 3.1 is devoted to the Gr\"obner basis in non-commutative situation. Despite the existence of an algorithm for checking equalities, the zero divisors and nilpotency problems are algorithmically unsolvable. Section 3.2 is connected with the problem of embedding of algebraic varieties; a sketch of the proof of its algorithmic undecidability over a field of characteristic zero is given., Comment: In this review we partially used results of arXiv:1512.06533, arXiv:math/0512273, arXiv:1812.01883 and arXiv:1606.01566 and put them in a new context

This is the second paper devoted to construction of finitely presented infinite nil semigroup with identity $x^9=0$. This construction answers to the problem of Lev Shevrin and Mark Sapir. In the first part we constructed the sequence of complexes with some set of properties. Namely, all these complexes are uniform elliptic: any two points $A$ and $B$ with distance $d$ can be connected with a system of shortest paths forming a disk of width $ \lambda \cdot D $ for some global constant $ \lambda> 0 $. In the second part of the proof, a finite system of colors with determinism is introduced: for each minimum square that the complex consists of, the color of the three angles determines the color of the fourth corner. The present paper is devoted to the second part of the proof., Comment: in Russian. This work was carried out with the help of the Russian Science Foundation Grant N 22-11-00177 The first author is the winner of the contest Young Mathematics of Russia

This paper is devoted to construction of finitely presented infinite nil semigroup with identity $x^9=0$. This construction answers to the problem of Lev Shevrin and Mark Sapir. The paper is quite long so the proof is separated into geometric, combinatorial and finalization parts. In the first part we construct uniformly elliptic space. Space is called {\it uniformly elliptic} if any two points $A$ and $B$ at the distance of $D$ can be connected by the system of geodesics which form a disc with width $\lambda\cdot D$ for some global constant $\lambda>0$. In the second part we study combinatorial properties of the constructed complex. Vertices and edges of this complex coded by finite number of letters so we can consider semigroup of paths. Defining relations correspond to pairs of equivalent short paths on the complex. Shortest path in sense of natural metric correspond nonzero words in the semigroup. Words which are not presented as paths on complex and words correspond to non shortest paths can be reduced to zero. In the third part we make a finalization. In particular, we show that word containing ninth degree word can be reduced to zero by defining relations. The present paper contains first part of the proof. This work was carried out with the help of the Russian Science Foundation Grant N 17-11-01377. The first author is the winner of the contest Young Mathematics of Russia ., Comment: 32 pages, 12 figures, in Russian

This paper is devoted to construction of finitely presented infinite nil semigroup with identity $x^9=0$. This construction answers to the problem of Lev Shevrin and Mark Sapir. This is the short version of the paper presenting the main ideas of the construction. The work was carried out with the help of the Russian Science Foundation Grant N 17-11-01377. The first author is the winner of the contest Young Mathematics of Russia ., Comment: 7 pages, 2 figures, in Russian

This work presents an example of a finitely presented semigroup $S$ containing an infinite nonnilpotent nil ideal $LS$, whose elements do not have a square (i.e. any word of the type $LXYYZ$ equals zero.)

This work presents a sample constructions of two algebras both with the ideal of relations defined by a finite Gr\"obner basis. For the first algebra the question whether a given element is nilpotent is algorithmically unsolvable, for the second one the question whether a given element is a zero divisor is algorithmically unsolvable. This gives a negative answer to questions raised by Latyshev.

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, Comment: 160 pages, 131 figures, in Russian