Головная страница ИПМ Библиотеки, издания  •  Поиск публикаций  English 
Публикация

Статья в сборнике "Математические вопросы кибернетики" №11, Москва, 2002
Авторы: Лaтышев В.Н.
Алгоритмическое распознавание полиномиальных тождеств
Аннотация:
Рассматриваются фактор-алгебры A\I, где А свободная ассоциативная алгебра или универсальная обёртывающая алгебра конечномерной алгебры Ли над полем нулевой характеристики, а I ̶̶̶ идеал, заданный конечным базисом Грёбнера-Ширшова. Доказывается, что свойство рассматриваемых фактор-алгебр быть лиево нильпотентной алгеброй (фиксированного индекса) алгоритмически распознаваемо.
Ключевые слова:
распознаваемые свойства алгебр, полиномиальные тождества, универсальные обёртывающие алгебры конечномерных алгебр Ли
Язык публикации: русский, страниц: 10 (с. 5-14)
Направление исследований:
Математические вопросы и теория численных методов
Полный текст: Сведения об авторах:
  • Лaтышев Виктоp Николaевич,  ,  МГУ имени М. В. Ломоносова, механико-математический факультет