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

или £*(/2 +я - 1 (а»)фо. ф ' ^ ОПРЕДЕЛЕНИЕ 2 2 . Пусть № - особая кольцевая /2 -диаграм­ ма типе Сф)(?.Т (д .) с граничными циклами 6~ , Т . Тогда граничный слой (А^.) диаграммы М назовем особым граничным слоем, если \ * (% + 2 ~ ¿СЛ ))< 0 + 5 - £ ^ « Э ) . ЛЕША 3 0 . Пусть М - особая кольцевая /2 -диаграмма типа С (р )£Тф .) с граничными циклями 0" , Г . То 1 'да, если ^ (<£ '+^~1(л))> 0 ) то А 4 д— специальный граничный слой. Доказательство очевидно. Пусть м - особая кольцевая Л? -диаграмма типа тогда сумма ^ (§ + 2 - ¿(Я)) на 6 ” и Т* может одновременно принимать следующие значения: . I . | ^ + а - £ ( Л ) > £ 7 , 2 . | * ( $ - к * ) ) > о ± 3 - Ъ * С $ + я - ‘ ( » ) ) = <?, f Ч $ + я - 1 (» ))> < ? ; 4 * +/ - £ б » )) > ¿7, | * ( ^ + л -с Г » ))= < 7 ; 5 ‘ 1 ^ 1 + г - г г л ; ; > о , ОПРЕДЕЛЕН!® 2 3 . Будем говорить об особой (? -диаграмме М, на граничных циклах которой Бермуда кривизны удовлетворя­ ет одному из условий 1 - 5 , что она имеет граничные кривизны / > { < ] < 5 '. и этот 5акт обозначать Заметим, что если М является особой Й - диаграммой типа С С б )Д Т (3 ) или С (4 ) 8 Т (4 ), то форяула кривизны на её границах принимает одно из следующих значений: - 1 0 I * если же М имеет тип С ( З )Й Т ( б ) ,. то значения: -1/ 2 ,’ 0,’ 1/2. Ш Ш 31 Пусть М - особая кольцевая Я -диаграмма Гт&и № ^ т(Ф и пусть каждая граничная область 3> диаграм­ мы м (,М / является простой, тогда Ы'(Ы") ; (а ) К - приведена, (б ) специально $ -приведена, (в) не содержит ни о стр о во в , ни полуостровов. При доказательстве нужно рассмотреть случаи , когда граничные кривизны равны одному из значений 1 - 5 . типа " " УСТЬ " " ОСО0аЯ КОЛЫдеюя £ -диаграмма типа С Щ Щ ) с граничными циклами <о , Г и граничными кривизнам, ¿ (Ю Ч ш ^ О П ш * и л и ^ Т о г д а 36