Ученые записки математических кафедр вып. 1970 г.

т 8 « 1 - / Тогда при обратном отображении Ч’ ~' ъ П должны иметь 4 = у ' ( х ; . Это означает, что существует последовательность элементарных пре-, образований; переводящая в слово У ' РО . Но это воз­ можно тогда,- когда есть определяющее слово. По предположе­ нии 81 не является определяющим словом. Следовательно',’ достаточно указать образы образующих элементов1; которые являются определяющими словами. Так как ни один образующий элемент из этой группы не принадлежит подполугруппе, порожденной остальными образующими, то образующие элементы, являющиеся опреде­ ляющими словами, входят в определяющие соотношения вида % . (5 ) По допущению Ч изоморфное отображение полугруппы П4 на • следовательно, в /7г должно выполняться ргвенство * * ( * 1 ) * Ч ( В ) Ч ( * 0 • Это означает, что существует последовательность элементарных пре­ образований переводящая слово V ( И) • Х 1м- . . г Х л 1 Ч>(В) 4>(£с) в слово Ч( В) Ч ( К ) £ где (б), ■ К * « М г , , » 1 =• ,щ о „ о п р е д е л и ,« ♦ ооотношений полугруппы П г При обратном отображении в Пг Д0Ланы иметь месте следующие равенства г г ' Ш ' - к * » Ч’~ '(Р1 )ч ',(*)ОЧ’', ( а о = 4 1 ( г ) ' г ' ( * 0 - * г ‘ ( ь ) (8>