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

Тогда при 4Yff) возможны следующие случаи; U ) X*. -специальный граничный CRK - слои в J f \ <2) При % ( * - < ( * ) ) ~ 0 содержит одну область Зу о i (•Чо)т3 и ii(& > )*S ¡¡ли 0дНу область с < ( Я с ) * 2 и d ( & o ) * 4 или одну область % о ¿ ( Я > ) » 4 и d(tol>)*5. Оотальные облаоти Ä > «^ имеют L(s>)=3 в У л с((Я>)~4; О *<ег0 - особый специальный OßtC - олой в JV ; W ^ с0 ~ особый слой, причем возможен один из тр ех слу­ чаев; ё) Uqe содержит одну облаоть Яс о и d (& )**4 м две облаоти Я', Я" о ¿ ( » ) ~ с ( Я " ) ^ 4 и б) оодеркит одну область % с i (2b)-4t с/УХь)=6; *) dfr0 содержит одну область Яс с ¿ (Я о)= 4 и' и одну область ¡0' о КЯ ')™ 3 и d (& )=& . Оотальные области имеют ¿(*> )*3 в Л ' и d (b )= 4 . Доказательство аналогично доказательству случая (И ) в лемме 2 7 . ЛЕММА 4 2 . Пусть М - особая кольцевая ß -диаграмма типа С(3)Л Т (6 ) с граничными циклами ф , Т , j(M ) равно И 4 или 6 и граничный А'р-олои обладает C R K -свойством . Пусть также Ж - кольцевая овяаная приведенная ß -диа­ грамма типа С (3 ) £ Т ( 6 ) о граничными циклами в с , т0 , граничные облаоти которой являются простыми^и .Ж вдоль граничного цикла Т0 ß - приведена и специально R -при­ ведена. Тогда при Ч (& о ) “ ^С&) возможно: G ) специальный граничный CßJi -олой в Ж - (2) К в - особый специальный ORK - слой в У/; ’ (3 ) ^ с о~ особый слой , при этом возможен один из следующих случаев: а) К ео содержит отрицательную свя зк у областей 2 /t 2 из которых одна имеет степ ен ь, равную трем, другая - четырем- б) оодержит одну положительную свя зку и области 4 » ЯЛ таки е, что ¿ 4 П д Я c =( t ß f с =L(ty)»3 и c i ( ß t ) ^ci(S>3) = 3t d ( 2 ) 2 ) ^ 4 . Доказательство аналогично доказательству случая ( ü O в лемме 2 7 . 41