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

выделенное начальное подолово из Ъ'л ~ ~t^ct совпадает с ' . Тогда &t, определяем аналогично тому, как это делалось в 2 .1 , если в подгруппе о р (М 5 % ^ > ) , где S F ) , (Н C4J-) содержатся порождающие подгруппы (П| j с крыльями, не равны- ^ Если $р(Мо * )= С г Сг и подгруппа (±Л..t^B04%p(Mo, 6 • t ^) - с, < g , то решение сводится к проблема сопряженности в группе G , Пусть выделенное начальное подслово в слове не совпадает с г^д . Тогда К ■ ■ . < л ‘% 4 t s * ~ •t & В . , причем каждая подгруппа ( М ^ З f o j , принадлежащая ряду ('Зв), удовлетворяет соотнопвнию ЙО) а каждая подгруппа (MjsJ ряда (37) удовлетворяет соотнопвнию: i \ . C » i % & v (t,(4l) так как в протишом случае выделенные подслова I & -u^£J -< л-£'щ +&п* -р6»- ,4Р не будут максимально возможными, полученными соответственно при умножении "W" слева на слова из OpC^o,1* ) н справа на сло­ ва из S/"J . м Кроме т о г о , подгруппы, порождающие й* , могут быть подгруп­ пами следующего ряда: v , r b V , i % i \ г г< А - К » - ' - » * ■ подгруппы, порождающие SV , могут быть п< .... X P-ix ••• ^г1,хь- Xrl4t ^П^Х'-'Х Подгруппа C^X j) из ряде (28) имеет ввд: - 7 2 - (42) одгруппами реда: (4 3 ) О