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

Ш ' ) = ш * ' ) ч М - Разрежем диаграмму М по ребру с£~г будет иметь граничный цикл < ^ 4 4 / . Б результате о б л а с т ь ;» -f.it 1-1 область &з - V ^ Л ' Л * ^ *» о V X .О ^ 4 л 4 г ^ з ^ , где Р & / ) = и / С к л е и в ребро Ги с . получим диаграмму, которую обозначим Л^а данное преобразование - . Через Л л обозначим преобра­ зование, симметричное А п относительно области ¡ 0 ^ , в кото­ ром участвуют области Х 3 Пусть М - кольцевая /? - диаграмма типа С (¿)АТС6) с граничными циклами 6Г , Г и пусть Я, , \ , Х 3 _ граничные* области М, принадлежащие Л^-- слою, причем I ( » , ) * № ) = 2 , $''**<% Л Ч Ъ - ■&! . X; граничные циклы соответственно что т ) * а Щ ) , т)-т Введем „а Г , /)' у-4 1 л /у # Допустим, Н.у а на сС вериш- вершину С/" , которые разобьют их соо т­ ветственно в произведение путей: ^ ,= ^ ц ^ г , ^лх> где > а д > д а Разрежем диаграмму М по « 4 . В результате область будет иметь граничный цикл $ <%л . а область - где склеим <£, е 9 т • Это преобразование назовем А ^ -преобразованием диа­ граммы М. Через 4 П (М) обозначим результат данного преобразо­ вания. Через Л д обозначим преобразование М, симметричное Ап относительно % , в котором участвуют области Я>Лу ¡ 0 3 . Над диаграммами типа С (3)# , Т ( 6 ) рассмотрим ещё два вида А - преобразований. /ъ!'ТТЬ' ^ \ * 3 + - граничные области из с И /)-<-(^ 4 , ) = 2 , и I (&д .)=1 ( 2 )л ) ■= ^ соответственно с граничными циклами < £ < £ 4 , Я,#х> 4 ^ 4 , ЛУ'сД ^ . Допустим, что « ¡Т О - и Г ( Г < ) , < д а = < ? Г 4 ; ¿б '/ введе,, На ^ промежуточную вершину <?' , а на ^ в р езул ь - Тате имеем: ' $ = Г и ?и , < 4 = 4 г ^ 2 , где < № ) = = д а ) д а а д д а ) и д а = д а ; д а > а д > 4 Раз№жем М по ребру с£г , в результате чего область 3 , 23 ■