АЛГОРИТМИЧЕСКИЕ ПРОБЛЕМЫ ТЕОРИИ ГРУПП И ПОЛУГРУПП 1986 г.

c\i a c\* c l? • ^ 5 2),4 0 ,* ' I N -начало, К. - нонеп), и пусть C / j JZ>( 4 - 2 ) ^ - определяющее соот­ ношение. HO C 1 J_| - Y iS С15 » C1S U - 2 ) i - также определяющие со­ отношения П ; если учесть, что C1S§ С,'s c/J , C / j 2 Cis С ,1 ^ то вышеуказанные определяющие соотноше-* q * ' l * И S s Су Су q ; и ' * й> » Ф 2 > ^ г • i * Полагая fy C,V* , X i _ I к ( 1 4 , 8 1 C s s . Ся и . Ъ 5 0 К 1 полечим: °i. Д У В Е Y s j p * 4 p 1Кp (l L*S L H L1S ■**» p 1 Г * т Ms C s - определяющее слово. 8. u ' s ВС - У® Ж Е &1 - определяющее соотношение. . 3 . V-'tl 2 - определяющее слово. Это противоре­ чит уоловию Шопределения класса У . Совершенно аналогично приходим к противоречию, если иолагать С7 Е Ci l^ r Допустим ct о уД 2 ),Ч , где Уи т у ' У," , С г- Y1SVisas’ s — 0 , . - <0^ - определяющие соотношения. Полагая /) чг Y , s , У | С ,5 , В 2 0 ,н , C l £ ) ? - • У J 2 )'li i ъ и ' , получим U Д Х fS Г У ,", <?1 f Э , * - определяющее слово. 8. i2),4 1 £>, 1 ВС - C j i / Г Ь / 0 - определяющее соотношение. 3. Х у з е с ^ с А д , c r i - определяющее олово, что противоречит уоловию Шопределения класса к . Авалогичво получим противоречие, если предполагать, что