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

половиной в множестве слов (25) и в множестве подгрупп ( 2 4 ), то вспомогательный ряд содержит подгруппы: , . Г В, И . .Bs. , .. Д-'t "*,■■ . Л txv* ' Г . 4 ' . ' (3) « ш и ш , Y r « , t v .. s , t 4 ' ' <*=0 , ± ц p * 0 , ± ( i ; 6^ = i f i еоть олово ив последовательности (25) о изолированными закрытыми лавой и правой половинами в множестве подгрупп (24) и слов ( 2 5 ) , то вспомогательный ряд содержит подгруппы: Г 8 Л « , . г1<ч н ~ С д ' г « , ( Ч - А . ^ г Ч . ^ ‘ . „ и а - * ; « К » ; в , (4) каждая подгруппа вспомогательного ряда входит в него один р а з . В дальнейшем подгруппы вспомогательного ряда будем обо­ значать буквой D,- . Упорядочив подгруппы £ t по длинам крыльев трансформ в них входящих, получим вспомогательный ряди (26) . D,< ОПРЕДЕЛЕНИЕ 8 . ( I ) Будем говорить, что олово где c t= О, 1 1 • (5= 0, *1 . 6 = i f • 6 ' = ± f j ооладает свой­ ством ( к ) , если закрытая левая половина и закрытый большой конечный отрезок его изолированы в множестве подгрупп ( 2 6 ) , я среди подгрупп ряда (26) содержатся подгруппы: И Д - ■Г Ч ' £ V - ^ т * “; t W ; G - • C I') ЕУдем говорить, Что слово где о 1=0,i f •, ft =0, t f ; « = i f ; 6 j - *< \ обладает свойст­ вом (ж ), если вакрытая левая и закрытая правая половины его изолированы во множестве подгрупп (26) и среди подгрупп ряда - 41 -