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

i — ISO Легко видеть, что при любой П формуле выделяет > подполугруппу , в при № формуле Г U t J выделяет в П„ подполугруппу • Проводя рассуждения^ми > докевательст 1 в теоремы ^ ao-TJfчеши, ЧТО Степень нвра врееимеооти ПОЗИТИВНОЙ теории полугруппы •Пп £ стопины нернврвиимостм влеыентврпой теории полугрупин П «5 ы степень ннреврвщимости позитивной теории полугруппы П2 ^ степени нерв вройимеети пс итивной теории полугрыппы П* при П 2 . Эго замечание вместе со следствием I теоремы V а докввыввет; Теореы| 10. Степень иерверееимостм позитивной теории овобод- ной полугруппы П* при равна степени нереареив- мости элвыввтвриой творим свободной полугруппы Иов . Замечание. ив творв|ш I легко оледует, что при любом нату­ ральном И ^ 0 . степень нернаречимоотн позитивной теории свободной полугруппы Па рнвиа степени неразрешимости ее элементарной теории/ т .к . последняя полввя и нерекурсивная, то она, е значит^ и позитивная теория, не является деле рнкуроивяо перечислимой/. Нетрудно пгкеветь, что позитивная теория свободной полугруппы П.о является рекурсивно перечислимой, но неизвестное является ли она рекурсивной