База данных: Статьи
Страница 1, Результатов: 1
Отмеченные записи: 0
1.
Подробнее
22.2
Б 34
Башеева, А. О
Квазимногообразия коммутативных колец [Текст] / А.О Башеева // Әл - Фараби ат. ҚҰУ Хабаршы = Вестник КазНУ им Аль - Фараби. - Алматы, 2018. - №1(97). - С. 54-66. - (Математика, механика, информатика сериясы=Серия математика, механика, информатика. Journal of Mathematics, Mechanics, Computer Science.)
ББК 22.2
Рубрики: Механика
Кл.слова (ненормированные):
квазиэквациональная теория -- неразрешимая теория -- квазитождество -- квазимногообразие -- базис кваитождеств -- независимый базис -- w-независимый базис -- рекурсивный независимый базис -- коммутативное кольцо с единицей
Аннотация: Работа посвящена вопросам неразрешимости квазиэквациональных теорий и проблемеконечной аксиоматизируемости. В 1966 году Тарский озвучил следующую проблему:Существует ли алгоритм, определяющий является ли эквациональная теория конечногомножества конечных алгебр конечно аксиоматизируемой? В 1986 году Мальцевым был заданследующий вопрос: Существует ли конечно базируемые полугруппы, группы и кольца снеразрешимой эквациональной теорией? Нуракунов А.М. (Nurakunov, 2012) доказал, что естьконтинуум квазимногообразий унаров с неразрешимой квазиэквациональной теорией, длякоторых проблема вхождения для конечных унаров неразрешима. В работе (Basheyeva, 2017)получены результаты для графов, дифференциальных группоидов и точечных абелевыхгрупп. В данной работе мы доказываем аналогичные результаты для комммутативныхколец с единицей. Мы доказываем, что квазимногообразие коммутативных колец сединицей содержит континуум подквазимногообразий с неразрешимой квазиэквациональнойтеорией, для которых проблема вхождения для конечных колец также неразрешима.Кроме того, мы доказываем здесь, что в многообразии коммутативных колец с единицейсуществует континуум подквазимногообразий с !-независимым базиcом квазитождеcтв,которые, однако, не имеют незавиcимого базиcа квазитождеcтв. Кроме того, переcечениеэтих квазимногообразий имеет незавиcимый базиc квазитождеcтв.
Держатели документа:
ЗКГУ
Б 34
Башеева, А. О
Квазимногообразия коммутативных колец [Текст] / А.О Башеева // Әл - Фараби ат. ҚҰУ Хабаршы = Вестник КазНУ им Аль - Фараби. - Алматы, 2018. - №1(97). - С. 54-66. - (Математика, механика, информатика сериясы=Серия математика, механика, информатика. Journal of Mathematics, Mechanics, Computer Science.)
Рубрики: Механика
Кл.слова (ненормированные):
квазиэквациональная теория -- неразрешимая теория -- квазитождество -- квазимногообразие -- базис кваитождеств -- независимый базис -- w-независимый базис -- рекурсивный независимый базис -- коммутативное кольцо с единицей
Аннотация: Работа посвящена вопросам неразрешимости квазиэквациональных теорий и проблемеконечной аксиоматизируемости. В 1966 году Тарский озвучил следующую проблему:Существует ли алгоритм, определяющий является ли эквациональная теория конечногомножества конечных алгебр конечно аксиоматизируемой? В 1986 году Мальцевым был заданследующий вопрос: Существует ли конечно базируемые полугруппы, группы и кольца снеразрешимой эквациональной теорией? Нуракунов А.М. (Nurakunov, 2012) доказал, что естьконтинуум квазимногообразий унаров с неразрешимой квазиэквациональной теорией, длякоторых проблема вхождения для конечных унаров неразрешима. В работе (Basheyeva, 2017)получены результаты для графов, дифференциальных группоидов и точечных абелевыхгрупп. В данной работе мы доказываем аналогичные результаты для комммутативныхколец с единицей. Мы доказываем, что квазимногообразие коммутативных колец сединицей содержит континуум подквазимногообразий с неразрешимой квазиэквациональнойтеорией, для которых проблема вхождения для конечных колец также неразрешима.Кроме того, мы доказываем здесь, что в многообразии коммутативных колец с единицейсуществует континуум подквазимногообразий с !-независимым базиcом квазитождеcтв,которые, однако, не имеют незавиcимого базиcа квазитождеcтв. Кроме того, переcечениеэтих квазимногообразий имеет незавиcимый базиc квазитождеcтв.
Держатели документа:
ЗКГУ
Страница 1, Результатов: 1