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

- Ж 0 4 - / Итак, ш получили замкнутую цепь, содержащую не более одного СИ - слова 2 -г о рода, что противоречит леиие I. Если из а с с [ ^ >к] исклю чи ть /?« * [ , к " О то способ его сокращения примет вид:' /диаграыиа ТО/; \ ^ Ti*i '- -Тир-tRuo-iT „,т R~т Т О Т Г 2--------------MÍ.___1__ _ J Р J4¿ Р 1 S+P-1 TPfÍTP J'P ■" '* *K — -----------------------Г г ~ __________ S Здесь Rj+p ■ - самое левое слово, которое взаимодействует с Г‘ • 8аиети“ . что Тк непусто, ибо в противном случае /э = о о Rj*p , R к прежние обозначения Сохраняя для (2 ), мы уточним их для \~7 — ' Г-Т-» А где R Y \ * ' Т к i+p * > « R и . ~ часть, которая поглощается при взаимо действии / ? . с Г г Г Г & 77 У*/1 к 'к I « 7 ¿ч. _ часть, поглоща­ емая при взаимодействии с [ ¿ +р * 1 , к - 1 ] Кк * Х.О. , г.к. /?„ х /у'+у, к - 1 ] -, и, следовательно, Y, * 1 Отсюда способу сокращения [ ¿ , к ] соответствует цепь: \ и РрХрХ Х р Р р Л р , ‘ . ‘ Х . Р Д . * X , 0 . (4>, где как и в / 3 / нет взаимно обратных слов, а значит, и 01 _ слов 1-го родаГ В отличие от / 3 / и / V Ц Р Д , , ставшее крайним, не является СИ - словом, зато Х У/^ Х , возможно стало таковым. Итак, доказано СЛЕДСТВИЕ I . Если при д с с [ к ] £ . * * * " 1 ] Т К , но Р к .* [ ¿ + 1 , ', то сущест­ вует цепь /? г/ (5 ), в которой СИ - словом может быть только # , причем 2-го рода, и где /? ц начинается с той же буквы, что и Тк /?. < ^ Симметричным образом^ доказывается •■ ■ V'--