ВОПРОСЫ ТЕОРИИ ГРУПП И ПОЛУГРУПП 1972 г.

- 7 3 - -Ч у . . ^ W” s Уy » s * A , (76), причем каждое слово У / ряда(7б) обладает свойством ( * ) относительно ряда (73) и ряд (73) является вспомогательным для рядов (74) и (75). Выделим из рядов (74), (76) максималь­ ные подцепочки, являющиеся соответственно истинными подцепоч­ ками рядов (47), (46): (76) (77) •''W J З а м е ч а н и е 3 , 1 £сли длина меньше длины трансформ подгруппы (M i ) , то из ряда (76) выделяем макси­ мальную подцепочку подгрупп ( М ^ .) , длины трансформ кото­ рых не превосходят длины & ( J , и рассматриваем её вместо ряда (76). Пусть длина трансформ подгруппы ( J U ^ ) не превосходит длины слова ) не вошедшего в ряд (77). Рассмотрим подгруппу ' , порожденную подгруппами ряда (76) и словами из (77), длина которых меньше длины трансформ из подгруппы (Mi^ ) I а именно: у; * у ; ^ £ // ^ ±4 > (78) Обозначим её # р ( Ъ Л , ^ (7 9 ), Теперь сравниваем длину трансферы подгруппы (JU ,‘t w ряда (74) и длину слова У /,, последовательности (75). о£) Допустим, что длина У<^ меньше длины трансферы из