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

область которой является простой. Тогда, если к'д- является специальным слоем, то 1 д 2 е -П с 1 М 1 > [ д К тПдМ'\. Доказательство очевидно. ОЩадйЛЪНШ 9. Последовательность областей 2 >гл , / 4 2 , принадлежали* -слою ('/с?--слою) кольцевой связной приведенной диаграммы М типа С(3) & Т ( 6 ), образует отрицатель­ ную П ,-с в я з к у , если К/ , / « / « Л , ¿ ( Ъ % 3 . К г', / 4 ¿ < п , гт-< пересекаются по ребру; аналогично области Й), , . . . , • из ^ е -Г ^ -о л о я образуют положительную П. -с в я з к у ' если Ц . Ы Ц г , г , и К*, / < М , , Я»5+, пере­ секаются по ребру. В дальнейшем отрицательную ( положительную) ¡¿-связку будем называть просто отрицательной (положительной) связкой . ОПЕВДЬЛЕЬ.Щ Ю. кольцевую связную приведенную Я -приве­ денную диаграмму М типа С (рЖ тЦ ) с граничными циклами 6 , <Г с простыми граничными областями,ее содержащую полосы, к к и М. косорот не являются специальными, назовем кольцевой специаль­ ной. к -диаграммой типа С(р)&Т(<р . 5 - Для кольцевой связной М - диаграммы с граничными циклам* у к Г р о пр° с™ ш граничными областями выражение ван^ие ^ т - обо зн ач ает, что суммиро- 7 ^ “ . * = " • ■ " » „ „ " Р “ Д ЬиеЮЯ оп ещ ,м ь » " * Й - д и г р а м м тогда ” 1 Т ( 3 ) 1 Т « " Г ' Юг Л л , Г 1 « - Дидрааа» типа 0 ( 3 и Т ( 6 ) . Тогда - ,Г » )) < и ) М ^ ( 2 % - с Ш ) > о ) ; г г ет т е ^ такое’ чт° каждая ич ’ кпфп / ^ ~ граШ!ЧНые облас™ М, принадлежащие А»в- ВД I 3 «оторых д а е т отрицательную ч асть в сумму 2 + гда Н ° . Ж - % , т Д « . Г Т о г д а г . « , , - . “ " “ 8 3 0 ”" 0 1 " 1раничный слои й г содержит по меньше п ^ к Г ' а ° ’ ' й ° “ ,,т р е " в м степенью равной д а * . ^ л е „ ^ я:г :,т | ° т < шл т ш °т а - •*** « г.» н у г трем , то в » ¿ ‘ ¿ р ' ч и ' д , * 7 " " ,а д ™ Ш ' * * * “ либо И ь- ~ специальный слой ,