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

114 liepeorponi цепочку *«*•: W sW/ <№ W f-»H/ -»• (4/ec nw •• ■— *\UccmnWUwc(^ li I ii=— i { Li __| означает, что преобразовывается только W . jij означает, что заменяется все вхождения «ял f W на out о помощ-о (.в) - » , ~ / / / ^ “о индуктивному предположению^, И / С&к. w s УГ и И ' * - Й / С й Л ^ ( / , Следовательно, V. Значит, полугруппа Д содержит в качестве подполугруппа полугруппу которой не разревиаа проблема тождества. Теорема доказана. Литература 1 Е. И.Гриндлингер, М.Д.Гриндлингер. Алгоритм для решения проблемы тождества слов для некоторых полугрупп. Известия высших учебных заведения, Я 9. 1970, 45-47. 2 Г.С.Цейтин. Ассоциативное исчисление с неразрешимой проблемой эквивалентности. Труды матем. инстит. им. В.А.Стеклова, т.П, 1956, стр. 172.