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

Возможны следующие основные случаи: ( I ) 3 я е ; д я п в а с ? Д / 1 6 • (¿) 3 е А^ : ¿><г>/ о з £ г = е , I (Щ ) г(£)л) * з в М , (¿ 4 ¿~1б)и ("е?^ О б ) 3 д 2)ап&; ( 3 ) 3яи *а,%еКъ'. дй'Пд^е, £<**>•*, JЗ Л }, ¿2)3г)6шО' (’д£,Ов)^СдЩ1П!Э)^зЗ}0п б - 3 д%п<Юг=е, д\л<®=в\ ¿(»¿из /¿из ( ™ .™ Ы А \ п в ) ^ ( д 3 )з п 0 )=>(с>§>о п в ) ; ' _ ”^Ь ^ €^ " ’ ^ Л ^ + г * Ф , ‘ = ТЗ, с)Я3п б с / ; 7 ' ; ' ^ - м « ъ н о ъ > - 4 . « » » - г в м а д»ц пб- =о , , ^ , (дЯ, 0(3) V (дя, п е ) и № '96-; о ^ ^5- в случае ( I ; метку области Я можно раз(31,ть меньше § на 3 ку ска. В случае (2) М будет содержать внутреннюю вер - ну Г с *> 3 , что возможно в случае приводимости поддиаграммы, образованной областями ХЪ , Я, » . диа_ п и о ^ л ^ 0 тк-'?'Да непосредственно следует приводимость метки слуадю « Г ' И ^ ’ ЛИ<3° ° бЛаСТИ ^ • СлучаЛ (4) аналогичен Рассмотрим случай ( 3 ) . Так как метка & не может быть разбита меньше, чем на 4 к у с к а , то поддиаграмм , образован - лестями , Я , , ^ диаграммы "М, приводима. Но тогда к областям Я , , # * . , * , % -сл о я диаграммы М можно применить Л - преобразование, в результате которого области Я , ,• Л*, , А преобразуются в области $ X Щ такие, что либо д я } п е = у дЗ> 0 п е , либо Э Ц п л 6* Так как области ^ - слоя обладают свойством , инва­ риантным относительно д - преобразований, то « У ■ * < * > ■ * . И * . / . д В р езультате данный случай привелся к случаю ( I ) . Случай (6 ) аналогичен (4 ). /‘ОПУСТИМ, ЧТО ОблаСТИ Я). 2" птишт.»«.. 1 > з. >■ , " а , принадлежащие К £ о - слою , образуют р о л о с у с" в Ж , поэтому 1 (Ъ )шЪ> й< 3 ^ > в К Выделим в к в - слое ди агр амм М •¿&