Теория колец: структурная теория; комбинаторные методы; приложенияНИР

Источник финансирования НИР

грант РФФИ

Этапы НИР

# Сроки Название
1 1 января 2014 г.-31 декабря 2014 г. Теория колец: структурная теория; комбинаторные методы; приложения
Результаты этапа: Описано строение первичного радикала луп и операторных луп; исследованы свойства топологических первичных радикалов топологических луп, а также топологических групп обратимых элементов топологических альтернативных колец. Исследованы характеристические подмодули инъективного модуля над сильно первичным справа кольцом. Изучались кольца формальных матриц над данным кольцом и определители таких матриц. Доказано отсутствие фробениусовых эндоморфизмов перманента в определитель над конечными полями и некоторыми классами колец. Развит и применен метод ортогональной полноты, разработанный К.И.Бейдаром и А.В.Михалёвым в 1970-1980-х годах, который, в частности, позволяет сводить теоремы о полупервичных кольцах к теоремам о первичных кольцах, в активно развивающейся в последнее время теории градуированных алгебраических систем. Получен полный критерий элементарной эквивалентности колец эндоморфизмов абелевых p-групп и групп автоморфизмов абелевых p-групп при p>2. Описана группа частных полугруппы неотрицательных обратимых матриц над линейно упорядоченными полями при n>2. Построены примеры колец, над которыми унитарная линейная группа раскладывается в свободное произведение. Построен алгоритм для определения того, содержит ли заданная подалгебра свободной алгебры шрайерового многообразия алгебр некоторый примитивный элемент, или нет. Указывается криптографическое приложение алгебр, в идеалах которых можно строить базисы Грёбнера. Дано определение обобщённого языка второго порядка. Построено инфра-произведение обобщённых алгебраических систем второго порядка. Построены новые примеры неабелевых групповых кодов.
2 1 января 2015 г.-31 декабря 2015 г. Теория колец: структурная теория; комбинаторные методы; приложения
Результаты этапа: В работах 2014--2015 гг. В.К.Захарова, А.В.Михалева, Т.В.Родионова были решены две естественные задачи: развитие теории равномерных функций; построение единого общего здания этих двух теорий. Следует отметить успешное применение алгебраической теории меры. В монографии Е.И.Буниной, А.В.Михалева, А.Г.Пинуса "Элементарная и близкие к ней логические эквивалентности классических и универсальных алгебр", Издательство МЦНМО Москва, 360 с., систематически рассмотрены вопросы классификации классических и универсальных алгебр в различных естественных языках математической логики. В книгу вошли многие из результатов авторов, в частности, цикл работ Е.И.Буниной, А.В.Михалева, М.А.Ройзнера об едином критерии элементарной эквивалентности групп автоморфизмов и колец эндоморфизмов абелевых р-групп. Е.И.Бунина, А.В.Михалев и В.Немиро нашли критерий существования моноида частных для моноида обратимых неотрицательных матриц над линейно упорядоченным телом (ответ на один "старый" вопрос А.В.Михалева, две статьи по этому сюжету в 2015 г. сданы в печать). Построены новые серии почти примитивных элементов свободных алгебр основных типов шрайеровых многообразий алгебр с одним бинарным умножением, а также примеры примитивных и почти примитивных элементов свободных алгебр Акивиса. Рассмотрены приложения (в том числе в криптографии) так называемых "спрятанных матриц". Найден критерий универсальной эквивалентности двух классических линейных (полной линейной, специальной линейной и проективных аналогов) групп над полями: две такие группы универсально эквивалентны тогда и только тогда, когда их размерности совпадают, а соответствующие поля универсально эквивалентны.Дано определение обобщённого языка второго порядка. Дано определение понятий обобщённой алгебраической системы второго порядка и обобщённой модели для обобщённого языка второго порядка. Построено инфра-произведение обобщённых алгебраических систем второго порядка. Введены понятия дескриптивных и прескриптивных пространств. Продолжена разработка теории классических и постклассических семейств функций на дескриптивных и прескриптивных пространствах. Определены семейства равномерных и распределённых функций на этих пространствах. Доказана замкнутость всех этих семейств относительно основных алгебраических операций и относительно равномерной сходимости последовательностей. Приведены примеры использования указанных семейств при решении ряда старых задач теории функций, интеграла и меры. Получены новые нижние оценки разности числа нулей перманента и числа нулей детерминанта. Получены верхние оценки на число единиц вполне неразложимых (0,1)-матриц и вполне неразложимых симметричных (0,1)-матриц с нулевой диагональю, перманент которых равняется определителю матрицы с той же знаковой схемой, но, возможно, некоторые единицы заменены на -1, при любой расстановке единиц исходной матрицы. Изучены свойства тензора перманента на подпространствах полной матричной алгебры, в частности, симметрических, эрмитовых, бесследных матрицах над полями и локальными коммутативными кольцами без делителей 0. Доказано отсутствие конвертеров перманента в детерминант на подпространствах симметрических и косо-симметрических матриц над конечными полями. Охарактеризованы линейные биективные фробениусовы эндоморфизмы для отношений Грина матриц над полукольцами. Пусть A – сильно первичное справа кольцо и M – автоморфизм-продолжаемый правый A-модуль, не являющийся сингулярным. Получены критерии того, что M инъективный или автоморфизм-инвариантный модуль. Построен функтор ортогонального градуированного пополнения градуированных модулей, доказан критерий его точности. Доказан критерий ортогональной полноты полного градуированного модуля частных. Доказана гипотеза Гулдена-Джексона 1996 (MatchingsJack conjecture) в случае двух длинных циклов. Доказана комбинаторная шпехтовость тождества метабелевости. Доказано существование неабелевых групповых кодов над произвольным конечным полем (в групповых алгебрах групп SL_2(GF(3))и S_4). Изучены некоторые криптографические приложения ассоциативных и неассоциативных структур в кодировании и криптографии. Проведены исследования методов построения первичного радикала для топологических луп. Получены начальные результаты по конструкции и свойствам радикала в классе IP-луп.
3 1 января 2016 г.-31 декабря 2016 г. Теория колец: структурная теория; комбинаторные методы; приложения
Результаты этапа:

Прикрепленные к НИР результаты

Для прикрепления результата сначала выберете тип результата (статьи, книги, ...). После чего введите несколько символов в поле поиска прикрепляемого результата, затем выберете один из предложенных и нажмите кнопку "Добавить".