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

где V е с т ь ±2 5 или- 2 3 . Строим теперь полуо предела гацую и да- терминированчу ю по следовательности: i 0 I 2 3 A | 5 6 0 I u, c, £ v e 2- 3 a £ 1 0 b " J 1 -3 t u t + 3 t 2 “ t. - 3 f * все члены были отличны от нуля. Расчеты показывают, ч т о А} ~ 0 только при в —5 . Проверяем также, для каких значений -6 имеют место ограничения используемых лемм 3 - 6 , и убеждаем­ ся, что полученное значение 6 -S является единственным, для которого требуется отдельное доказательство. Зто доказатель­ ство сводится к построению полуопредела идей последовательно- к 0 I 72-5 -23-52 -56 *5 3 17 *5 4 -г ^ -5 5 -7* 5 6 -16 -5 6 i 225 - I 8 - I _4 i I 5 -27-57 8*5 8 37 -5 7 -96-5^ 157* 5 5 I I 2 - 5 4 34I-5 3 72- 5 2 - I I - I I 2 -4 - I -15 -23 ’ 52 -8*5 I 0 2 -9 25 Это завершает доказательство теоремы. Список использованной литературы 1. Игнатов Ю.А. Рациональные несвободные точки комплексной плоскости // Алгоритмические проблемы теории групп и полугрупп.1Ула: ТУл.гос.пед.ин -т, 1966 . С .72 - 80 . 2. Bren,к г J.L., ОЪеСеес/ рО., C£eity £>.2). tlcn-/гее groupi geoeraito! /у iuc 2*2 rnatricei HCon, J. h a U , t 9 ? 5 . 2 ? . * 2 . P 2 3 ? - 2 2 5 3 . L y t i d c n РССт йп J L . Grc<Jf"> O y 'tti'ra lic r b y / w c ' flaroicCic ( u n a r /r o c t tc r o l f &>/■:> fc /n r 2 , b n / / C an]M a tt,., !9(r9 2 i . \ 6 . P /3 8 £ ■ /9СЗ 49