Алгоритмические проблемы теории групп и полугрупп. 1994 г.

Тогда вдоль пути те‘~') может содержаться т 0 , ТП 0 ^ 0 , облае­ те.! Я о ¿ ( Я ) * 5 в М и в'Мв и 7 П 0 областей о ¿ ( Я ) ^ 3 в М “ » Я м причем при движении вдоль 0 т Я ^ п е р в о й с встречается облаксть Ж с I (Я ')~ 3 в М и в М0 . Наконец, если ¿(*>и в д о> то ( » “ >)*£- вМ . Тогда вдоль г 1'1 Лиоже? содержаться гпа > / ( областей •» с ^ / ^ в М и в Мр и 7Па~ / областей Я ' с {(2>')=<Гв М и ! причем при движении вдоль Т^‘ ^ как в положительном, так и в отрицательном направлениях, первой среди этих областей в стр е ­ чается область Я с « * ¡ > - 3 в М и в М0 . Из рассмотренных случаев с л е д и т , что Условие, что /С- явля­ е т с я в 1 й с, Р л - слоем, очевидно. . ** (.0) Случай, когда М является диаграммой типа С(4 )1 Т И ) почти дословно повторяет выше рассмотренный. " * » ■ я ь 'яется Диагрвммои типа С ( э ) Ц « 5 ) . Т о гд а , приме- к I формулу Кривизны и учитывая, что области в '£ Ш®ИТ внутреннш степень равную двум, получим: ^ % ~ * ^ + ( 2% .-^ (Я )) ¿ 2 . Так как вдоль Г ,% £<> Нельзя выделить полисы, то Г<и> 2 , = Л Отсюда сл еду е т , что в Г-' вдоль границы 0 « * / « ' . * , содержится ^ , * , по‘ло_ ■ V ' - ° Ч ™ т е л ь ,н х .'„ Рн ,е ,/ 1 ’в „ 1 . жительном, так и в отрицательном направлениях по £ и> среди с в я зо к , граничащих с &<> первой встретим положительную Рассмотрим облаоти 3 / , 9 / из / 7 'Г а ки е , что л К Й Р ч . * Покажем, что в ^ Т Г Г враничцые области , расположенные в д о л ь ' У ' . Т Т 1 ? Л - 1 */. 4' ... А,', где Каадая из перечисленных областей , / * / * « имеет в Г ' г — - степенью дня ТЛ ’ *■ °°ластью ^ о внутренней « ' * " , ЭТЙХ обл а стей * а пут1 1 л ' е - Р ^ а ''й, /заменим ребром б Ана- ° П° СТУПИМ ° з р и т е л ь н ы м и связками . В р езул ьтате по- 74 П 08 № последовательность областей £>" су/ т < / . , для которых Н ( I * ( ( - « д ,а г р а ш а , п о и т е м я ' й ' 'Г ! результате указанных преобразований) ^ ( 2 % - £ ( з ь * ) \ и 0 ' , ¿ с у '