АЛГОРИТМИЧЕСКИЕ ПРОБЛЕМЫ ТЕОРИИ ГРУПП И ПОЛУГРУПП 2001 г.
14 Ь Д о к .™ 1 ). Из того, 330 D в К закона, б О п о .З О п , - две « рц„ ' " W ™ *<30> £ 2 ' ™ “ * » “ “ "«■ (М - — а о ^ и о з ностью диаграммы К). Если ж еШ п а -в е рш и н а , a BDnx содержит ребра, то в слове ф(т) ест! Л-сокращение, что невозможно. Ц т т , 2 ), Если в . единственная область с одним ребром , , . существует область ZT с более, нем д ,ум, ре6ра„ и на юк , ■ом слун«. склеив д и в ,« „ „ „ я р а днатрамм,, л: в 1 -слойную диаграмму л , , граничными метками *№ ♦< ,)> , „РШ 1 е„ . „ 0 , ^ ^ ^ л -сокращение, что по условию невозможно. Пусть области D„D, имеют „а р по одному р, бру. м„ и0 с ч т т ^ ' 6ЛИ" ‘,Ш“ * 4 ■ * • — • свойством. Если в Г м еж д , д . с К С областей, то области в,.В, определяют * -сокраще все области и, i f , расположенныемежа, имею, „о д„ребра слове ♦(,) есть « -сокращение, что невозможно. Значит, в к между „ . есть область с более, чем двумя ребрами на о . Пункт 2 ) доказывается аналогично. Л с д 2.3. Пусть К,.К,.К, - ]-слойные кольцевые д и а ^ м ь , ми предположим, что „р„ , ' . Ш , «нз область с одним р«бр„„ Яа о, , .се сенени ело, Д.Д -несократимы. Тогда, если все три диаграммы имеют„д„у „ „ Же траиич- ную метку на одной из своих границ то лве из чтит „ ми друг друга. Щто две нз этик диаграмм являются копия- Дот т и т т . и , замечания следует, „ о . диаграмма* „6ласги „ одним ребром на о, чередуются с областями с более, чем двумя ребрами на о ,, Ито же верно для т,,/ = 1,2,3. 40
Made with FlippingBook
RkJQdWJsaXNoZXIy ODQ5NTQ=