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

удовлетворяют условиям: (X) к;(э не содержит деновских областей; (2 ) , . бс/ н'е содержит полос. Доказательство аналогично доказательству леммы 27. ЛЫйМА 40 . Пусть М - особая кольцевая /2 -диаграмма типа ТСЗ) с граничными циклами в" , Т , ¿(М) равно! I ; 4 или 5 и граничный Ц^-слой обладает СйУ£- свойством. Пусть также Ж - кольцевая связная приведенная И - диаграм­ ма типа С ( 6 ) & ТСЗ) страничными циклами о , , гранич­ ные области которой являются простыми и вдоль граничного цикла Т с диаграмма Й. - приведена и специально Я - при­ вед ена. То гда, если Ч’С&о) -& Ч'(&) , возможен один из, следующих случаев: (1 ) /¿^-специальный граничный C R .fi- слой в Ж ; (2) При 5 * ( 4 - <! О ) = о /Уд. содержит одну облаоть, Яо с ¿(%)=4 и = ? или одну область Яс с. 4 6 ^ = 3 и с 1 ( Я с ) - £ и 0дну область с ‘ (% *)*$ ' и с / С Я о ) * ?. Осталь­ ные области имеют ¿(Я>)*4 в У/ и с(Ся)*= 6 ; /¿б~0 - особый специальный OR .fi- слой в Ж ; (4) /¿§-с - особый слои , причем возможно одно из д вух: а)Ы&с содержит одну область Яс с ¿СЯк)=3 и к(Я0у б и или две области 5 ) ' , Я)" с ^ ( * ' ) * { и с(.(%')=с((»")-У-> или одну область ^ с ¿ ( Я ' ) - * 6 и сМ б; ^е-о содержит одну область А> о и с/ (%о)=Я или с((Юс) =?, причем При с ( /А ;)= 7 /¿д-е содержит 2^ с ¿ (Я о )^Н и гАс$о/)= ? , остальные области Я из /¿бг> имеют <■С^)—Н в Ж и с ((Я ) —6 . Доказательство аналогично д о к а за тел ь ст ву случая С«) в лемме 2 7 . ЛЕММ 4 1 . Пусть М - особая кольцевая I? -диаграмма типа 0 (4 )# , Т ( 4 ) о граничными циклами <о , Т , Ж/Ч) равно I ; 4 или 3 и граничный /¿д^- слой обладает С 2 & - свойством . Пусть также Ж - кольцевая свя зн ая приведенная /2 -диаграмма типа 0 (4) Д Т (4 ) с граничными циклами 6с, ‘7’» , граничные области которой являются простыми и Ж вдоль границы У0 А! -приведена и специально /¿. -приведена, 40