ВОПРОСЫ ТЕОРИИ ГРУПП И ПОЛУГРУПП 1972 г.

V В.А.ГРИНБЛАТ ОБ ОДНОи КЛАССЕ ПОЛУГРУПП Пусть полугруппа 01 задана образующими алшввташ л ,,--, И„ н определяющими соотношениями . Равенство слов в полугруппе Ol обозначим графическое равенство j . Пусть W - произвольное олово полугруппы 01 W s сО1... сС * где L-, d. ' i К J ' J целые числа и 4 * i < n По определению, длина слова равна Kw)-£JL- В работе [ I ] был поотроев j=i J алгоритм решения проблемы тождеств для класса ионечно-определенных полугрупп, удовлетворяющих двум условиям. Первое условие, налахенное на определяющие соотношения, состоит в следующем: I (А^ \ > £ ( в ; ) f t - i , - , m j Элементарное преобразование вида Х4,\У - г %&,- У назовем сокращением. Слово W называется несократимым, еолн в него не входит ви одно нз олов А^ О , m j ■ оократшш в противном случае. Второе уоловне, наложенное яа определяющие соотно­ шения полугрупп, состоит в следующем: * Если 4' I СОЕ и Aj ё. O f , где ЕзЛ или то существуют олово С? и две последовательности сожрацениК: одна от олова В,/7 до Сг , другая от слова С 8 £ до • j