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

и в последовательности (Д ) левой половины, то вспомога­ тельный ряд содержит подгруппы: i-ijf О ^ глы,у • • • ' t I j y ; .... U ij Qt/g > Г4~у ... ( ' т i*w д —Ъц')— ', ^ >A a ) 3) если = U y ^ -m ^ h rrn ^ -‘ - слово из поеледо-^ вательности Я1) с изолированной левой и правой половина­ ми в множестве подгрупп (10} и в последовательности ( I I } , то вспомогательный ряд содержит подгруппы: го-*,у iijf Oi l# > Гц—r/*-*>y' 4 ) каждая подгруппа вспомогательного ряда входит в не­ го один раз. Подгруппу вспомогательного ряда обозначим 3>j , J - номер оо во вспомогательном ряде. Упорядочим подгруп­ пы по длинам их трансформ: 5* * D * *'•••■* D „ ,. (12) Построим характеристику множества It -символов под­ группы М -^ р (М о ,$ ) • Для этого зададим отображение Р на множество нетрансформ Мо и подгруппах ряда (12) следующим образом: _ Г r\j4•.. JL Гк-... P4J ; если е А* ; ••• r<d • еслИ Гк6 £ А2 * d , ft - символы единичной длины. О п р е д е л е н и е 16. Характеристикой множества U —сжмвоиив подгруппы М= ^р(М<?,&) назовем набор ™Ч>: J =((p 4 ,l) ,-..(p i,t) ) . где Pi, - число элеиэн- то» P(^i) и ’Р(Рь) длины i ; 1 - максимальная дли­ на элементов из |p(i^.)j г. [ ? ( % ) } . - ТОО-