94d06d6add082f77.tex
1: \begin{abstract}
2: 
3: Работа посвящена изучению комбинаторных свойств детерминированности семейства подстановочных комплексов, состоящих из четырехугольников, склееных друг с другом сторона-к-стороне. Данные свойства
4: являются полезными при построении алгебраических структур с конечным числом определяющих соотношений.
5: 
6: В частности этот метод был использован при при построении конечно определенной бесконечной нильполугруппы, удовлетворяющей тождеству $x^9=0$. Эта конструкция отвечает на проблему  Л.~Н.~Шеврина и М.~В.~Сапира. 
7: 
8: В данной работе исследуется возможность раскраски всего семейства комплексов в конечное число цветов, при котором выполнено свойство {\it слабой детерминированности}: если известны цвета трех вершин некоторого четырехугольника, то однозначно определен цвет четвертой стороны, кроме некоторых случаев особого расположения четырехугольника.
9: 
10: Даже слабой детерминированности хватает для построения конечно определенной нильполугруппы, при этом, при использовании данной конструкции, доказательство сокращается в объеме. 
11: 
12: Свойства детерминированности помогают корректно ввести определяющие соотношения на полугруппе путей, проходящих на построенных комплексах. Определяющие соотношения соответствуют парам эквивалентных коротких путей.
13: 
14: Свойства детерминированности изучались ранее в рамках теории замощений, в частности Кари и Папасоглу был построен набор   квадратных плиток, допускающий только апериодические замощения плоскости и обладающий детерминированностью: по цветам двух соседних ребер однозначно определялись цвета двух оставшихся ребер.
15: 
16: 
17: %Данная работа была проведена с помощью Российского Научного Фонда Грант N 17-11-01377.   Автор является победителем конкурса ``Молодая математика России''.
18: 
19: УДК 512.53, MSC: 20M05  
20: 
21: Ключевые слова: детерминированность, апериодические замощения, конечно определенные полугруппы, проблемы бернсайдовского типа; determinicity, aperiodic tilings, finitely presented semigroups, burnside-type problems.
22: 
23: 
24: \end{abstract}
25: