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

/ - от- Значит Н/Н, ■ < « ............4 , 4 ........... Л * / , Т > . = 1 И /**« I n ¿ Аналогично доказывается, что Л ; / * ; и окончательно получаеи что /»£ =/1£ . Значит С - Н . ОПРЕДЕЛЕНИЕ 10. Многообразие "М/ будец назь(вать ^ - мно­ гообразием, если для лвбых двух свободных групп С ^ и рангов П н пи соответственно, из многообразия при ТЕОРЕМА 12. Пусть С г^ - < Л У/ и£^Х „)> свободная группа некоторого Ж - многообразия М/" ( л . _ конечное) £ К И В/' V ■ ^ * ¥ № ' £ ^ 'К ы .-А *т .,У г Тогда Ф € ((*п.,Сп.) т . и т .т .к 1) Ф * истинна на £ „ , £ , где 4 число У кванторов в формуле Ф, ; 2) в качестве элементов группы ¿7Л,£ , удовлетворявш их формуле , Ф , можно взять такие Ч* ч " „У * » •"/ У «; е ^ ПФПЧ _ V , ' У « « - € вл +т^ ДОКАЗАТЕЛЬСТВО. Если ф истинна на ' <7*. , то она истинна • на С . „ , . « и . « . * , ...... г . , . на а . ......., с о м в я о м .ш ю . В 6 „ , „ , ■ » у , . _ , У л , « , « „ с у ч а щ а я - ОЯ формула была истинна на ¿ 7 , ^ . Затем переходим к ( 7 * ^ “ т. Д.