Ученые записки математических кафедр 1968 г.

- 121 - Тогда легко видеть, ото XI в ( ) 6- ( А , ) 3 . но е ( V ) = е ( и ) + £ ‘ ы! [ е ( а ; ] - е ( в , ) ] . т ¿77 ‘ 1/ т ‘ / * Так как ¿Г ¿ ¡ [ ( ( А - ) ~ ? ( В 1) ] = с £ . ^ ( В {) - б ^ ( А ; ) К с * ^ то мы имеем е ( у ) * ? М - , с- + . Таким образом, теорема доказана, если учесть, что полугруп­ па (Л - конечно-порождённая и поэтому содержит лишь конечное чиоло слов длины, ограниченной некоторым фиксированным числом. Л и т е р а т у р а 1. С.И.Адян. Определяющие соотношения и алгоритмические проб­ лемы для групп и полугрупп. Труды ыатем.ин-та им.В.А.Стеклова, 85 (1966), 1-123. 2. Е.И.Гриндлингер. Проблема тождества слов для одного класса полугрупп с конечным числом определяющих соот­ ношений. Сиб. ыатем.яурн. 5 (196 *0 , 77-85. 3. Е.И.Гриндлингер. Решение алгоритмических проблем для не­ которых классов полугрупп. Канд.дисс. М., 1964. 4. Е.И.Гриндлингер, М.Д.Гриндлингер. К проблеме тождества слов для полугрупп с одним определяющим соотношением. АН СССР, Рига, УШВсесоюзный коллоквиум по об­ щей алгебре (1967) 42. 5. В,А.Осипова. К проблеме тождества слов для конечно опреде­ лённых полугрупп. Докл. АН СССР (1968), т.178, №5, 1017-1020. 8. А.Е.Устян. Решение проблемы тождества слов для одного клас­ са полугрупп. М.П.РСФСР, Тула. Материалы ыек- вузовокой научней конференции математических кафедр пединститутов Центральной зоны РС$СР (1968), 54.