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

- <9Д - 1. каждое TiRLTi, несократимо; 2 . если Vi ' содержит часть X слова /?; то ¿ ( X ) • . < < . ■ ■ 3. всякое взаимодействие в [1,t] между определяшцими словами является простим; 4. среди произведений вида (I), удовлетворяющих свойствам I» 2 , 3, данное [ tJ содержит наименьшее число множителей Т Л Я . 5. если при дсс [f,KJ слово О полностьюпоглощается и /?• взаимодействует в [ j И -0 о Q * с некоторый и только с нии, ;в , то yW-y+i , аналогично если /?к взаимодействует в Q+*,K] 0 одним /3 ^ a Rj х А; , то 'i-K-i если жеум=i) , то либо ju * V 1 , либо yi =) =к-1 Предположение свойства I и отсутствие показателей - I для допустимо вследствие определения симметризованного множества М , Допустимость свойства 2 показана в [9] . Допустимость свойства 3 следует из теоремы I работы [?] , по этой теореме в случае невыполнимости 3 для Rj х R* слово "W свободно равно произведении, полученному из [ l , t ] удалением^ Tj и Тк . Остается показать допустимость свойства 5 при в полнении в свойств 1-4. Пусть при дсс [ ¿ у ] слово полностЬо поглощается и Rj взаимодействует в [¡j ,k-t] - только с Rju ; -где уИ '’j * 1 /диаграмма I/