АЛГОРИТМИЧЕСКИЕ ПРОБЛЕМЫ ТЕОРИИ ГРУПП И ПОЛУГРУПП 1981 г.
(42) у . t u r n s ' ; ы х ^ х и . Под действием преобразований $>г , Слово Y j преобра зуется в слово X ' Y j Y ^ Y ^ t ^ & t ' b Y i c T ^ & f i Y L , а подгруппы (41) - соответственно в подгруппы: Т Й - ' Г * С М £ . . Легко видеть, что слово X X X обладает относительно ряда (3 6 ), в который преобразуется ряд ( 2 7 ) , либо свойством ( ») , либо (ни ), либо (ю к ). (г) Пусть X - Y U[t \ t b Y ic t 4 , t % t r i YM - •r u r % r % c * x , t 4 t r c , , и ъ & ы , l па г * - ) » ( . Допустим, что v v ? , v a является максимальным закрытым начальным отрезком X , не изолированным в множе стве подгрупп (2 7 ). Поэтому ряд (27) содержит подгруппы: X , r * £ ' ; W ^ Y u ' (4Э) Слово X под действием преобразований , «% ; переходит • олово а подгруппы (43) соответственно переводятся в подгруппы: „ X ? c W > Ус t » G t ряда (3 6 ), относительно которого слово X обладает либо свойством ( н ) , либо (нн), либо (зр * ). о (д) Пусть V '" . ' f % - y «t*a (аУс
Made with FlippingBook
RkJQdWJsaXNoZXIy ODQ5NTQ=