АЛГОРИТМИЧЕСКИЕ ПРОБЛЕМЫ ТЕОРИИ ГРУПП И ПОЛУГРУПП И ИХ ПРИЛОЖЕНИЙ 1983 г.

символа tl< : 14ЛУ и , Аналогично рассматриваются остальные подслучаи. Случай 3. Цусть V = А и, как показано в лемме I I , -А можно считать таким, что оно является подсловом левой половины некоторого U -символа с длиной 1(A ) ^ | гтшс [1 (1Ц )^ . Тогда • A d v O o =U<—Lli , и присоединение V ' к подгруппе N равносильно присоединению A h -4 Ul а » а это соответствует обобщенному правильному или неправильному разрыву U -символа. Лемма доказана. § 5 . Характеристика специального множества и ее связь с корневым расширением 2 -г о рода Пусть (Н ^ (М гК...с(Мц)- (ю) подгруппы ряда ( 4 ) , порождающие основание S ^р(Мо,^>) и Ц* ~ СИ) упорядоченные по длинам нетрансфорш из Но . О п р е д е л е н и е 15. Будем называть вспомогатель­ ным рядом подгрупп ряд, связанный с рядом ( 10 ) и последова­ тельностью (II) и обладающий следующими свойствами: I) если ряду (10) принадлежит подгруппа ( ) = rnj rnj ’ " Г*1 » то вспомогательный ряд содержит подгруппы вцца: О Г, где значком О обозначены группы и -Ад , причем в каждой подгруппе ... г^- О r > j ..■ г\^ Ц < ] ° Гпч .Г -’'< «■Ад» В 1 в с т о О имеет­ ся вввду Л* I если г > и наоборот; 2 ) если ’ ^ Ку Гтп^••• - слово из последо­ вательности ( I I ) с изолированной в множестве подгрупп (10) - с ? _