АЛГОРИТМИЧЕСКИЕ ПРОБЛЕМЫ ТЕОРИИ ГРУПП И ПОЛУГРУПП 1986 г.

i берем полуопределяющую после- ЕСЛИ W W (nU>c7 9 8 ) , TO TUI я ж ------------------ , --------- T ................. довательность м 1, 4 , 1 , т г , Л . Если М гф t O*L0olYB), 1 - 2 J / m W ^ " ч . ъ . м т ? , ц , 1 1 , (9 (ш -оЛ 2 9 ) . Лото w — . - ■ / j ■ / ' - - статочно рассмотреть только простые М , Приведем таблицу Пслу- определявдих последовательностей Для таких М » ДЛЯ которых йе проходит приведенное выше доказательство. iti Полуопределяющая последовательность 5 25, I , - I , I , 2!l I I 22, I t , 1, -2 , -121 19 I9 2 , -7 , I , 7 , -19 53 532, -13 , -53, I , -I3 -5 3 2 67 2*672 , 4 3 , 7 , Й -6 7 , -67 107 12*107 , 2*107 , 4 , -24*107, -107 Это завершает Доказательство теоремы 2. с Л и т е р а т у р а 1. Коуровскаи тетрадь (нерешенные проблемы теории групп). б_е изд. ,доП, Новосибирск,1978.-96 о. 2. Игнатов Е.А, Несвободные рациональные тойкй комплексной плос­ кости. - В к н .: ХУП Всесоюзная алгебре онеская- конференция: Тезисы сообщений. Минск, 1983, с .62. _ : 3. Мерзляков С.Й, Линейные группы. - В к н .: Алгебра. Топология. Геометрия. Т. 16. М.: ВИНИТИ, 1978, о .35-89. ~ ^ й. Лыченков С.В. Группы, порожденные двумя уййтреурольными 2x2- штрицами. - В к н .: Вопросы теорий групп. Деп. в ВИНИТИ 28 февраля 198Й г . , JB 1115-Ой, с . 27-31. 5. BrennerJ.L.; fllacCeod Rtf., Оl \ s Су 0.7). /Ion-free orcupi ^generated /у г'иго 2*2 rnatrieei. - Con'7. / У П а Щ 2 9 2 S ; 27, мУ . - P. 2 3 7 - 2 9 S 6 . Lyndon 0.S., l/CC/nan J.*6. Groupi oeneraleo/ fy tare poraCoCic Pinear fra c tiona l Inunifor/yiationi. ~Cor, ] .Ш к ; 1969, 21, A/ С . - P. 7338-2903. - 8 0 _