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

4 . К л а с с е н В .п. Строение подгрупп с тождеством в группах о малой ьерой налегания определяющих с л о в .- В к н .: Математические заш тки , т .2 4 , М., IS78, с . 305- 312. 5. Сд г о иД 1г '* И. (/‘n ГЧhiVs a'lr.j- rithniS j с Ih».* i4щноису cuid p r o r Uw - t l b app'UcalioiiS л-cmin. pure oppt. truth., 13, I960, c . 641-677. УД1{ 5 IS .4 Б.П. Ваньков О ГРУППАХ С МАЛО.' ИЗРОЙ НАЛЕГАНИЯ В настоящей работе рассматриваются группы, заданные об­ разующими и определяющими соотношениями. Пусть СА - конечно определенная группа с множества™ образующих X = |.Х ■ ! , . . . , Хдя ^ и определяющих слов R = \ 1м , . . . , 1м'\\ , где \Ц , 1 = I , . . . , m , явля­ ются словами в символах Дj ’ 1t ^ = I , . . . , т\ . ^гдем использовать следующие обозначения. \h\ обозначает длину слова А. А " t'i означает, что слова А и Г> идентичны. А Р> означает, что элементы группы ( ч , определен­ ные словами /\ и Г' , равны. \ обозначает Г " 1 , то есть сл ов о, обратное Г . Удаление подслов ввда УУ и У У из слова W называется, свободным приведением слова lv Свободное приведение всегда будет максимальным, то есть если к слову /\МЧГ> приквнили свободное ппиведэние и по­ лучили слово А Г' , то обгщз начало 1\ и & - пусто. Слова, которые не допускают никаких свободных приведений называются свободно приведенными. Слово W назидается циклически свободно приведена™, если любая циклическая пе- & Y - / Г т у д а в с им. JLH. Тодеде* НОБИ-UtVT» ( 6 а&шт«ц)