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

-117- ■ H> N*i. Тогда существуют числа J , j такие, ц^| ■ f y O ) = W ) - Тогдв X ^ l i f a 'z 'f y ) = = 'К K x f x ^ x .x f j , = = ч* Удаляя is всех честей равенства равный влемент, ввключенный в скобки, мы получим: *rK,(i)*-t,0 * гФ ) * Ф Ц - Х1 j ) *s-*s(S)+*s(Vt M2 ■=...= X} u)s ~ / j что противоречит выбору числа lb . Ив доказательства легко следует алгоритм, устана^ ливаоций истинность или ложность предиката Р: 1 ) строим множество М= / / , U i * Nrt*l]} 2 ) пусть i-t < N+Z+* уже расс 1 ютреи| и отвергнуты, пусть выяснено для j~ , i < $ , чтоI уравнения Z j UI j = у1 раврешимы и £ f , Выясняем, разрешимо ли уравнение - }Jl Если нет, то у 1 отвергается, и если i = то ааключаем, что предикат Р ложен, если же i<N+ t+ l , *| переходим к рассмотрению <jl+l . Если уравнение =уг разрешимо, то вшеняем, входит ли Zif/ в ♦ Если нет, то у 1 отвергается, и если i - f V+Z+l , то мы заключаем, что предикат Р ложен, если же i<N+z+K то переходим к рассмотрению . Еслк