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

дезическому пути, соединяющему вершину 0 о (У . йсли путь ? не удовлетворяет лемме 47 , то выбираем путь 2 ' , гомотопный и удовлетворяющий ятой лемме. Ь результате получим путь гомотопный 2 , и ? ($ ) = можно считать что к = о и 2 ' » ^ # Пусть ? = тогда >. Построим базисную последовательность: *'■ ” т л ? < ' ^ И ' « - . . « ® , ) , Р хтггпы.ш I// ; ^ в которой ^ 1 , 7 , ¿7 Тогда последовательность Ч * * . киппшт 'Л/° ' ^ № « ) , ИЙ, фундаментальна и £ = ¿ ¿ 2 , > где и - * « ? ,> . , . Г ( е т ) у г е . . Г . .. Г ( е , Г \ * * Ч * Ц . . . П * у - № * , „ > . . « • « , ) , и « Ц (*,/</*/. Покажем, что Последоштельность *<>, Щ ) , п « ? *гЛ т ч баэисная и слово 2 , = ^(епг+, ) . . . яш я е т с я меткой некоторого пути диаграммы Я 0 *С { Щ) с граничными Циклами <5*, Г 0 и с 4 ^ ) = ^ 1 % " ' соединяющего вершину ^ ^ с ^ Гс . ^ ° ШДу - чится из м0 след.ующим образом. Пусть е с т ь метка граничного цикла ^ кольцевой подпрограммы М{ диаграммы М0 , а \Л/т - метка & коль­ цевой подпрограммы Му ; ы£ получается из ^ удалением слоев ®в > , а •М/ Л </ , удалением слоев Удалил? иэ М 0 кольцев.ую поддиаграмму, образованную слоями /Л? г>__ - . . ь * > - Мяучим две диаграммы М 0 / * • М0, имеет граничные никлы бР, б". п м ^ * I * а 1 'о5> — 10