Ученые записки математических кафедр вып. 1970 г.

- M i - очевидно «ожег быть лишь (при Х , е / ) . Учитывая, что ¿ ( К ) < 1 ( К ) , получаем искомое противоречие с начальным пред*- положением. Наконец, если К не содержит замкнутых подцепей, кроме ебя, то в АС нет двух слов начинающихся с одной буквы. Отсюда с, (К) $ 2 п и ее существование противоречит определе- нио группы. Лемма I доказана. ] ,5 2. О представлении слова W = У. . Алгоритм Дэна. пусть р г р ' р * - $ а ^ а яп л группы С V, ' ~ слова в образующих ■ ram , С. . Ü T O , г о в о р » ,, „ „ р , ам я о л е й с, вдет с а . если при данном способе сокращения ( Я г г ^ 'имеет меото °*РМ»ния ( 9. с. с. ) произведение PSQ. ниеет место правое сокращение Р \ помощью ( Г вие назовем простым, если Р ар ' и Q * Q* * взаимодейст- " • « - н е между р . в обоэначии J ~ " отсутствие через Р л G . ‘ Р 8 Ы , е г о рейдем к известному представлению слова W = 1 » Г U * непустого несократимого слова W = 1 с J r i С ’ число f , слова Т , у ^ ует натуральное ^ ■ м ■ , \ такие,' что ' ‘ * 0Г1реДеля1,ЩИе «* «> * W s П Т R Т . з ■ и° Ш > m ® 1 обозначим через [ i t ] „ ‘ " * * ' 1 Щ ЪШ 0П0С06 сокращения. Под ^ ***** ПР° ИЗ~ Снимаем Способ ^ с о ^ _ ( ' * j < * J t ) ^ ограничения общ н<«тТв"7ЛГДУЦИРОВ4йИ,Й “ “ С*С* « свойства: ' “ 0ЯН0 предполагав следующие \