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

-нс- д м и -о г о ъ ( л г обеспечивает конечность числа правых обратных ® гЛ для V относительное/ и их эффективного нахождения. Анало гично решается проблема правой делимости для ( Л и доказывает! СЯ' ЧТ° В ^ число левых °<5рмных для делителя относительно делимого является конечным? и их можно эффективно найти; Отсюда легко следует лемма 4 .! Для доказательства теоремы, отметим; что полугруппа ( Л удовлетворяет условии а )? поскольку мы присоединили единицу*; Удовлетворяет условно б ) по лемме 3 и удовлетворяет условно’ » ) по лемме 3} Следовательно ; СЛ К - Л И Т Е Р А Т У Р А . I . J . L . B r i l ton] Solution o~f 'fhc u/orcJ рп>У\е.т -for c e r t o m _ t y p e s o f you fs , i , P ro c. Glasy» Math. Assoc 3,N zia3S6}A s~s-H-ml IU.,3,H*z(m?),(>8-30. г.Б.И.Гринддингер. Проблема тождества слов для класса полугрупп с конечным числом определявших соотношений, Сибирский математический журнал? * I (1964 )? 77iö5. З.'В.А,Тартаковский. Метод решета в теории групп? Математический сборник; 25 С 6 7 ); ЛI (19 ад)? 3 ! 50. А.Таргаховскил; Применение метода решета я решение проблемы товдества в некоторых Типах групп*1 • Математический сборник",* 25 (6 7 ) J 2 (1949) 231-273. .1 I