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

445 1 . Формула W:Qt atQjV w- ww V И, п к - . л ; истине» ни [Jit 2 . Дня в о а х тГ : ( i u i \yra,a,ctt n'№\rw\/ H,(\v, f ) яоткиии на полугрупп* Ht , » • a /(^)^W(9',J , Пусть H{\Ф) истинна ии полугруппе П ; , д о в и т , ЧТИ ТОГДИ \Х/ € Н ЦИ*« ПО rJH(\X/) * I . л £ ( 1 * Л О . Доки витм ь с т в о п р о ы д и а ипдув- чте Яз а, , тогди о у щ с т п у и * tr\f о твнс*, ■ формул* Woi a,Qzvuc/z\i/w\/ н,(Що; нет лине ни полугрупп* П, , ИО т о г д а ли во W=Ql Q,Qt и^о ди до авти л ьн о входит а Н , либо п ^и в ч ! w - п гсто * I вхо ди т » н , днфо н ,(^ О, п') н ет н на И 2 , во т о г д а , * ч а с т н о с т и W-Q 0***0 £ Н 2 . Пуоть дл я в о а х W т а и м х , что Н( ty) нот я в и п. У», I f r f f f 3. Расоиотрим \Х/ Н( W) нотилиа ва л, но т о г д а очвви ли о . \Х/* О* О. О. и .у , а у * *** в протирнои случав ,/V^/ ( M v - 0 . Значит, формула ( £ f j рунп* Пц истинна на полуг* Воавагм т в к о а что истинна формула на fit • , тогд*