АЛГОРИТМИЧЕСКИЕ ПРОБЛЕМЫ ТЕОРИИ ГРУПП И ПОЛУГРУПП И ИХ ПРИЛОЖЕНИЙ 1983 г.

Случай Ш. г пересекается с (Случай, когда I . пересекается с казывается аналогично.^ Так как Чдд 1\ и Ч ц Т Дt-1 ДО- Л\ г 'м,(' Кд - не кусок, то ■*' ч. - A w . - V А у . П л , Чд Ч 'д.д » v а где *дд кусок и Чд4П • А . Тогда t и V' играют роль н о в е й X-,.(j Тч , и С'чаЧ ч р м , где А•*d ^ " КЯ1 . Щ - Хсд ,e< ), Л и А . Случай’ 1У. L пересекается с М 4 , T i и R 1 . Тогда У дд является куском. Случай У. • L пересекается с Гдд . Кд и т ; . Так как Чд п ; И Чд t ДД не куски, Тб , А = Чгп 1 ' 1 Пч 7 Чд. ил Ч ^ ч д Y п < МД > п , А . , л г; • i. ' -t♦ 1 ^ * А д гц Т А , Y nЧ-"Н г 1 а и ( 4.444 - куски. Тогда Ь и F' играют роль нош х * :<) t’ -vj И Г М Чд ■] iX J * где Л\\ - V пЧПд > -у\)~ •ч ■> (■'' Ч,М< • л ■ и ] >,’ | -• Л Теорема 3 доказана. Л и т е р а т у р а 1. А л е к с а н д р о в р .А . О тождествах в некотором классе полугрупп. - В кн .А л гори тмические проблемы теории групп и полугрупп. Тула, 1981, с . 122-129. 2 . Г р и н д л и н г е р Е.И. К вопросу о тождествах в полугруппах. - йзв. высш.учебн.заведений. Сер. мат. 5^601, 1967, с . 6 -1 2 . 3 . А д я н С. И. Определяющие соотношения и алгоритми­ ческие проблемы для групп и полугрупп. - В к н .: Тру­ ды МИАи им.В.А.Стеклова, т^Зб, М.: Наука, 1966, с .1 - 123. - 16 -