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

136 - являются *а»р»мц . й саыок т л е . Й0К8ММ, ч*о фукцим у») . . , Vs, луикцяямя. Ск«ч«ш и для формулы ф НОВЫМИ лвбой набор у ,',, , ^ " Я» полугруппе torдо формуле <№. .Ж ' J ИСТ явно в» полугрувгг* П 1н п предыдущих рассуждений яндво, что тогде не а м / г р у х п » П, к о т п в о I т в и л ф о р м у д |; / 2 / у Ш Г № - вЦ ) ) чКф) > t. г-° • гд* /\( 0 / с о о т в е т с т в е н н о 6 Д / , f п о л у ч а е т с я ил /с о о т в е г с т л е н и о и в>/ / я д u t в о $ F - а « р 8 и « в о ! ■> соотлетствующув р * а р * 10 вдум фукхцио у , * В Л - Переменную 18 ОООТМ|. стлующее У ^ n p o H U o m иабор слоз полугруппы п „ , т о формул* / 2 / л я р в е при лобых y , V , , а двечит у>, , ф , »нычм*>( слуха* дяар еав од и м и функциями для формулы н о т а м * в* полугрупп* Пи , Обратно,пусть L ( $ ) не пусто и форцулв ф МСТ ЯВИ 8 88 полугрупп* Пя , ПУСТЬ f , , , Y l реар*м ав«не функции для формулы п' lJ /СООТЛ«ТСТЛ(ННО Ое / с о о т в е т с т в е н н о и* / ss im b o P веждой 6 вой ве соответствующую рааренвющуо функции. Хогдв ш *С,Х У- ■ »** полугруппе П, I40TB Ф , 8 /Г /' / полу явно яе /4 ^ а * р < Ир во а о от ро *в м в формулы v ( it ( и ;* - -в '*)). шт j ~ и. < * . ф иы*вы при i f i(w ) * й . У ' ч У « У * у вп $ ! * в ; w г ! ГД» ^ / с о о т в е т с т в е н н о МВ У / в о -,4 /соответственно - г € т р е м я ой / получе*тся и* ^ / наивной пядой *е соотеетствувмую разрешающую функнве У