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

Пусть (M4)<(Mi,)i... < (МК) - подгруппы, порождающие основание 5 о р ( М р , 5 ) (24) Y < У, i, ^ Y q , , ' (25) упорядоченные по длинам слова множества М 0 из у р (М а>Я) ОПРЕЩПЗДШ 5. Будем говорить, что в множестве подгрупп ряда (24) не изолирован закрытый начальный отргчок П у £ ,. ^ г‘ слова W = L % & .. Si t6i ■ ■В„ t p, где d ~ 0 , i - 1 ; (3=0, ± ( ; если ряду (24) принадлежит такая подгруппа ( ^ ) = t \ ^ gx...2nK t 4 Ls L 4 -! t f~ ПХ ' LIX что подслово t*B, t(<. . Й, t Ь' слова IV и подслово t*Z левой половины трансформ из № ) принад­ лежит одному левому классу смежности подгруппы & по под­ группе U, , если , и по подгруппе (/., , если ОПРЕДЕЛЕНИЕ 6. Будем говорить, что закрытый начальный отревок f f i t t e‘ слова W*C)fi/ t £' . fii te*4. &n t fn8 nHtP/ где cL~o/ ±.f , p ~ 0 , + I , является изолированным в мно­ жестве слов , если ни одно из , б=± / , Yj ( \ ( W , W '1}} не содержит вакрытое начальное ~ ... Подслово длины ' , принадлежащее классу смежности f где <f=/ , если £ , = - / , и f - - i , если £( (. ОПРЕДЕЛЕНИЕ 7. Буде i называть вспомогательным рядом - подгрупп ряд, удовлетворяющий условиям: (1 ) если ряду (24) принадлежит подгруппа Щ ) - г Х Ъ - ч б , ^ < % t 4 . V , <*■=0, •! i 6 , = ± f ; то вспомогательный ряд содержит под­ группы (2) если слово X = t V 4 • 8 я & % & Ц ..Л е' Ц Р . где oL^O,±1 • (3=(9, 5 S t = ± I ; 6£ = ± f , есть слово И8 последовательности (25) с изолированной закрытой левой - 40 -